state

Vocabulary

monads

Definition

IN: monads

TUPLE: state quot ;

Methods

USING: kernel monads sequences ;

M: state >>= '[ _ swap '[ _ mcall first2 @ mcall ] <state> ] ;


USING: kernel monads ;

M: state monad-of drop state-monad ;