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 | |
| parent | d91979adb9dc6eaa96f37ac0af337fed1aed08af (diff) | |
Add :tag AST, refactor core to use it
Diffstat (limited to 'core')
| -rw-r--r-- | core/maybe.milch | 12 | ||||
| -rw-r--r-- | core/result.milch | 16 |
2 files changed, 14 insertions, 14 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))) diff --git a/core/result.milch b/core/result.milch index 897a540..f122ee6 100644 --- a/core/result.milch +++ b/core/result.milch @@ -6,20 +6,20 @@ (let Result/map (\[f m] (match (kind m) - "Result/Ok" (Result/ok (f (Result/Ok/get-value m))) - "Result/Ex" m))) + :Result/Ok (Result/ok (f (Result/Ok/get-value m))) + :Result/Ex m))) (let Result/map-ex (\[f m] (match (kind m) - "Result/Ok" m - "Result/Ex" (Result/ex (f (Result/Ex/get-value m)))))) + :Result/Ok m + :Result/Ex (Result/ex (f (Result/Ex/get-value m)))))) (let Result/and-then (\[f m] (match (kind m) - "Result/Ok" (f (Result/Ok/get-value m)) - "Result/Ex" m))) + :Result/Ok (f (Result/Ok/get-value m)) + :Result/Ex m))) (let Result/try (\[catch-f m] (match (kind m) - "Result/Ok" (Result/Ok/get-value m) - "Result/Ex" (catch-f (Result/Ex/get-value m))))) + :Result/Ok (Result/Ok/get-value m) + :Result/Ex (catch-f (Result/Ex/get-value m))))) |