pandora-0.2.6: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Basis.Fix

Documentation

newtype Fix t Source #

Constructors

Fix 

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 #