Data.Effect.Fix

Description

Documentation

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

efix' :: forall key (b :: Type) a es ff c. (Free c ff, a ~ Eff ff es, Has key Fix es) => (b -> a b) -> a b Source #

efix'' :: forall tag (b :: Type) a es ff c. (Free c ff, a ~ Eff ff es, (:>) (Tagged tag Fix) es) => (b -> a b) -> a b Source #

efix'_ :: forall (b :: Type) a es ff c. (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

HFunctor Fix
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Fix f a -> Fix g a #
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