Control.XMonad.Do

This module re-defines standard monadic operations to allow do expressions with indexed monad XMonad instances using RebindableSyntax extension.

In addition to importing this module (it is not re-exported by Control.XMonad), you have to explicitly import Prelude (or any replacement) hiding standard monadic operations:

import Prelude hiding (fail, (>>), (>>=))

fail is only needed if your indexed monad is also an instance of XMonadFail.

You cannot combine do expressions for normal and indexed monads in the same module.

Monadic functions

(>>=) :: XMonad m => m i j a -> (a -> m j k b) -> m i k b infixl 1

(>>) :: XMonad m => m i j a -> m j k b -> m i k b infixl 1

fail :: XMonadFail m => String -> m i j a