monadics vocabulary
Factor handbook » Vocabulary index

Documentation
Monadics

Words

Tuple classes

Class	Superclass	Slots
Just	tuple	value
Left	tuple	value
Right	tuple	value

Singleton classes

Nothing

Mixin classes

Either

Maybe

Generic words

Word	Stack effect
and-then	( M-x quot: ( x -- M-y ) -- M-y )
choose	( M-x M-x -- M-x )
fmap	( M-x quot -- M-y )
pure	( M-a x -- M-a M-x )
reify	( M-quot M-x -- M-y )

Ordinary words

Word	Stack effect
$>	( M-x a -- M-x )
(maybe-join)	( M-M-x -- M-x )
<$>	( quot M-x -- M-y )
<*>	( M-quot M-x -- M-y )
<Just>	( value -- Just )
<Left>	( value -- Left )
<Right>	( value -- Right )
<|>	( M-x M-x -- M-x )
>>	( M-x M-y -- M-y )
>>=	( M-x quot: ( x -- M-y ) -- M-y )
>maybe	( value/f -- Maybe )
?either	( x left pred -- Either-x )
guard-maybe	( value quot: ( a -- bool ) -- Maybe )
id	( x -- x )
just	( value -- Just )
lazy-call	( value quot -- value/curried )
left	( value -- Left )
lift	( quot M-x -- M-y )
monad-join	( M-M-x -- M-x )
right	( value -- Right )
validate	( x pairs -- Either-x )

Class predicate words

Word	Stack effect
Either?	( object -- ? )
Just?	( object -- ? )
Left?	( object -- ? )
Maybe?	( object -- ? )
Nothing?	( object -- ? )
Right?	( object -- ? )

Files

resource:extra/monadics/monadics.factor
resource:extra/monadics/monadics-docs.factor

Metadata files

resource:extra/monadics/summary.txt