writer

Vocabulary

monads

Definition

IN: monads

TUPLE: writer value log ;

Methods

USING: kernel monads sequences ;

M: writer >>=
    '[
        [ _ run-writer ] dip '[ @ run-writer ] dip prepend
        <writer>
    ] ;


USING: kernel monads ;

M: writer monad-of drop writer-monad ;