apply ( mvalue mquot monad -- result )

Vocabulary

monads

Inputs

mvalue	an object
mquot	an object
monad	an object

Outputs

result

an object

Definition

USING: combinators ;

IN: monads

:: apply ( mvalue mquot monad -- result )
    mvalue [| value |
        mquot [| quot |
            value quot ( value -- mvalue ) call-effect
            monad return
        ] bind
    ] bind ;