adjunctions-4.3: Adjunctions and representable functors

Index

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
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
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
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
unzipR | Data.Functor.Adjunction
zapWithAdjunction | Data.Functor.Adjunction
zipR | Data.Functor.Adjunction