Module

FixFunctor

Package: purescript-fix-functor
Repository: artemisSystem/purescript-fix-functor

#HFunctor Source

class HFunctor :: forall k1 k2. ((k1 -> Type) -> k2 -> Type) -> Constraintclass HFunctor f  where

Members

hmap :: forall a b. (a ~> b) -> (f a) ~> (f b)

#Fix Source

newtype Fix :: forall k. ((k -> Type) -> k -> Type) -> k -> Typenewtype Fix f a

Constructors

Fix (f (Fix f) a)

#cata Source

cata :: forall @g @f. HFunctor f => ((f g) ~> g) -> ((Fix f) ~> g)

Modules: FixFunctor