Contents
Index
data-category-0.1.0: Restricted categories
Index
!
Data.Category
$$
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
Adjunction
1 (Type/Class)
Data.Category
2 (Data Constructor)
Data.Category
Alg
Data.Category.Alg
AlgA
Data.Category.Alg
Algebra
1 (Type/Class)
Data.Category.Alg
2 (Data Constructor)
Data.Category.Alg
AlgNat
Data.Category.Alg
Apply
Data.Category
Boolean
Data.Category.Boolean
BooleanNat
Data.Category.Boolean
Cata
Data.Category.Alg
cataHask
Data.Category.Alg
CategoryA
Data.Category
CategoryO
Data.Category
Cocone
Data.Category.Functor
Cod
Data.Category
Colimit
Data.Category.Functor
Component
Data.Category
Cone
Data.Category.Functor
Const
1 (Type/Class)
Data.Category
2 (Data Constructor)
Data.Category
ContraFunctorA
Data.Category
CoprodInHask
1 (Type/Class)
Data.Category.Hask
2 (Data Constructor)
Data.Category.Hask
coprodInHaskAdj
Data.Category.Hask
Coproduct
Data.Category.Pair
counit
Data.Category
Diag
1 (Type/Class)
Data.Category.Functor
2 (Data Constructor)
Data.Category.Functor
Dom
Data.Category
EndoHask
1 (Type/Class)
Data.Category.Hask
2 (Data Constructor)
Data.Category.Hask
F
Data.Category
FixF
Data.Category.Alg
Fls
1 (Type/Class)
Data.Category.Boolean
2 (Data Constructor)
Data.Category.Boolean
FlsTru
Data.Category.Boolean
Fst
1 (Type/Class)
Data.Category.Pair
2 (Data Constructor)
Data.Category.Pair
FunctNat
Data.Category.Functor
FunctorA
Data.Category
GTZ
Data.Category.Omega
Hask
Data.Category.Hask
HaskNat
Data.Category.Hask
HomX_
Data.Category
Hom_X
Data.Category
Id
1 (Type/Class)
Data.Category
2 (Data Constructor)
Data.Category
id
Data.Category
IdFls
Data.Category.Boolean
IdFst
Data.Category.Pair
IdSnd
Data.Category.Pair
IdTru
Data.Category.Boolean
IdZ
Data.Category.Omega
InF
Data.Category.Alg
InitialFAlgebra
Data.Category.Alg
initialize
Data.Category.Void
InitialObject
Data.Category.Void
InitialUniversal
1 (Type/Class)
Data.Category
2 (Data Constructor)
Data.Category
initObjInHask
Data.Category.Hask
inj1
Data.Category.Pair
inj2
Data.Category.Pair
join
Data.Category.Kleisli
Kleisli
1 (Type/Class)
Data.Category.Kleisli
2 (Data Constructor)
Data.Category.Kleisli
kleisliAdj
Data.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
KleisliNat
Data.Category.Kleisli
Limit
Data.Category.Functor
magic
Data.Category.Hask
Monad
Data.Category.Kleisli
MonoidA
1 (Type/Class)
Data.Category.Monoid
2 (Data Constructor)
Data.Category.Monoid
MonoidNat
Data.Category.Monoid
Nat
Data.Category
Obj
Data.Category
obj
Data.Category
Omega
Data.Category.Omega
OmegaC
Data.Category.Omega
OmegaColimit
Data.Category.Omega
omegaColimit
Data.Category.Omega
OmegaF
1 (Type/Class)
Data.Category.Omega
2 (Data Constructor)
Data.Category.Omega
OmegaL
Data.Category.Omega
OmegaLimit
Data.Category.Omega
omegaLimit
Data.Category.Omega
OmegaNat
Data.Category.Omega
outF
Data.Category.Alg
Pair
Data.Category.Pair
PairColimit
Data.Category.Pair
pairColimit
Data.Category.Pair
PairF
1 (Type/Class)
Data.Category.Pair
2 (Data Constructor)
Data.Category.Pair
PairLimit
Data.Category.Pair
pairLimit
Data.Category.Pair
point
Data.Category.Kleisli
Pointed
Data.Category.Kleisli
ProdInHask
1 (Type/Class)
Data.Category.Hask
2 (Data Constructor)
Data.Category.Hask
prodInHaskAdj
Data.Category.Hask
Product
Data.Category.Pair
proj1
Data.Category.Pair
proj2
Data.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
StepS
Data.Category.Omega
TerminalObject
Data.Category.Void
TerminalUniversal
1 (Type/Class)
Data.Category
2 (Data Constructor)
Data.Category
terminate
Data.Category.Void
termObjInHask
Data.Category.Hask
Tru
1 (Type/Class)
Data.Category.Boolean
2 (Data Constructor)
Data.Category.Boolean
unAlgNat
Data.Category.Alg
unFunctNat
Data.Category.Functor
unHaskNat
Data.Category.Hask
Unit
Data.Category.Unit
unit
Data.Category
UnitId
Data.Category.Unit
UnitNat
Data.Category.Unit
UnitO
1 (Type/Class)
Data.Category.Unit
2 (Data Constructor)
Data.Category.Unit
unKleisliNat
Data.Category.Kleisli
Void
Data.Category.Void
VoidColimit
Data.Category.Void
voidColimit
Data.Category.Void
VoidF
1 (Type/Class)
Data.Category.Void
2 (Data Constructor)
Data.Category.Void
VoidLimit
Data.Category.Void
voidLimit
Data.Category.Void
VoidNat
Data.Category.Void
Z
1 (Type/Class)
Data.Category.Omega
2 (Data Constructor)
Data.Category.Omega
Zero
Data.Category.Hask