diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-08 13:16:16 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-08 13:16:32 +0200 |
| commit | 723fa29e5ceb2f7ee4a13632ccfe3acf5e8808c2 (patch) | |
| tree | 239124e9d389e65568c8527014521568e147fe41 /core/maybe.milch | |
| parent | d91979adb9dc6eaa96f37ac0af337fed1aed08af (diff) | |
Add :tag AST, refactor core to use it
Diffstat (limited to 'core/maybe.milch')
| -rw-r--r-- | core/maybe.milch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/core/maybe.milch b/core/maybe.milch index 71d88e1..9c0d3ac 100644 --- a/core/maybe.milch +++ b/core/maybe.milch @@ -6,15 +6,15 @@ (let Maybe/map (\[f m] (match (kind m) - "Maybe/Just" (Maybe/just (f (Maybe/Just/get-value m))) - "Maybe/Nothing" (Maybe/nothing)))) + :Maybe/Just (Maybe/just (f (Maybe/Just/get-value m))) + :Maybe/Nothing (Maybe/nothing)))) (let Maybe/and-then (\[f m] (match (kind m) - "Maybe/Just" (f (Maybe/Just/get-value m)) - "Maybe/Nothing" (Maybe/nothing)))) + :Maybe/Just (f (Maybe/Just/get-value m)) + :Maybe/Nothing (Maybe/nothing)))) (let Maybe/default (\[default m] (match (kind m) - "Maybe/Just" (Maybe/Just/get-value m) - "Result/Ex" default))) + :Maybe/Just (Maybe/Just/get-value m) + :Result/Ex default))) |