state

Vocabulary

monads

Definition

IN: monads

TUPLE: state quot ;

Methods

USING: kernel monads sequences ;

M: state >>=
    [
        swap [ [ mcall first2 ] curry ] dip [ mcall ] compose
        compose <state>
    ] curry ;


USING: kernel monads ;

M: state monad-of drop state-monad ;