Control.Monad.TransitionIndexed.Do

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

Definitions

(>>=) : TransitionIndexedMonad z m => m a x f -> ((res : a) -> m b (f res) g) -> m b x g

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

(>>) : TransitionIndexedMonad z m => m () x f -> Lazy (m b (f ()) g) -> m b x g

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