polysemy-0.1.1.0: Higher-order, low-boilerplate, zero-cost free monads.

Safe Haskell	None
Language	Haskell2010

Polysemy.Fixpoint

Contents

Effect
Interpretations

Synopsis

data Fixpoint m a where
- Fixpoint :: (a -> m a) -> Fixpoint m a
runFixpoint :: (forall x. Semantic r x -> x) -> Semantic (Fixpoint ': r) a -> Semantic r a
runFixpointM :: (MonadFix m, Member (Lift m) r) => (forall x. Semantic r x -> m x) -> Semantic (Fixpoint ': r) a -> Semantic 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. Semantic r x -> x) -> Semantic (Fixpoint ': r) a -> Semantic r a Source #

Run a Fixpoint effect purely.

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

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