Control.Monad.Indexed.Do

Provide Do-Notation support for Indexed Monad. Withouth this, the Indexed interfaces use
operators that do not collide with the non-Indexed interfaces.

Definitions

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

Visibility: public export
Fixity Declaration: infixl operator, level 1

(>>) : IndexedMonad z m => m () i j -> Lazy (m b j k) -> m b i k

Visibility: public export
Fixity Declaration: infixl operator, level 1