monadics vocabulary
Factor handbook ยป Vocabulary index


Documentation
Monadics

Words

Tuple classes
ClassSuperclassSlots
Image JustImage tuplevalue
Image LeftImage tuplevalue
Image RightImage tuplevalue


Singleton classes
Image Nothing


Mixin classes
Image Either
Image Maybe


Generic words
WordStack effect
Image and-then( M-x quot: ( x -- M-y ) -- M-y )
Image choose( M-x M-x -- M-x )
Image fmap( M-x quot -- M-y )
Image pure( M-a x -- M-a M-x )
Image reify( M-quot M-x -- M-y )


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


Class predicate words
WordStack effect
Image Either?( object -- ? )
Image Just?( object -- ? )
Image Left?( object -- ? )
Image Maybe?( object -- ? )
Image Nothing?( object -- ? )
Image Right?( object -- ? )


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


Metadata files
resource:extra/monadics/summary.txt