>>= ( 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 ] curry ;


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 ] curry ;


USING: accessors combinators kernel monads ;

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


USING: kernel monads ;

M: left >>= [ [ drop ] ] dip [ ] curry compose ;


USING: kernel lists lists.lazy monads ;

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


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

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


USING: kernel monads ;

M: nothing >>= [ [ drop ] ] dip [ ] curry compose ;


USING: kernel monads ;

M: reader >>=
    [
        swap [ [ [ dup ] ] dip [ mcall ] curry compose ] dip
        [ mcall ] compose compose <reader>
    ] curry ;


USING: accessors combinators kernel monads ;

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


USING: kernel monads sequences ;

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


USING: kernel monads sequences ;

M: writer >>=
    [ run-writer ] curry
    [ dip [ run-writer ] compose dip prepend <writer> ] curry ;