bind ( mvalue quot -- mvalue' )

Vocabulary

monads

Inputs

mvalue	an object
quot	an object

Outputs

mvalue'

an object

Definition

USING: combinators kernel ;

IN: monads

: bind ( mvalue quot -- mvalue' )
    swap >>= ( quot -- mvalue ) call-effect ;