| absurdL | Data.Functor.Adjunction |
| Adjoint | |
| 1 (Type/Class) | Control.Monad.Trans.Contravariant.Adjoint |
| 2 (Type/Class) | Control.Comonad.Trans.Adjoint |
| 3 (Type/Class) | Control.Monad.Trans.Adjoint |
| adjoint | |
| 1 (Function) | Control.Monad.Trans.Contravariant.Adjoint |
| 2 (Function) | Control.Comonad.Trans.Adjoint |
| 3 (Function) | Control.Monad.Trans.Adjoint |
| AdjointT | |
| 1 (Type/Class) | Control.Monad.Trans.Contravariant.Adjoint |
| 2 (Data Constructor) | Control.Monad.Trans.Contravariant.Adjoint |
| 3 (Type/Class) | Control.Comonad.Trans.Adjoint |
| 4 (Data Constructor) | Control.Comonad.Trans.Adjoint |
| 5 (Type/Class) | Control.Monad.Trans.Adjoint |
| 6 (Data Constructor) | Control.Monad.Trans.Adjoint |
| Adjunction | |
| 1 (Type/Class) | Data.Functor.Contravariant.Adjunction |
| 2 (Type/Class) | Data.Functor.Adjunction |
| apRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| ask | Control.Monad.Representable.Reader |
| askRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| bindRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| callCC | Control.Monad.Trans.Conts |
| Co | |
| 1 (Type/Class) | Data.Functor.Rep, Control.Monad.Representable.Reader |
| 2 (Data Constructor) | Data.Functor.Rep, Control.Monad.Representable.Reader |
| coindexAdjunction | Data.Functor.Contravariant.Adjunction |
| ComonadStore | Control.Comonad.Representable.Store |
| Cont | Control.Monad.Trans.Conts |
| cont | Control.Monad.Trans.Conts |
| contramapRep | Data.Functor.Contravariant.Rep |
| contramapWithRep | Data.Functor.Contravariant.Rep |
| contrarepAdjunction | Data.Functor.Contravariant.Adjunction |
| Conts | Control.Monad.Trans.Conts |
| conts | Control.Monad.Trans.Conts |
| ContsT | |
| 1 (Type/Class) | Control.Monad.Trans.Conts |
| 2 (Data Constructor) | Control.Monad.Trans.Conts |
| counit | |
| 1 (Function) | Data.Functor.Contravariant.Adjunction |
| 2 (Function) | Data.Functor.Adjunction |
| cozipL | Data.Functor.Adjunction |
| distributeRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| duplicatedRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| duplicateL | Data.Functor.Adjunction |
| duplicateRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| duplicateRepBy | Data.Functor.Rep, Control.Monad.Representable.Reader |
| evalState | Control.Monad.Representable.State |
| evalStateT | Control.Monad.Representable.State |
| execState | Control.Monad.Representable.State |
| execStateT | Control.Monad.Representable.State |
| experiment | Control.Comonad.Representable.Store |
| extendedRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| extendRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| extendRepBy | Data.Functor.Rep, Control.Monad.Representable.Reader |
| extractL | Data.Functor.Adjunction |
| extractRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| extractRepBy | Data.Functor.Rep, Control.Monad.Representable.Reader |
| fmapRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| get | Control.Monad.Representable.State |
| getReaderT | Control.Monad.Representable.Reader |
| getStateT | Control.Monad.Representable.State |
| index | |
| 1 (Function) | Data.Functor.Contravariant.Rep |
| 2 (Function) | Data.Functor.Rep, Control.Monad.Representable.Reader |
| indexAdjunction | Data.Functor.Adjunction |
| leftAdjunct | |
| 1 (Function) | Data.Functor.Contravariant.Adjunction |
| 2 (Function) | Data.Functor.Adjunction |
| liftCallCC | Control.Monad.Representable.State |
| liftCallCC' | Control.Monad.Representable.State |
| liftR2 | Data.Functor.Rep, Control.Monad.Representable.Reader |
| liftR3 | Data.Functor.Rep, Control.Monad.Representable.Reader |
| local | Control.Monad.Representable.Reader |
| localRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| mapState | Control.Monad.Representable.State |
| mapStateT | Control.Monad.Representable.State |
| mfixRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| MonadReader | Control.Monad.Representable.Reader |
| MonadState | Control.Monad.Representable.State |
| mzipRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| mzipWithRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| peek | Control.Comonad.Representable.Store |
| peeks | Control.Comonad.Representable.Store |
| pos | Control.Comonad.Representable.Store |
| pureRep | Data.Functor.Rep, Control.Monad.Representable.Reader |
| put | Control.Monad.Representable.State |
| Reader | Control.Monad.Representable.Reader |
| reader | Control.Monad.Representable.Reader |
| ReaderT | |
| 1 (Type/Class) | Control.Monad.Representable.Reader |
| 2 (Data Constructor) | Control.Monad.Representable.Reader |
| readerT | Control.Monad.Representable.Reader |
| Rep | |
| 1 (Type/Class) | Data.Functor.Contravariant.Rep |
| 2 (Type/Class) | Data.Functor.Rep, Control.Monad.Representable.Reader |
| Representable | |
| 1 (Type/Class) | Data.Functor.Contravariant.Rep |
| 2 (Type/Class) | Data.Functor.Rep, Control.Monad.Representable.Reader |
| rightAdjunct | |
| 1 (Function) | Data.Functor.Contravariant.Adjunction |
| 2 (Function) | Data.Functor.Adjunction |
| runAdjoint | |
| 1 (Function) | Control.Monad.Trans.Contravariant.Adjoint |
| 2 (Function) | Control.Comonad.Trans.Adjoint |
| 3 (Function) | Control.Monad.Trans.Adjoint |
| runAdjointT | |
| 1 (Function) | Control.Monad.Trans.Contravariant.Adjoint |
| 2 (Function) | Control.Comonad.Trans.Adjoint |
| 3 (Function) | Control.Monad.Trans.Adjoint |
| runCont | Control.Monad.Trans.Conts |
| runConts | Control.Monad.Trans.Conts |
| runContsT | Control.Monad.Trans.Conts |
| runReader | Control.Monad.Representable.Reader |
| runReaderT | Control.Monad.Representable.Reader |
| runState | Control.Monad.Representable.State |
| runStateT | Control.Monad.Representable.State |
| runStore | Control.Comonad.Representable.Store |
| runStoreT | Control.Comonad.Representable.Store |
| seek | Control.Comonad.Representable.Store |
| seeks | Control.Comonad.Representable.Store |
| splitL | Data.Functor.Adjunction |
| State | Control.Monad.Representable.State |
| state | Control.Monad.Representable.State |
| StateT | |
| 1 (Type/Class) | Control.Monad.Representable.State |
| 2 (Data Constructor) | Control.Monad.Representable.State |
| stateT | Control.Monad.Representable.State |
| Store | Control.Comonad.Representable.Store |
| store | Control.Comonad.Representable.Store |
| StoreT | |
| 1 (Type/Class) | Control.Comonad.Representable.Store |
| 2 (Data Constructor) | Control.Comonad.Representable.Store |
| storeT | Control.Comonad.Representable.Store |
| tabulate | |
| 1 (Function) | Data.Functor.Contravariant.Rep |
| 2 (Function) | Data.Functor.Rep, Control.Monad.Representable.Reader |
| tabulateAdjunction | Data.Functor.Adjunction |
| unabsurdL | Data.Functor.Adjunction |
| unCo | Data.Functor.Rep, Control.Monad.Representable.Reader |
| uncozipL | Data.Functor.Adjunction |
| unit | |
| 1 (Function) | Data.Functor.Contravariant.Adjunction |
| 2 (Function) | Data.Functor.Adjunction |
| unsplitL | Data.Functor.Adjunction |
| unzipR | Data.Functor.Adjunction |
| zapWithAdjunction | Data.Functor.Adjunction |
| zipR | Data.Functor.Adjunction |