Control.IMonad.Do

This module rebinds do notation to work with restricted monads in conjunction with the RebindableSyntax extension. This module re-exports Control.IMonad, so it only requires the following minimum file header:

 {-# LANGUAGE RebindableSyntax #-}

 import Control.IMonad.Do
 import Prelude hiding (Monad(..))

The Prelude is reimported since RebindableSyntax also includes the NoImplicitPrelude extension, otherwise the Prelude's Monad bindings would conflict with these bindings.

Modules

module Control.IMonad

Rebindings

return :: IMonad m => a -> m (a := i) i

return replaces return from Control.Monad.

(>>=) :: IMonad m => m (a := j) i -> (a -> m (b := k) j) -> m (b := k) i

(>>=) replaces (>>=) from Control.Monad.

(>>) :: IMonad m => m (a := j) i -> m (b := k) j -> m (b := k) i

(>>) replaces (>>) from Control.Monad.

fail :: String -> m (a := j) i

fail replaces fail from Control.Monad