fmap ( M-x quot -- M-y )


Vocabulary
monadics

Inputs
M-xan object
quotan object


Outputs
M-yan object


Definition
IN: monadics

GENERIC#: fmap 1 ( M-x quot -- M-y )


Methods
USING: accessors kernel monadics ;

M: Either fmap
over Right? [ [ value>> ] dip lazy-call right ] [ drop ] if
;


USING: accessors kernel monadics ;

M: Maybe fmap
over Just? [ [ value>> ] dip lazy-call just ] [ drop ] if ;


USING: kernel monadics sequences ;

M: sequence fmap [ lazy-call ] curry map ;