adjunctions-4.0.1: Adjunctions and representable functors

Index

absurdLData.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
apRepData.Functor.Rep, Control.Monad.Representable.Reader
askControl.Monad.Representable.Reader
askRepData.Functor.Rep, Control.Monad.Representable.Reader
bindRepData.Functor.Rep, Control.Monad.Representable.Reader
callCCControl.Monad.Trans.Conts
Co 
1 (Type/Class)Data.Functor.Rep, Control.Monad.Representable.Reader
2 (Data Constructor)Data.Functor.Rep, Control.Monad.Representable.Reader
coindexAdjunctionData.Functor.Contravariant.Adjunction
ComonadStoreControl.Comonad.Representable.Store
ContControl.Monad.Trans.Conts
contControl.Monad.Trans.Conts
contramapRepData.Functor.Contravariant.Rep
contramapWithRepData.Functor.Contravariant.Rep
contrarepAdjunctionData.Functor.Contravariant.Adjunction
ContsControl.Monad.Trans.Conts
contsControl.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
cozipLData.Functor.Adjunction
distributeRepData.Functor.Rep, Control.Monad.Representable.Reader
duplicatedRepData.Functor.Rep, Control.Monad.Representable.Reader
duplicateLData.Functor.Adjunction
duplicateRepData.Functor.Rep, Control.Monad.Representable.Reader
evalStateControl.Monad.Representable.State
evalStateTControl.Monad.Representable.State
execStateControl.Monad.Representable.State
execStateTControl.Monad.Representable.State
experimentControl.Comonad.Representable.Store
extendedRepData.Functor.Rep, Control.Monad.Representable.Reader
extendRepData.Functor.Rep, Control.Monad.Representable.Reader
extractLData.Functor.Adjunction
extractRepData.Functor.Rep, Control.Monad.Representable.Reader
fmapRepData.Functor.Rep, Control.Monad.Representable.Reader
getControl.Monad.Representable.State
getReaderTControl.Monad.Representable.Reader
getStateTControl.Monad.Representable.State
index 
1 (Function)Data.Functor.Contravariant.Rep
2 (Function)Data.Functor.Rep, Control.Monad.Representable.Reader
indexAdjunctionData.Functor.Adjunction
leftAdjunct 
1 (Function)Data.Functor.Contravariant.Adjunction
2 (Function)Data.Functor.Adjunction
liftCallCCControl.Monad.Representable.State
liftCallCC'Control.Monad.Representable.State
liftR2Data.Functor.Rep, Control.Monad.Representable.Reader
liftR3Data.Functor.Rep, Control.Monad.Representable.Reader
localControl.Monad.Representable.Reader
localRepData.Functor.Rep, Control.Monad.Representable.Reader
mapStateControl.Monad.Representable.State
mapStateTControl.Monad.Representable.State
MonadReaderControl.Monad.Representable.Reader
MonadStateControl.Monad.Representable.State
peekControl.Comonad.Representable.Store
peeksControl.Comonad.Representable.Store
posControl.Comonad.Representable.Store
pureRepData.Functor.Rep, Control.Monad.Representable.Reader
putControl.Monad.Representable.State
ReaderControl.Monad.Representable.Reader
readerControl.Monad.Representable.Reader
ReaderT 
1 (Type/Class)Control.Monad.Representable.Reader
2 (Data Constructor)Control.Monad.Representable.Reader
readerTControl.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
runContControl.Monad.Trans.Conts
runContsControl.Monad.Trans.Conts
runContsTControl.Monad.Trans.Conts
runReaderControl.Monad.Representable.Reader
runReaderTControl.Monad.Representable.Reader
runStateControl.Monad.Representable.State
runStateTControl.Monad.Representable.State
runStoreControl.Comonad.Representable.Store
runStoreTControl.Comonad.Representable.Store
seekControl.Comonad.Representable.Store
seeksControl.Comonad.Representable.Store
splitLData.Functor.Adjunction
StateControl.Monad.Representable.State
stateControl.Monad.Representable.State
StateT 
1 (Type/Class)Control.Monad.Representable.State
2 (Data Constructor)Control.Monad.Representable.State
stateTControl.Monad.Representable.State
StoreControl.Comonad.Representable.Store
storeControl.Comonad.Representable.Store
StoreT 
1 (Type/Class)Control.Comonad.Representable.Store
2 (Data Constructor)Control.Comonad.Representable.Store
storeTControl.Comonad.Representable.Store
tabulate 
1 (Function)Data.Functor.Contravariant.Rep
2 (Function)Data.Functor.Rep, Control.Monad.Representable.Reader
tabulateAdjunctionData.Functor.Adjunction
unabsurdLData.Functor.Adjunction
unCoData.Functor.Rep, Control.Monad.Representable.Reader
uncozipLData.Functor.Adjunction
unit 
1 (Function)Data.Functor.Contravariant.Adjunction
2 (Function)Data.Functor.Adjunction
unsplitLData.Functor.Adjunction
unzipRData.Functor.Adjunction
zapWithAdjunctionData.Functor.Adjunction
zipRData.Functor.Adjunction