Idris2Doc : Control.Indexed

Control.Indexed

(source)
Reexports
import public Control.Functor.Indexed
import public Control.Applicative.Indexed
import public Control.Monad.Indexed
import public Control.Monad.Indexed.Do