>>= ( mvalue -- quot )

Vocabulary

monads

Inputs

mvalue

an object

Outputs

quot

an object

Definition

IN: monads

GENERIC: >>= ( mvalue -- quot )

Methods

USING: arrays kernel monads sequences ;

M: array >>= '[ _ swap map concat ] ;


USING: combinators kernel monads ui.gadgets ui.gadgets.controls
;

M: gadget >>=
    output-model [ swap ( x -- y ) call-effect ] curry ;


USING: accessors combinators kernel monads ;

M: identity >>= value>> '[ _ swap ( x -- y ) call-effect ] ;


USING: accessors combinators kernel monads ;

M: just >>= value>> '[ _ swap ( x -- y ) call-effect ] ;


USING: kernel monads ;

M: left >>= '[ drop _ ] ;


USING: kernel lists lists.lazy monads ;

M: list >>= '[ _ swap lmap-lazy lconcat ] ;


USING: kernel models models.combinators monads ui.gadgets.layout
;

M: model >>= [ swap insertion-quot <action> ] curry ;


USING: kernel monads ;

M: nothing >>= '[ drop _ ] ;


USING: kernel monads ;

M: reader >>= '[ _ swap '[ dup _ mcall @ mcall ] <reader> ] ;


USING: accessors combinators kernel monads ;

M: right >>= value>> '[ _ swap ( x -- y ) call-effect ] ;


USING: kernel monads sequences ;

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


USING: kernel monads sequences ;

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