add Fault monad

This commit is contained in:
Emile Clark-Boman 2025-12-14 11:59:29 +10:00
parent a547a9bcaf
commit b9f2acf7e7
3 changed files with 25 additions and 3 deletions

16
nib/std/fault.nix Normal file
View file

@ -0,0 +1,16 @@
{...}: rec {
# Fault Monad
# Wrapper around an error (ie builtins.abort)
Fault = error: {
error = error;
};
# Pattern Matching
isFault = F: builtins.attrNames F == ["error"];
# Unwrap (Monadic Return Operation)
unwrap = F: F.error;
# Map (Monadic Bind Operation)
map = f: F: Fault (f (unwrap F));
}