diff options
| author | Marvin Borner | 2024-03-03 15:03:41 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-03 22:29:24 +0100 |
| commit | 6ae44d09faa0ae353c0818705503cad42127d102 (patch) | |
| tree | a923d00d520f85a608f51416184e5b3b6f178549 /std/Option.bruijn | |
| parent | 03155d6e515c76d5ab59f814592484c849313130 (diff) | |
Even more samples
wtf
Diffstat (limited to 'std/Option.bruijn')
| -rw-r--r-- | std/Option.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/Option.bruijn b/std/Option.bruijn index 20e4a19..257b5f8 100644 --- a/std/Option.bruijn +++ b/std/Option.bruijn @@ -28,7 +28,7 @@ map [[0 none [some (2 0)]]] ⧗ (a → b) → (Option a) → (Option b) :test (map [[1]] none) (none) # applies a function to the value in option or returns first arg if none -map-or v ⧗ (a → b) → (Option a) → (Option c) +map-or v ⧗ a → (b → c) → (Option b) → c :test (map-or [[[2]]] [[1]] (some [[0]])) ([[[0]]]) :test (map-or [[[2]]] [[1]] none) ([[[2]]]) |