| 
     This module provides a common interface to both indexed monads and 
     restricted monads .   I split them into two separate modules for 
     organizational purposes and to simplify the presentation of each type of 
     indexed monad . 

    This module provides a common interface to both indexed monads and
    restricted monads.  I split them into two separate modules for
    organizational purposes and to simplify the presentation of each type of
    indexed monad.
-}
module Control.IMonad (
    -- * Modules
    module Control.IMonad.Core,
    module Control.IMonad.Restrict
    ) where

import Control.IMonad.Core
import Control.IMonad.Restrict

 * Modules
| 
     This module provides a common interface to both indexed monads and 
     restricted monads .   I split them into two separate modules for 
     organizational purposes and to simplify the presentation of each type of 
     indexed monad . 

    This module provides a common interface to both indexed monads and
    restricted monads.  I split them into two separate modules for
    organizational purposes and to simplify the presentation of each type of
    indexed monad.
-}
module Control.IMonad (
    module Control.IMonad.Core,
    module Control.IMonad.Restrict
    ) where

import Control.IMonad.Core
import Control.IMonad.Restrict
