Safe Haskell	None
Language	Haskell2010

Polysemy.Fixpoint

Contents

Synopsis

data Fixpoint m a where
- Fixpoint :: (a -> m a) -> Fixpoint m a
runFixpoint :: (forall x. Sem r x -> x) -> Sem (Fixpoint ': r) a -> Sem r a
runFixpointM :: (MonadFix m, Member (Lift m) r) => (forall x. Sem r x -> m x) -> Sem (Fixpoint ': r) a -> Sem r a

Effect

data Fixpoint m a where Source #

An effect for providing mfix.

Constructors

Fixpoint :: (a -> m a) -> Fixpoint m a

Interpretations

runFixpoint :: (forall x. Sem r x -> x) -> Sem (Fixpoint ': r) a -> Sem r a Source #

Run a Fixpoint effect purely.

runFixpointM :: (MonadFix m, Member (Lift m) r) => (forall x. Sem r x -> m x) -> Sem (Fixpoint ': r) a -> Sem r a Source #

Run a Fixpoint effect in terms of an underlying MonadFix instance.