Handbook
Glossary
>> ( mvalue k -- mvalue' )
Vocabulary
monads
Inputs
mvalue
an
object
k
an
object
Outputs
mvalue'
an
object
Definition
USING:
kernel
;
IN:
monads
:
>>
( mvalue k -- mvalue' )
[
[
drop
]
]
dip
[
]
curry
compose
bind
;