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

clean maybe.nix

Browse source
This commit is contained in:
Emile Clark-Boman 2026-01-28 12:07:25 +10:00
parent 79a6c6729b
commit 3c8ccea4a1
1 changed files with 7 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
nt/primitives/bootstrap/maybe.nix
View file

@ -7,9 +7,7 @@
typeOf
;
in rec {
# NOTE: Maybe intentionally doesn't use the NixTypes.
# NOTE: Maybe is used to aid in parsing and bootstrapping.
# NOTE: It is intentionally left simple for speed gains.
# Naive Maybe Type
Maybe = some: value: {
_some = some;
_value = value;
@ -19,6 +17,10 @@ in rec {
# Type Checking
isMaybe = T: isAttrs T && attrNames T == ["_some" "_value"];
# XXX: TODO: make a pretty toString function
# XXX: TODO: make a pretty toString function
# XXX: TODO: make a pretty toString function
# XXX: TODO: make a pretty toString function
enfIsMaybe = T: msg: let
throw' = got: throw "${msg}: expected naive type Maybe but got ${got}";
attrs =
@ -47,7 +49,8 @@ in rec {
# Unwrap Operations
# Lift a value out of the monadic context.
unwrapMaybe = T:
assert enfIsMaybe T "unwrapMaybe"; T._value;
assert enfIsMaybe T "unwrapMaybe";
T._value;
# Map Operations
# Lift a value out of the monadic context and expect a new monadic.