Pandora.Paradigm.Primary.Functor.Fix

Documentation

newtype Fix t

Constructors

Fix

Fields

• unfix :: t (Fix t)

cata :: Covariant t => (a <-| t) -> Fix t -> a

ana :: Covariant t => (a |-> t) -> a -> Fix t

hylo :: Covariant t => (b <-| t) -> (a |-> t) -> a -> b