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

Safe HaskellNone
LanguageHaskell2010

Polysemy.Fixpoint

Contents

Synopsis

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.