
  0 | ||| Provide Do-Notation support for Transition Indexed Monad. 
  1 | ||| Withouth this, the Indexed interfaces use operators that
  2 | ||| do not collide with the non-Indexed interfaces.
  3 | module Control.Monad.TransitionIndexed.Do
  4 | 
  5 | import Control.Monad.TransitionIndexed
  6 | 
  7 | namespace TransitionIndexed
  8 |   public export
  9 |   (>>=) : TransitionIndexedMonad z m => m a x f -> ((res : a) -> m b (f res) g) -> m b x g
 10 |   (>>=) = (>>>=)
 11 | 
 12 |   public export
 13 |   (>>) : TransitionIndexedMonad z m => m () x f -> Lazy (m b (f ()) g) -> m b x g
 14 |   (>>) = (>>>)
 15 | 
 16 |