data-category-0.0.3.1: Restricted categories

Index

$$Data.Category
%Data.Category
-%Data.Category
.Data.Category
:***:Data.Category.Pair
:*-:Data.Category
:-*:Data.Category
:.: 
1 (Type/Class)Data.Category
2 (Data Constructor)Data.Category
:~>Data.Category.Functor
Adjunction 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
ApplyData.Category
BooleanData.Category.Boolean
BooleanNatData.Category.Boolean
CategoryAData.Category
CategoryOData.Category
CoconeData.Category.Functor
CodData.Category
ColimitData.Category.Functor
ComponentData.Category.Functor
ConeData.Category.Functor
Const 
1 (Type/Class)Data.Category
2 (Data Constructor)Data.Category
ContraFunctorAData.Category
CoprodInHask 
1 (Type/Class)Data.Category.Hask
2 (Data Constructor)Data.Category.Hask
coprodInHaskAdjData.Category.Hask
CoproductData.Category.Pair
counitData.Category.Functor
Diag 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
DomData.Category
FData.Category
Fls 
1 (Type/Class)Data.Category.Boolean
2 (Data Constructor)Data.Category.Boolean
flsCompData.Category.Boolean
FlsTruData.Category.Boolean
Fst 
1 (Type/Class)Data.Category.Pair
2 (Data Constructor)Data.Category.Pair
fstCompData.Category.Pair
FunctData.Category.Functor
FunctNatData.Category.Functor
FunctO 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
FunctorAData.Category
GTZData.Category.Omega
HaskData.Category.Hask
HaskNatData.Category.Hask
HomX_Data.Category
Hom_XData.Category
Id 
1 (Type/Class)Data.Category
2 (Data Constructor)Data.Category
idData.Category
IdFlsData.Category.Boolean
IdFstData.Category.Pair
IdSndData.Category.Pair
IdTruData.Category.Boolean
IdZData.Category.Omega
InitialObjectData.Category.Void
InitialUniversal 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
InitMorFData.Category.Functor
initObjInHaskData.Category.Hask
inj1Data.Category.Pair
inj2Data.Category.Pair
joinData.Category.Kleisli
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
KleisliNatData.Category.Kleisli
LimitData.Category.Functor
magicData.Category.Hask
MonadData.Category.Kleisli
MonoidA 
1 (Type/Class)Data.Category.Monoid
2 (Data Constructor)Data.Category.Monoid
OmegaData.Category.Omega
OmegaCData.Category.Omega
OmegaColimitData.Category.Omega
omegaColimitData.Category.Omega
OmegaF 
1 (Type/Class)Data.Category.Omega
2 (Data Constructor)Data.Category.Omega
OmegaLData.Category.Omega
OmegaLimitData.Category.Omega
omegaLimitData.Category.Omega
OmegaNatData.Category.Omega
PairData.Category.Pair
PairColimitData.Category.Pair
pairColimitData.Category.Pair
PairF 
1 (Type/Class)Data.Category.Pair
2 (Data Constructor)Data.Category.Pair
PairLimitData.Category.Pair
pairLimitData.Category.Pair
pointData.Category.Kleisli
PointedData.Category.Kleisli
ProdInHask 
1 (Type/Class)Data.Category.Hask
2 (Data Constructor)Data.Category.Hask
prodInHaskAdjData.Category.Hask
ProductData.Category.Pair
proj1Data.Category.Pair
proj2Data.Category.Pair
S 
1 (Type/Class)Data.Category.Omega
2 (Data Constructor)Data.Category.Omega
Snd 
1 (Type/Class)Data.Category.Pair
2 (Data Constructor)Data.Category.Pair
sndCompData.Category.Pair
StepSData.Category.Omega
TerminalObjectData.Category.Void
TerminalUniversal 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
TermMorFData.Category.Functor
termObjInHaskData.Category.Hask
Tru 
1 (Type/Class)Data.Category.Boolean
2 (Data Constructor)Data.Category.Boolean
truCompData.Category.Boolean
unGTZData.Category.Omega
unHaskNatData.Category.Hask
UnitData.Category.Unit
unitData.Category.Functor
UnitIdData.Category.Unit
UnitO 
1 (Type/Class)Data.Category.Unit
2 (Data Constructor)Data.Category.Unit
unSData.Category.Omega
unStepSData.Category.Omega
VoidData.Category.Void
VoidColimitData.Category.Void
voidColimitData.Category.Void
VoidF 
1 (Type/Class)Data.Category.Void
2 (Data Constructor)Data.Category.Void
VoidLimitData.Category.Void
voidLimitData.Category.Void
VoidNatData.Category.Void
Z 
1 (Type/Class)Data.Category.Omega
2 (Data Constructor)Data.Category.Omega
ZeroData.Category.Hask