Data.Effect.Fix

Documentation

data Fix f a where

Constructors

Mfix :: (a -> f a) -> Fix f a

Instances

() => HFunctor Fix

Defined in Data.Effect.Fix

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> Fix f :-> Fix g

mfix'' :: forall key (a :: Type) f. SendSigBy key Fix f => (a -> f a) -> f a

mfix' :: forall tag (a :: Type) f. SendSig (TagH Fix tag) f => (a -> f a) -> f a

mfix :: forall (a :: Type) f. SendSig Fix f => (a -> f a) -> f a