Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Internal.Fixpoint

1 type
1 value

Packagepolysemy-1.9.2.0
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause
SourceFixpoint.hs

newtypenewtype Fixpoint (m :: Type -> Type) a where

An effect for providing mfix.

Constructors

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

valuebomb :: String -> a

The error used in fixpointToFinal, Polysemy.Fixpoint.runFixpoint and Polysemy.Fixpoint.runFixpointM when the result of a failed computation is recursively used and somehow visible. You may use this for your own Fixpoint interpreters. The argument should be the name of the interpreter.