Skip to contents
recursr
0.1
Reference
Articles
Morphisms for a list
Morphisms for a tree
Programming with fixed-points
Check if the
Pure
constructor governs an expression
is.Pure.Rd
Check if the
Pure
constructor governs an expression
Usage
is.Pure
(
fr
)
Arguments
fr
A free monad