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