Module

Control.MonadFix

#fixEffect

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

#fixPure

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

#MonadFix

class (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

Modules