Skip to contents

All functions

Cofree()
Construct a cofree comonad
ConsF()
Construct a Cons value of the list base functor
Free()
Free constructor of a free monad
Left()
Construct a Left value of the Either monad
NilF()
Construct a Nil value of the list base functor
Pure()
Pure constructor of a free monad
Right()
Construct a Right value of the Either monad
Tuple()
Construct a tuple
ana()
The anamorphism, categorical dual of the catamorphism
apo()
The apomorphism, categorical dual of the paramorphism
as.character(<tuple>)
Get a text representation of a tuple
bind(<Either>)
Bind a list
bind()
Bind a monad
bind(<free.monad>)
Bind operation for a free monaad
bind(<list>)
Bind a list
cata()
The catamorphism
duplicate()
Create two comonads from a single one
either()
Run a function depending on whether an Either value is Left or Right
embed(<ListF>)
Wrap a single layer of recursion
embed()
Wrap a single layer of recursion
`==`(<Either>)
Compare two Either monads
`==`(<tuple>)
Compare two tuple objects
extend()
Extend takes a function and applies it to the comonad's attribute
extend(<cofree.comonad>)
Take a function and apply it to the comonad's attribute
extract()
Extract a value from a comonad
extract(<cofree.comonad>)
Extract a value from a cofree comonad
first()
Get the first element of a object
first(<tuple>)
Get the first element of a tuple
fmap(<Either>)
Map over an Either monad
fmap(<ListF>)
Map over a list base functor
fmap()
Map over a functor
fmap(<free.monad>)
Map over a free monaad
fmap(<list>)
Map over a list
fmap(<tuple>)
Map over a tuple
futu()
The futumorphism, categorical dual of the histomorphism
`%:<%`
Infix constructor of a cofree comonad
`%>>=%`
Infix bind
`%>>%`
Infix bind-discard
`%<$>%`
Infix map
histo()
The histomorphism
is.Cofree()
Check if an expression is a cofree comonad
is.ConsF()
Check if a value is a concatenated list base functor
is.Free()
Check if the Free constructor governs an expression
is.Left()
Check if a value is a Right Either monad
is.NilF()
Check if a value is a nil base functor
is.Pure()
Check if the Pure constructor governs an expression
is.Right()
Check if a value is a Right Either monad
join()
Join a monad
liftF()
Lift a functor into the free monad
mdiscard()
Bind a monad, albeit discard the initial result
para()
The paramorphism
print(<tuple>)
Print a tuple
project()
Unwrap a single layer of recursion
project(<list>)
Unwrap a single layer of recursion
second()
Get the second element of a object
second(<tuple>)
Get the second element of a tuple