Safe Haskell	None
Language	GHC2021

Data.Effect.Fix

Documentation

data Fix (f :: Type -> Type) a where Source #

Constructors

Mfix :: forall a (f :: Type -> Type). (a -> f a) -> Fix f a

Instances details

() => HFunctor Fix Source #
Instance details Defined in Data.Effect.Fix Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> Fix f :-> Fix g #

mfix :: forall a f. SendHOE Fix f => (a -> f a) -> f a Source #

mfix' :: forall {k} (tag :: k) a f. SendHOE (TagH Fix tag) f => (a -> f a) -> f a Source #

mfix'' :: forall {k} (key :: k) a f. SendHOEBy key Fix f => (a -> f a) -> f a Source #