and-then ( M-x quot: ( x -- M-y ) -- M-y )

Vocabulary

monadics

Inputs

M-x	an object
quot	a quotation with stack effect ( x -- M-y )

Outputs

M-y

an object

Definition

IN: monadics

GENERIC#: and-then 1 ( M-x quot: ( x -- M-y ) -- M-y )

Methods

USING: accessors kernel monadics ;

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


USING: monadics ;

M: Maybe and-then fmap (maybe-join) ;


USING: monadics sequences ;

M: sequence and-then fmap concat ;