diff options
Diffstat (limited to 'std/Option.bruijn')
| -rw-r--r-- | std/Option.bruijn | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/std/Option.bruijn b/std/Option.bruijn index a6323d2..36387c2 100644 --- a/std/Option.bruijn +++ b/std/Option.bruijn @@ -50,3 +50,12 @@ result-or [[0 [[0 3]] [[[1 2]]]]] :test (result-or "fail" none) ([[0 "fail"]]) :test (result-or "fail" (some "ok")) ([[1 "ok"]]) + +pure some ⧗ a → (Option a) + +bind [[1 1 0]] ⧗ (Option a) → (a → (Option b)) → (Option a) + +…>>=… bind + +:test (none >>= (pure "idk")) (none) +:test ((some 'a') >>= [pure [1]]) (some ['a']) |