Data.Effect.Fix

Description

Documentation

efix :: forall b a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, Fix :> es) => (b -> a b) -> a b Source #

efix' :: forall {k} (key :: k) b a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, Has key Fix es) => (b -> a b) -> a b Source #

efix'' :: forall {k} (tag :: k) b a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, Tagged tag Fix :> es) => (b -> a b) -> a b Source #

efix'_ :: forall b a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint). (Free c ff, a ~ Eff ff es, In Fix es) => (b -> a b) -> a b Source #

data Fix (a :: Type -> Type) b where #

Constructors

Efix :: forall b (a :: Type -> Type). (b -> a b) -> Fix a b

Instances details

PolyHFunctor Fix
Instance details Defined in Data.Effect
HFunctor Fix
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Fix f a -> Fix g a #
type FormOf Fix
Instance details Defined in Data.Effect type FormOf Fix = 'Polynomial
type LabelOf Fix
Instance details Defined in Data.Effect type LabelOf Fix = FixLabel
type OrderOf Fix
Instance details Defined in Data.Effect type OrderOf Fix = 'HigherOrder