return ( value singleton -- mvalue )

Vocabulary

monads

Inputs

value	an object
singleton	an object

Outputs

mvalue

an object

Definition

IN: monads

GENERIC: return ( value singleton -- mvalue )

Methods

USING: arrays kernel monads ;

M: array-monad return drop 1array ;


USING: kernel monads ;

M: either-monad return drop <right> ;


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

M: gadget-monad return drop <gadget> swap >>model ;


USING: kernel monads ;

M: identity-monad return drop identity boa ;


USING: kernel lists monads ;

M: list-monad return drop 1list ;


USING: kernel monads ;

M: maybe-monad return drop <just> ;


USING: monads ;

M: monad return monad-of return ;


USING: kernel monads ;

M: reader-monad return
    drop [ [ drop ] ] dip [ ] curry compose <reader> ;


USING: arrays kernel monads ;

M: state-monad return drop [ 2array ] curry <state> ;


USING: kernel monads ;

M: writer-monad return drop { } <writer> ;