data-category-0.7.1: Category theory

Index

!Data.Category.NaturalTransformation
$Data.Category.Enriched
%Data.Category.Functor
%%Data.Category.Enriched
&&&Data.Category.Limit
***Data.Category.Limit
+++Data.Category.Limit
->>Data.Category.Enriched
.Data.Category
:%Data.Category.Functor
:%%Data.Category.Enriched
:***: 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
:**: 
1 (Type/Class)Data.Category.Product
2 (Data Constructor)Data.Category.Product
:*-:Data.Category.Functor
:*: 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
:+++: 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
:++:Data.Category.Coproduct
:+: 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
:-*:Data.Category.Functor
:->>:Data.Category.Enriched
:.: 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
:/\:Data.Category.Comma
:<*>: 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
:<>: 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
:>>:Data.Category.Coproduct
:~>Data.Category.NaturalTransformation
ACubeData.Category.Cube
Add 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Simplex
3 (Type/Class)Data.Category.Cube
4 (Data Constructor)Data.Category.Cube
AdjArrow 
1 (Type/Class)Data.Category.Adjunction
2 (Data Constructor)Data.Category.Adjunction
Adjunction 
1 (Type/Class)Data.Category.Adjunction
2 (Data Constructor)Data.Category.Adjunction
adjunctionComonadData.Category.Monoidal
adjunctionComonadTData.Category.Monoidal
adjunctionCounitData.Category.Adjunction
adjunctionInitialPropData.Category.Adjunction
adjunctionMonadData.Category.Monoidal
adjunctionMonadTData.Category.Monoidal
adjunctionTerminalPropData.Category.Adjunction
adjunctionUnitData.Category.Adjunction
AlgData.Category.Dialg
AlgebraData.Category.Dialg
AnaData.Category.Dialg
Apply 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
applyData.Category.CartesianClosed
ArrData.Category.Enriched
associatorData.Category.Monoidal
associatorInvData.Category.Monoidal
BinaryCoproductData.Category.Limit
BinaryProductData.Category.Limit
BooleanData.Category.Boolean
CartesianClosedData.Category.CartesianClosed
CatData.Category.Functor
CatAData.Category.Functor
CataData.Category.Dialg
CategoryData.Category
CatWData.Category.Functor
CoalgData.Category.Dialg
CoalgebraData.Category.Dialg
CoconeData.Category.Limit
coconeVertexData.Category.Limit
CodData.Category.Functor
CodiagCoprod 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
CographData.Category.Coproduct
ColimData.Category.Enriched
ColimitData.Category.Limit
colimit 
1 (Function)Data.Category.Limit
2 (Function)Data.Category.Enriched
colimitAdjData.Category.Limit
colimitFactorizerData.Category.Limit
ColimitFamData.Category.Limit
ColimitFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
colimitInvData.Category.Enriched
colimitObjData.Category.Enriched
CommaAData.Category.Comma
commaIdData.Category.Comma
CommaO 
1 (Type/Class)Data.Category.Comma
2 (Data Constructor)Data.Category.Comma
ComonadData.Category.Monoidal
ComonoidObject 
1 (Type/Class)Data.Category.Monoidal
2 (Data Constructor)Data.Category.Monoidal
compData.Category.Enriched
compArrData.Category.Enriched
compAssocData.Category.NaturalTransformation
compAssocInvData.Category.NaturalTransformation
ComponentData.Category.NaturalTransformation
composeAdjData.Category.Adjunction
comultiplyData.Category.Monoidal
ConeData.Category.Limit
coneVertexData.Category.Limit
ConsData.Category.Cube
Const 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
ConstFData.Category.Functor
constPostcompInData.Category.NaturalTransformation
constPostcompOutData.Category.NaturalTransformation
constPrecompInData.Category.NaturalTransformation
constPrecompOutData.Category.NaturalTransformation
contAdjData.Category.Adjunction
ContextData.Category.CartesianClosed
contextComonadDuplicateData.Category.CartesianClosed
contextComonadExtractData.Category.CartesianClosed
contravariantHomReprData.Category.RepresentableFunctor
coprodAdjData.Category.Limit
CoproductFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
coproductMonoidData.Category.Monoidal
CostarData.Category.Functor
costarData.Category.Functor
Cotuple1 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
Cotuple2 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
counitData.Category.Monoidal
covariantHomReprData.Category.RepresentableFunctor
CubeData.Category.Cube
curryData.Category.CartesianClosed
curryAdjData.Category.CartesianClosed
DCData.Category.Coproduct
Diag 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
DiagFData.Category.Limit
DiagProd 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
DialgData.Category.Dialg
DialgAData.Category.Dialg
Dialgebra 
1 (Type/Class)Data.Category.Dialg
2 (Data Constructor)Data.Category.Dialg
dialgebraData.Category.Dialg
dialgIdData.Category.Dialg
DomData.Category.Functor
ECategoryData.Category.Enriched
ECodData.Category.Enriched
EDomData.Category.Enriched
EFunctorData.Category.Enriched
EFunctorOfData.Category.Enriched
EHom 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
EHomX_ 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
EHom_X 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
eilenbergMooreAdjData.Category.Dialg
ElemData.Category.Enriched
elemData.Category.Enriched
ENat 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
EndData.Category.Enriched
endData.Category.Enriched
endCounitData.Category.Enriched
endFactorizerData.Category.Enriched
EndFunctor 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
EndoData.Category.NaturalTransformation
EndoFunctorComposeData.Category.NaturalTransformation
EOp 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
ExpFunctor 
1 (Type/Class)Data.Category.CartesianClosed
2 (Data Constructor)Data.Category.CartesianClosed
ExponentialData.Category.CartesianClosed
F2TData.Category.Boolean
falseCoproductComonoidData.Category.Boolean
falseCoproductMonoidData.Category.Boolean
falseProductComonoidData.Category.Boolean
FArrData.Category.Enriched
FinData.Category.Simplex
Fix 
1 (Type/Class)Data.Category.Fix
2 (Data Constructor)Data.Category.Fix
flipData.Category.CartesianClosed
Fls 
1 (Data Constructor)Data.Category.Boolean
2 (Type/Class)Data.Category.Boolean
Forget 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Simplex
3 (Type/Class)Data.Category.Cube
4 (Data Constructor)Data.Category.Cube
ForgetAlg 
1 (Type/Class)Data.Category.Dialg
2 (Data Constructor)Data.Category.Dialg
FreeAlg 
1 (Type/Class)Data.Category.Dialg
2 (Data Constructor)Data.Category.Dialg
fromSelfData.Category.Enriched
fromYonedaData.Category.Yoneda
FsData.Category.Simplex
FunCatData.Category.Enriched
FunctorData.Category.Functor
FunctorCompose 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
FunctorOfData.Category.Functor
FzData.Category.Simplex
getHaskEndData.Category.Enriched
getSelfData.Category.Enriched
HasBinaryCoproductsData.Category.Limit
HasBinaryProductsData.Category.Limit
HasColimits 
1 (Type/Class)Data.Category.Limit
2 (Type/Class)Data.Category.Enriched
HasEndsData.Category.Enriched
HasInitialObjectData.Category.Limit
HaskEnd 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
HasLimits 
1 (Type/Class)Data.Category.Limit
2 (Type/Class)Data.Category.Enriched
HasNaturalNumberObjectData.Category.NNO
HasTerminalObjectData.Category.Limit
Hom 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
homData.Category.Enriched
HomFData.Category.Functor
homFData.Category.Functor
homX_Data.Category.Functor
hom_XData.Category.Functor
I1 
1 (Data Constructor)Data.Category.Coproduct
2 (Type/Class)Data.Category.Coproduct
I12Data.Category.Coproduct
I1AData.Category.Coproduct
I2 
1 (Data Constructor)Data.Category.Coproduct
2 (Type/Class)Data.Category.Coproduct
I2AData.Category.Coproduct
Id 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
idData.Category.Enriched
idAdjData.Category.Adjunction
idComonadData.Category.Monoidal
idMonadData.Category.Monoidal
idPostcompData.Category.NaturalTransformation
idPostcompInvData.Category.NaturalTransformation
idPrecompData.Category.NaturalTransformation
idPrecompInvData.Category.NaturalTransformation
InHask 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
InitialFAlgebraData.Category.Dialg
initializeData.Category.Limit
InitialObjectData.Category.Limit
initialObjectData.Category.Limit
initialPropAdjunctionData.Category.Adjunction
InitialUniversalData.Category.RepresentableFunctor
initialUniversalData.Category.RepresentableFunctor
initialUniversalCommaData.Category.Comma
Inj1 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
inj1Data.Category.Limit
Inj2 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
inj2Data.Category.Limit
Kleisli 
1 (Type/Class)Data.Category.Kleisli
2 (Data Constructor)Data.Category.Kleisli
kleisliAdjData.Category.Kleisli
KleisliAdjF 
1 (Type/Class)Data.Category.Kleisli
2 (Data Constructor)Data.Category.Kleisli
KleisliAdjG 
1 (Type/Class)Data.Category.Kleisli
2 (Data Constructor)Data.Category.Kleisli
kleisliIdData.Category.Kleisli
leftAdjointData.Category.Adjunction
leftAdjointPreservesColimitsData.Category.Limit
leftAdjointPreservesColimitsInvData.Category.Limit
leftAdjunctData.Category.Adjunction
leftAdjunctNData.Category.Adjunction
leftUnitorData.Category.Monoidal
leftUnitorInvData.Category.Monoidal
LimData.Category.Enriched
LimitData.Category.Limit
limit 
1 (Function)Data.Category.Limit
2 (Function)Data.Category.Enriched
limitAdjData.Category.Limit
limitFactorizerData.Category.Limit
LimitFamData.Category.Limit
LimitFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
limitInvData.Category.Enriched
limitObjData.Category.Enriched
MData.Category.Cube
Magic 
1 (Type/Class)Data.Category.Void
2 (Data Constructor)Data.Category.Void
magicData.Category.Void
mapData.Category.Enriched
mkAdjunctionData.Category.Adjunction
mkAdjunctionUnitsData.Category.Adjunction
mkComonadData.Category.Monoidal
mkMonadData.Category.Monoidal
MonadData.Category.Monoidal
monadFunctorData.Category.Monoidal
MonoidAsCategoryData.Category.Monoidal
MonoidObject 
1 (Type/Class)Data.Category.Monoidal
2 (Data Constructor)Data.Category.Monoidal
MonoidValueData.Category.Monoidal
multiplyData.Category.Monoidal
Nat 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
3 (Type/Class)Data.Category.NNO
NatAsFunctor 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
natIdData.Category.NaturalTransformation
NatNum 
1 (Type/Class)Data.Category.Dialg
2 (Type/Class)Data.Category.NNO
NaturalNumberObjectData.Category.NNO
NilData.Category.Cube
oData.Category.NaturalTransformation
ObjData.Category
ObjectsFOverData.Category.Comma
ObjectsFUnderData.Category.Comma
ObjectsOverData.Category.Comma
ObjectsUnderData.Category.Comma
OmegaData.Category.Fix
One 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched
Op 
1 (Type/Class)Data.Category
2 (Data Constructor)Data.Category
OpOp 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
OpOpInv 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
Opposite 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
PData.Category.Cube
Poset3Data.Category.Enriched
PosetTestData.Category.Enriched
PostcomposeData.Category.NaturalTransformation
postcomposeData.Category.NaturalTransformation
postcomposeAdjData.Category.Adjunction
PrecomposeData.Category.NaturalTransformation
precomposeData.Category.NaturalTransformation
precomposeAdjData.Category.Adjunction
PresheavesData.Category.NaturalTransformation
PrimRec 
1 (Type/Class)Data.Category.NNO
2 (Data Constructor)Data.Category.NNO
primRec 
1 (Function)Data.Category.Dialg
2 (Function)Data.Category.NNO
prodAdjData.Category.Limit
productComonoidData.Category.Monoidal
ProductFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
ProfunctorsData.Category.NaturalTransformation
Proj1 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
proj1Data.Category.Limit
Proj2 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
proj2Data.Category.Limit
PShExponentialData.Category.CartesianClosed
pshExponentialData.Category.CartesianClosed
Replicate 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Simplex
representData.Category.RepresentableFunctor
Representable 
1 (Type/Class)Data.Category.RepresentableFunctor
2 (Data Constructor)Data.Category.RepresentableFunctor
representedFunctorData.Category.RepresentableFunctor
representingObjectData.Category.RepresentableFunctor
rightAdjointData.Category.Adjunction
rightAdjointPreservesLimitsData.Category.Limit
rightAdjointPreservesLimitsInvData.Category.Limit
rightAdjunctData.Category.Adjunction
rightAdjunctNData.Category.Adjunction
rightUnitorData.Category.Monoidal
rightUnitorInvData.Category.Monoidal
S 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Dialg
3 (Data Constructor)Data.Category.Cube
4 (Type/Class)Data.Category.Cube
5 (Type/Class)Data.Category.Fix
6 (Data Constructor)Data.Category.Fix
7 (Data Constructor)Data.Category.NNO
S0Data.Category.Cube
Self 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
SignData.Category.Cube
Sign0Data.Category.Cube
SimplexData.Category.Simplex
SMData.Category.Cube
SPData.Category.Cube
srcData.Category
srcFData.Category.NaturalTransformation
StarData.Category.Functor
starData.Category.Functor
StateData.Category.CartesianClosed
stateMonadJoinData.Category.CartesianClosed
stateMonadReturnData.Category.CartesianClosed
sucData.Category.Simplex
succData.Category.NNO
SwapData.Category.Functor
swap 
1 (Function)Data.Category.Functor
2 (Function)Data.Category.Monoidal
SymmetricTensorProductData.Category.Monoidal
TensorProductData.Category.Monoidal
TerminalFAlgebraData.Category.Dialg
TerminalObjectData.Category.Limit
terminalObjectData.Category.Limit
terminalPropAdjunctionData.Category.Adjunction
TerminalUniversalData.Category.RepresentableFunctor
terminalUniversalData.Category.RepresentableFunctor
terminalUniversalCommaData.Category.Comma
terminateData.Category.Limit
tgtData.Category
tgtFData.Category.NaturalTransformation
Three 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched
toSelfData.Category.Enriched
toYonedaData.Category.Yoneda
trivialComonoidData.Category.Monoidal
trivialMonoidData.Category.Monoidal
Tru 
1 (Data Constructor)Data.Category.Boolean
2 (Type/Class)Data.Category.Boolean
trueCoproductMonoidData.Category.Boolean
trueProductComonoidData.Category.Boolean
trueProductMonoidData.Category.Boolean
Tuple 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
tupleData.Category.CartesianClosed
Tuple1Data.Category.Functor
tuple1Data.Category.Functor
Tuple2Data.Category.Functor
tuple2Data.Category.Functor
Two 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched
uncurryData.Category.CartesianClosed
Underlying 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
UnderlyingF 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
Unit 
1 (Type/Class)Data.Category.Unit
2 (Data Constructor)Data.Category.Unit
3 (Type/Class)Data.Category.Monoidal
unitData.Category.Monoidal
unitObjectData.Category.Monoidal
universalElementData.Category.RepresentableFunctor
universalMonoidData.Category.Simplex
unOpData.Category
unrepresentData.Category.RepresentableFunctor
Unwrap 
1 (Type/Class)Data.Category.Fix
2 (Data Constructor)Data.Category.Fix
VData.Category.Enriched
VoidData.Category.Void
voidNatData.Category.Void
VProfunctorData.Category.Enriched
WeigtedColimitData.Category.Enriched
WeigtedLimitData.Category.Enriched
Wrap 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
3 (Type/Class)Data.Category.Fix
4 (Data Constructor)Data.Category.Fix
WrapTensorData.Category.Fix
X 
1 (Data Constructor)Data.Category.Simplex
2 (Data Constructor)Data.Category.Cube
Y 
1 (Data Constructor)Data.Category.Simplex
2 (Data Constructor)Data.Category.Cube
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
Yoneda 
1 (Type/Class)Data.Category.Yoneda
2 (Data Constructor)Data.Category.Yoneda
yonedaData.Category.Enriched
YonedaEmbeddingData.Category.Yoneda
yonedaEmbeddingData.Category.Yoneda
yonedaInvData.Category.Enriched
Z 
1 (Data Constructor)Data.Category.Simplex
2 (Type/Class)Data.Category.Simplex
3 (Data Constructor)Data.Category.Dialg
4 (Data Constructor)Data.Category.Cube
5 (Type/Class)Data.Category.Cube
6 (Type/Class)Data.Category.Fix
7 (Data Constructor)Data.Category.Fix
8 (Data Constructor)Data.Category.NNO
z2sData.Category.Fix
ZeroData.Category.Limit
zeroData.Category.NNO
^^^Data.Category.CartesianClosed
|||Data.Category.Limit