Module

Control.MonadFix

Package
purescript-concur-core
Repository
purescript-concur/purescript-concur-core

#fixEffect Source

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

#fixPure Source

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

#MonadFix Source

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