reify ( M-quot M-x -- M-y )

Vocabulary

monadics

Inputs

M-quot	an object
M-x	an object

Outputs

M-y

an object

Definition

IN: monadics

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

Methods

USING: accessors kernel monadics ;

M: Either reify
    2dup [ Right? ] bi@ and
    [ [ value>> ] bi@ swap lazy-call right ]
    [ dup Left? [ nip ] [ drop ] if ] if ;


USING: accessors kernel monadics ;

M: Maybe reify
    2dup [ Just? ] bi@ and
    [ [ value>> ] bi@ swap lazy-call just ] [ 2drop Nothing ] if
    ;


USING: assocs kernel monadics sequences ;

M: sequence reify swap zip [ lazy-call ] { } assoc>map ;