Control.MonadFix

fixEffect :: forall a. ((Unit -> a) -> Effect a) -> Effect a

fixPure :: forall a. ((Unit -> a) -> a) -> a

class MonadFix :: (Type -> Type) -> Constraintclass (Monad m) <= MonadFix m  where

Type class for monads that support fixpoints.

mfix f runs f once with the eventual result of f as input. Make sure not to apply the supplied function until the computation returned; else a dynamic error will be thrown.

Members

• mfix :: forall a. ((Unit -> a) -> m a) -> m a

Instances

• (Monoid w, MonadFix m) => MonadFix (RWST r w s m)
• MonadFix Identity
• MonadFix Effect
• MonadFix (Function r)
• (MonadFix m) => MonadFix (ReaderT r m)
• (MonadFix m) => MonadFix (StateT s m)
• (MonadFix m, Monoid w) => MonadFix (WriterT w m)