] unit-test
[ nothing ] [
- 111 just [ maybe-monad fail ] with-variables
+ 111 just [ maybe-monad fail ] bind
] unit-test
[ 100 ] [
] unit-test
[ { } ] [
- { 1 2 3 } [ drop "OOPS" array-monad fail ] with-variables
+ { 1 2 3 } [ drop "OOPS" array-monad fail ] bind
] unit-test
[ 5 ] [
] unit-test
[ 8 ] [
- 5 state-monad return [ 3 + state-monad return ] with-variables
+ 5 state-monad return [ 3 + state-monad return ] bind
"initial state" run-st
] unit-test
[ 15 ] [
f state-monad return
- [ drop get-st ] with-variables
- [ 4 + put-st ] with-variables
- [ drop get-st ] with-variables
+ [ drop get-st ] bind
+ [ 4 + put-st ] bind
+ [ drop get-st ] bind
11 run-st
] unit-test
] unit-test
[ 6 ] [
- f reader-monad return [ drop ask ] with-variables [ 1 + ] local 5 run-reader
+ f reader-monad return [ drop ask ] bind [ 1 + ] local 5 run-reader
] unit-test
[ f { 1 2 3 } ] [
5 writer-monad return
- [ drop { 1 2 3 } tell ] with-variables
+ [ drop { 1 2 3 } tell ] bind
run-writer
] unit-test