This module provides a set of indexed type classes (IxFunctor, IxApplicative, IxMonad, etc..) that correspond to existing type classes (Functor, Applicative, Monad, etc..)

The intent of this module is to replace the use of non-indexed type classes with indexed type class.

For that reason the indexed type classes expose functions that are named the same as the functions exposed by a corresponding non-indexed type class.

There are two ways to use this module:

import           SessionTypes
import qualified SessionTypes.Indexed as I

prog = send 5 I.>> eps0

{-# LANGUAGE RebindableSyntax #-}
import SessionTypes
import SessionTypes.Indexed

prog = do
 send 5
 eps0

With RebindableSyntax we construct a custom do notation by rebinding (>>=) with (>>=) of IxMonad. Rebinding is not limited to only (>>=), but also all other functions in Prelude.

We do not want to force importing Prelude if you use RebindableSyntax. Therefore this module also exports Prelude that hides functions already defined by the indexed type classes.