define Maybe monad

This commit is contained in:
Emile Clark-Boman 2025-12-14 17:46:25 +10:00
parent d43af1efac
commit b07a7fb9a8
2 changed files with 102 additions and 0 deletions

View file

@ -2,6 +2,7 @@
attrs = import ./attrs.nix args;
fault = import ./fault.nix args;
lists = import ./lists.nix args;
maybe = import ./maybe.nix args;
res = import ./res.nix args;
in
attrs.mergeAttrsList [
@ -9,6 +10,7 @@ in
attrs
fault
lists
maybe
res
# submodule content is accessible first by submodule name