Idris2Doc : Control.TransitionIndexed

Control.TransitionIndexed

(source)
Reexports
import public Control.Monad.TransitionIndexed
import public Control.Monad.TransitionIndexed.Do