pandora-0.3.5: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Primary.Functor.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 #