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

Polysemy.Fixpoint

Contents

data Fixpoint m a where Source #

An effect for providing mfix.

mfix

Constructors

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

Run a Fixpoint effect purely.

Fixpoint

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.

MonadFix