pandora-0.2.6: A box of patterns and paradigms
Pandora.Paradigm.Basis.Fix
newtype Fix t Source #
Constructors
Fields
cata :: Covariant t => (a <-| t) -> Fix t -> a Source #
ana :: Covariant t => (a |-> t) -> a -> Fix t Source #
hylo :: Covariant t => (b <-| t) -> (a |-> t) -> a -> b Source #