cry/nt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rename result.nix -> res.nix

Browse source 
also use `with nib.types`
This commit is contained in:
Emile Clark-Boman 2025-12-14 14:35:05 +10:00
parent 106d9a51a5
commit edb1b3d752
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
nib/types/result.nix → nib/types/res.nix
View file

@ -1,5 +1,6 @@
{nib, ...}: {nib, ...}:
with builtins; rec { with builtins;
with nib.types; rec {
# Res (Result) Monad # Res (Result) Monad
Res = success: value: {inherit success value;}; Res = success: value: {inherit success value;};
Ok = value: Res true value; Ok = value: Res true value;
@ -37,5 +38,5 @@ with builtins; rec {
then R then R
else f R; else f R;
firstErr = nib.types.findFirst isErr Ok'; firstErr = findFirst isErr Ok';
} }