diff options
Diffstat (limited to 'std')
| -rw-r--r-- | std/Monad/Parser.bruijn | 9 | ||||
| -rw-r--r-- | std/Option.bruijn | 5 |
2 files changed, 13 insertions, 1 deletions
diff --git a/std/Monad/Parser.bruijn b/std/Monad/Parser.bruijn index 2201aec..0364ea0 100644 --- a/std/Monad/Parser.bruijn +++ b/std/Monad/Parser.bruijn @@ -34,6 +34,8 @@ map [[[R.map ok (1 0)]]] ⧗ (a → b) → (Parser a) → (Parser b) …<$>… map +fail [[R.err 1]] ⧗ a → (Parser a) + pure [[R.ok (1 : 0)]] ⧗ a → (Parser a) ap [[[R.apply (2 0) ok]]] ⧗ (Parser (a → b)) → (Parser a) → (Parser b) @@ -50,7 +52,7 @@ string y [[0 [[[go]]] (pure [[0]])]] ⧗ String → (Parser a) return pure ⧗ a → (Parser a) -bind [[[R.apply ok (2 0)]]] ⧗ (Parser a) → (a → (Parser b)) → (Parser a) +bind [[[R.apply (2 0) ok]]] ⧗ (Parser a) → (a → (Parser b)) → (Parser a) ok &[[3 1 0]] …>>=… bind @@ -70,6 +72,11 @@ eof [0 [[[go]]] end] ⧗ (Parser a) go R.err error-expected-end end R.ok ([[0]] : [[0]]) +lift-result [0 pure fail] ⧗ (Result a) → (Parser a) + +:test (lift-result (R.ok "ok") "rst") (R.ok ("ok" : "rst")) +:test (lift-result (R.err "oh") "rst") (R.err "oh") + # =========================================================================== # # most relevant functions are defined - we can now derive from Generic/Monad! # # =========================================================================== # diff --git a/std/Option.bruijn b/std/Option.bruijn index 3b1c0a1..a6323d2 100644 --- a/std/Option.bruijn +++ b/std/Option.bruijn @@ -45,3 +45,8 @@ apply [[1 none 0]] ⧗ (Option a) → (a → b) → c :test (apply none [some ([[1]] 0)]) (none) :test (apply (some [[0]]) [some ([[1]] 0)]) (some [[[0]]]) + +result-or [[0 [[0 3]] [[[1 2]]]]] + +:test (result-or "fail" none) ([[0 "fail"]]) +:test (result-or "fail" (some "ok")) ([[1 "ok"]]) |