Function reference
-
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
orRight
-
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