adjunctions-4.4.2: Adjunctions and representable functors

Index

absurdL Data.Functor.Adjunction
Adjoint
1 (Type/Class) Control.Monad.Trans.Contravariant.Adjoint
2 (Type/Class) Control.Monad.Trans.Adjoint
3 (Type/Class) Control.Comonad.Trans.Adjoint
adjoint
1 (Function) Control.Monad.Trans.Contravariant.Adjoint
2 (Function) Control.Monad.Trans.Adjoint
3 (Function) Control.Comonad.Trans.Adjoint
AdjointT
1 (Type/Class) Control.Monad.Trans.Contravariant.Adjoint
2 (Data Constructor) Control.Monad.Trans.Contravariant.Adjoint
3 (Type/Class) Control.Monad.Trans.Adjoint
4 (Data Constructor) Control.Monad.Trans.Adjoint
5 (Type/Class) Control.Comonad.Trans.Adjoint
6 (Data Constructor) Control.Comonad.Trans.Adjoint
adjuncted
1 (Function) Data.Functor.Contravariant.Adjunction
2 (Function) Data.Functor.Adjunction
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
collectRep Data.Functor.Rep , Control.Monad.Representable.Reader
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
gindex Data.Functor.Rep , Control.Monad.Representable.Reader
GRep Data.Functor.Rep , Control.Monad.Representable.Reader
gtabulate Data.Functor.Rep , Control.Monad.Representable.Reader
ifoldMapRep Data.Functor.Rep , Control.Monad.Representable.Reader
imapRep Data.Functor.Rep , Control.Monad.Representable.Reader
index
1 (Function) Data.Functor.Contravariant.Rep
2 (Function) Data.Functor.Rep , Control.Monad.Representable.Reader
indexAdjunction Data.Functor.Adjunction
itraverseRep Data.Functor.Rep , Control.Monad.Representable.Reader
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, 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.Monad.Trans.Adjoint
3 (Function) Control.Comonad.Trans.Adjoint
runAdjointT
1 (Function) Control.Monad.Trans.Contravariant.Adjoint
2 (Function) Control.Monad.Trans.Adjoint
3 (Function) Control.Comonad.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
tabulated
1 (Function) Data.Functor.Contravariant.Rep
2 (Function) Data.Functor.Rep , Control.Monad.Representable.Reader
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
unwrapRep Data.Functor.Rep , Control.Monad.Representable.Reader
unzipR Data.Functor.Adjunction
WrappedRep Data.Functor.Rep , Control.Monad.Representable.Reader
WrapRep Data.Functor.Rep , Control.Monad.Representable.Reader
zapWithAdjunction Data.Functor.Adjunction
zipR Data.Functor.Adjunction