| iap | Control.Functor.Indexed, Control.Monad.Indexed |
| iapIxMonad | Control.Monad.Indexed |
| ibind | Control.Monad.Indexed |
| Identity | |
| 1 (Data Constructor) | Control.Comonad.Cofree, Control.Monad.Free |
| 2 (Type/Class) | Control.Comonad.Cofree, Control.Monad.Free |
| idl | Control.Bifunctor.Monoidal, Control.Bifunctor.Functor, Control.Bifunctor.Swap |
| idr | Control.Bifunctor.Monoidal, Control.Bifunctor.Functor, Control.Bifunctor.Swap |
| iduplicate | Control.Comonad.Indexed |
| iextend | Control.Comonad.Indexed |
| iextract | Control.Functor.Indexed, Control.Comonad.Indexed |
| iget | Control.Monad.Indexed.State |
| igets | Control.Monad.Indexed.State |
| ijoin | Control.Monad.Indexed |
| imap | Control.Functor.Indexed, Control.Monad.Indexed, Control.Comonad.Indexed |
| imodify | Control.Monad.Indexed.State |
| InB | Control.Bifunctor.Fix, Control.Comonad.Cofree |
| index | Control.Comonad.Pointer |
| InF | Control.Functor.Fix |
| inFree | Control.Monad.Free |
| InH | Control.Functor.HigherOrder |
| inW | Control.Functor.Fix |
| iput | Control.Monad.Indexed.State |
| ireturn | Control.Functor.Indexed, Control.Monad.Indexed |
| IxApplicative | Control.Functor.Indexed, Control.Monad.Indexed |
| IxComonad | Control.Comonad.Indexed |
| IxCont | |
| 1 (Type/Class) | Control.Monad.Indexed.Cont |
| 2 (Data Constructor) | Control.Monad.Indexed.Cont |
| IxContT | |
| 1 (Type/Class) | Control.Monad.Indexed.Cont |
| 2 (Data Constructor) | Control.Monad.Indexed.Cont |
| IxCopointed | Control.Functor.Indexed, Control.Comonad.Indexed |
| IxFunctor | Control.Functor.Indexed, Control.Monad.Indexed, Control.Comonad.Indexed |
| IxMonad | Control.Monad.Indexed |
| IxMonadCont | Control.Monad.Indexed.Cont |
| IxMonadState | Control.Monad.Indexed.State |
| IxPointed | Control.Functor.Indexed, Control.Monad.Indexed |
| IxState | |
| 1 (Type/Class) | Control.Monad.Indexed.State |
| 2 (Data Constructor) | Control.Monad.Indexed.State |
| IxStateT | |
| 1 (Type/Class) | Control.Monad.Indexed.State |
| 2 (Data Constructor) | Control.Monad.Indexed.State |