17 lines
347 B
Nix
17 lines
347 B
Nix
{...}:
|
|
with builtins; rec {
|
|
# Fault Monad
|
|
# Wrapper around an error (ie builtins.abort)
|
|
Fault = error: {
|
|
error = error;
|
|
};
|
|
|
|
# Pattern Matching
|
|
isFault = F: attrNames F == ["error"];
|
|
|
|
# Unwrap (Monadic Return Operation)
|
|
unwrapFault = F: F.error;
|
|
|
|
# Map (Monadic Bind Operation)
|
|
mapFault = f: F: Fault (f (unwrapFault F));
|
|
}
|