mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 11:56:54 +03:00
12 lines
176 B
Plaintext
12 lines
176 B
Plaintext
Result/bind (Result/Ok val) f = ((undefer f) val)
|
|
Result/bind err _ = err
|
|
|
|
Bar x = (Result/Err 0)
|
|
|
|
Foo x y = with Result {
|
|
ask x = (Bar x);
|
|
(Foo x y)
|
|
}
|
|
|
|
Main = (Foo "a" 0)
|