Contents
Index
data-category-0.3.1.1: Restricted categories
Index
!
Data.Category.NaturalTransformation
%
Data.Category.Functor
&&&
Data.Category.Limit
***
Data.Category.Limit
+++
Data.Category.Limit
.
Data.Category
:%
Data.Category.Functor
:***:
1 (Data Constructor)
Data.Category.Product
2 (Type/Class)
Data.Category.Product
:**:
1 (Data Constructor)
Data.Category.Product
2 (Type/Class)
Data.Category.Product
:*-:
Data.Category.Functor
:*:
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
:+++:
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
:++:
Data.Category.Coproduct
:+:
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
:-*:
Data.Category.Functor
:.:
1 (Data Constructor)
Data.Category.Functor
2 (Type/Class)
Data.Category.Functor
:/\:
Data.Category.Comma
:::
Data.Category.Discrete
:~>
Data.Category.NaturalTransformation
AdjArrow
1 (Data Constructor)
Data.Category.Adjunction
2 (Type/Class)
Data.Category.Adjunction
Adjunction
1 (Data Constructor)
Data.Category.Adjunction
2 (Type/Class)
Data.Category.Adjunction
adjunctionComonad
Data.Category.Adjunction
adjunctionInitialProp
Data.Category.Adjunction
adjunctionMonad
Data.Category.Adjunction
adjunctionTerminalProp
Data.Category.Adjunction
Alg
Data.Category.Dialg
Algebra
Data.Category.Dialg
Ana
Data.Category.Dialg
anaHask
Data.Category.Dialg
apply
Data.Category.CartesianClosed
associator
Data.Category.Monoidal
associatorInv
Data.Category.Monoidal
BinaryCoproduct
Data.Category.Limit
BinaryProduct
Data.Category.Limit
Boolean
Data.Category.Boolean
CartesianClosed
Data.Category.CartesianClosed
Cat
Data.Category.Functor
CatA
Data.Category.Functor
Cata
Data.Category.Dialg
cataHask
Data.Category.Dialg
CatApply
1 (Data Constructor)
Data.Category.CartesianClosed
2 (Type/Class)
Data.Category.CartesianClosed
Category
Data.Category
CatTuple
1 (Data Constructor)
Data.Category.CartesianClosed
2 (Type/Class)
Data.Category.CartesianClosed
CatW
Data.Category.Functor
Coalg
Data.Category.Dialg
Coalgebra
Data.Category.Dialg
Cocone
Data.Category.Limit
coconeVertex
Data.Category.Limit
Cod
Data.Category.Functor
CodiagCoprod
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
Colimit
Data.Category.Limit
colimit
Data.Category.Limit
colimitAdj
Data.Category.Adjunction
colimitFactorizer
Data.Category.Limit
ColimitFam
Data.Category.Limit
ColimitFunctor
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
colimitUniv
Data.Category.Limit
ColimitUniversal
Data.Category.Limit
colimitUniversal
Data.Category.Limit
Com
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
CommaA
Data.Category.Comma
CommaO
1 (Type/Class)
Data.Category.Comma
2 (Data Constructor)
Data.Category.Comma
Comonad
Data.Category.Monoidal
ComonoidObject
1 (Data Constructor)
Data.Category.Monoidal
2 (Type/Class)
Data.Category.Monoidal
Component
Data.Category.NaturalTransformation
comultiply
Data.Category.Monoidal
Cone
Data.Category.Limit
coneVertex
Data.Category.Limit
Const
1 (Data Constructor)
Data.Category.Functor
2 (Type/Class)
Data.Category.Functor
ConstF
Data.Category.Functor
contAdj
Data.Category.Adjunction
Context
Data.Category.CartesianClosed
contextComonadDuplicate
Data.Category.CartesianClosed
contextComonadExtract
Data.Category.CartesianClosed
CoproductFunctor
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
Cotuple1
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
Cotuple2
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
counit
1 (Function)
Data.Category.Monoidal
2 (Function)
Data.Category.Adjunction
curry
Data.Category.CartesianClosed
curryAdj
Data.Category.CartesianClosed
Diag
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
DiagF
Data.Category.Limit
DiagProd
1 (Data Constructor)
Data.Category.Product
2 (Type/Class)
Data.Category.Product
Dialg
Data.Category.Dialg
DialgA
Data.Category.Dialg
Dialgebra
1 (Data Constructor)
Data.Category.Dialg
2 (Type/Class)
Data.Category.Dialg
dialgebra
Data.Category.Dialg
dialgId
Data.Category.Dialg
Discrete
Data.Category.Discrete
DiscreteDiagram
Data.Category.Discrete
Dom
Data.Category.Functor
Endo
Data.Category.NaturalTransformation
EndoHask
1 (Data Constructor)
Data.Category.Functor
2 (Type/Class)
Data.Category.Functor
endoHaskColimit
Data.Category.Limit
endoHaskLimit
Data.Category.Limit
Exists
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
ExpFunctor
1 (Data Constructor)
Data.Category.CartesianClosed
2 (Type/Class)
Data.Category.CartesianClosed
Exponential
Data.Category.CartesianClosed
ExponentialWith
1 (Data Constructor)
Data.Category.CartesianClosed
2 (Type/Class)
Data.Category.CartesianClosed
F2T
Data.Category.Boolean
falseCoproductComonoid
Data.Category.Boolean
falseCoproductMonoid
Data.Category.Boolean
falseProductComonoid
Data.Category.Boolean
FixF
Data.Category.Dialg
Fls
1 (Type/Class)
Data.Category.Boolean
2 (Data Constructor)
Data.Category.Boolean
foldMap
Data.Category.Monoid
ForAll
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
ForgetMonoid
1 (Data Constructor)
Data.Category.Monoid
2 (Type/Class)
Data.Category.Monoid
FreeMonoid
1 (Data Constructor)
Data.Category.Monoid
2 (Type/Class)
Data.Category.Monoid
freeMonoidAdj
Data.Category.Monoid
fromYoneda
Data.Category.NaturalTransformation
Functor
Data.Category.Functor
FunctorCompose
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
HasBinaryCoproducts
Data.Category.Limit
HasBinaryProducts
Data.Category.Limit
HasColimits
Data.Category.Limit
HasInitialObject
Data.Category.Limit
HasLimits
Data.Category.Limit
HasTerminalObject
Data.Category.Limit
HasUnit
Data.Category.Monoidal
HomX_
Data.Category.Functor
Hom_X
Data.Category.Functor
I1
1 (Type/Class)
Data.Category.Coproduct
2 (Data Constructor)
Data.Category.Coproduct
I2
1 (Type/Class)
Data.Category.Coproduct
2 (Data Constructor)
Data.Category.Coproduct
Id
1 (Data Constructor)
Data.Category.Functor
2 (Type/Class)
Data.Category.Functor
InF
Data.Category.Dialg
initialFactorizer
Data.Category.Functor
InitialFAlgebra
Data.Category.Dialg
initialize
Data.Category.Limit
initialMorphism
Data.Category.Functor
InitialObject
Data.Category.Limit
initialObject
Data.Category.Limit
initialPropAdjunction
Data.Category.Adjunction
InitialUniversal
1 (Data Constructor)
Data.Category.Functor
2 (Type/Class)
Data.Category.Functor
Inj1
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
inj1
Data.Category.Limit
Inj2
1 (Data Constructor)
Data.Category.Coproduct
2 (Type/Class)
Data.Category.Coproduct
inj2
Data.Category.Limit
iuObject
Data.Category.Functor
Kleisli
1 (Data Constructor)
Data.Category.Kleisli
2 (Type/Class)
Data.Category.Kleisli
kleisliAdj
Data.Category.Kleisli
KleisliAdjF
1 (Data Constructor)
Data.Category.Kleisli
2 (Type/Class)
Data.Category.Kleisli
KleisliAdjG
1 (Data Constructor)
Data.Category.Kleisli
2 (Type/Class)
Data.Category.Kleisli
kleisliId
Data.Category.Kleisli
leftAdjoint
Data.Category.Adjunction
leftAdjunct
Data.Category.Adjunction
leftUnitor
Data.Category.Monoidal
leftUnitorInv
Data.Category.Monoidal
Limit
Data.Category.Limit
limit
Data.Category.Limit
limitAdj
Data.Category.Adjunction
limitFactorizer
Data.Category.Limit
LimitFam
Data.Category.Limit
LimitFunctor
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
limitUniv
Data.Category.Limit
LimitUniversal
Data.Category.Limit
limitUniversal
Data.Category.Limit
listComonadDuplicate
Data.Category.Monoid
listComonadExtract
Data.Category.Monoid
listMonadJoin
Data.Category.Monoid
listMonadReturn
Data.Category.Monoid
mkAdjunction
Data.Category.Adjunction
mkComonad
Data.Category.Monoidal
mkMonad
Data.Category.Monoidal
Mon
Data.Category.Monoid
Monad
Data.Category.Monoidal
monadFunctor
Data.Category.Monoidal
MonoidA
1 (Data Constructor)
Data.Category.Monoid
2 (Type/Class)
Data.Category.Monoid
MonoidAsCategory
Data.Category.Monoidal
MonoidMorphism
Data.Category.Monoid
MonoidObject
1 (Data Constructor)
Data.Category.Monoidal
2 (Type/Class)
Data.Category.Monoidal
MonoidValue
Data.Category.Monoidal
multiply
Data.Category.Monoidal
Nat
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
NatAsFunctor
1 (Data Constructor)
Data.Category.Boolean
2 (Type/Class)
Data.Category.Boolean
NatF
1 (Data Constructor)
Data.Category.Dialg
2 (Type/Class)
Data.Category.Dialg
natId
Data.Category.NaturalTransformation
NatNum
1 (Type/Class)
Data.Category.Dialg
2 (Type/Class)
Data.Category.Peano
Next
1 (Data Constructor)
Data.Category.Discrete
2 (Type/Class)
Data.Category.Discrete
Nil
Data.Category.Discrete
o
Data.Category.NaturalTransformation
Obj
Data.Category
ObjectsFOver
Data.Category.Comma
ObjectsFUnder
Data.Category.Comma
ObjectsOver
Data.Category.Comma
ObjectsUnder
Data.Category.Comma
Omega
Data.Category.Omega
Op
1 (Type/Class)
Data.Category
2 (Data Constructor)
Data.Category
Opposite
1 (Data Constructor)
Data.Category.Functor
2 (Type/Class)
Data.Category.Functor
outF
Data.Category.Dialg
Pair
Data.Category.Discrete
Peano
Data.Category.Peano
PeanoA
Data.Category.Peano
peanoId
Data.Category.Peano
PeanoO
1 (Data Constructor)
Data.Category.Peano
2 (Type/Class)
Data.Category.Peano
peanoO
Data.Category.Peano
Postcompose
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
Precompose
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
preludeMonad
Data.Category.Monoidal
preludeMonoid
Data.Category.Monoidal
Presheaves
Data.Category.NaturalTransformation
primRec
1 (Function)
Data.Category.Dialg
2 (Function)
Data.Category.Peano
ProductFunctor
1 (Data Constructor)
Data.Category.Limit
2 (Type/Class)
Data.Category.Limit
ProductWith
1 (Data Constructor)
Data.Category.CartesianClosed
2 (Type/Class)
Data.Category.CartesianClosed
Proj1
1 (Data Constructor)
Data.Category.Product
2 (Type/Class)
Data.Category.Product
proj1
Data.Category.Limit
Proj2
1 (Data Constructor)
Data.Category.Product
2 (Type/Class)
Data.Category.Product
proj2
Data.Category.Limit
PShExponential
1 (Data Constructor)
Data.Category.CartesianClosed
2 (Type/Class)
Data.Category.CartesianClosed
represent
Data.Category.NaturalTransformation
Representable
Data.Category.NaturalTransformation
RepresentingObject
Data.Category.NaturalTransformation
rightAdjoint
Data.Category.Adjunction
rightAdjunct
Data.Category.Adjunction
rightUnitor
Data.Category.Monoidal
rightUnitorInv
Data.Category.Monoidal
S
1 (Type/Class)
Data.Category.Discrete
2 (Data Constructor)
Data.Category.Discrete
3 (Type/Class)
Data.Category.Omega
4 (Data Constructor)
Data.Category.Omega
5 (Data Constructor)
Data.Category.Dialg
6 (Data Constructor)
Data.Category.Peano
src
Data.Category
State
Data.Category.CartesianClosed
stateMonadJoin
Data.Category.CartesianClosed
stateMonadReturn
Data.Category.CartesianClosed
TensorProduct
Data.Category.Monoidal
terminalFactorizer
Data.Category.Functor
TerminalFAlgebra
Data.Category.Dialg
terminalMorphism
Data.Category.Functor
TerminalObject
Data.Category.Limit
terminalObject
Data.Category.Limit
terminalPropAdjunction
Data.Category.Adjunction
TerminalUniversal
1 (Data Constructor)
Data.Category.Functor
2 (Type/Class)
Data.Category.Functor
terminate
Data.Category.Limit
tgt
Data.Category
toYoneda
Data.Category.NaturalTransformation
Tru
1 (Type/Class)
Data.Category.Boolean
2 (Data Constructor)
Data.Category.Boolean
trueCoproductMonoid
Data.Category.Boolean
trueProductComonoid
Data.Category.Boolean
trueProductMonoid
Data.Category.Boolean
tuObject
Data.Category.Functor
tuple
Data.Category.CartesianClosed
Tuple1
1 (Data Constructor)
Data.Category.Product
2 (Type/Class)
Data.Category.Product
Tuple2
1 (Data Constructor)
Data.Category.Product
2 (Type/Class)
Data.Category.Product
unCom
Data.Category.NaturalTransformation
uncurry
Data.Category.CartesianClosed
unForAll
Data.Category.Limit
Unit
1 (Type/Class)
Data.Category.Discrete
2 (Type/Class)
Data.Category.Monoidal
unit
1 (Function)
Data.Category.Monoidal
2 (Function)
Data.Category.Adjunction
unitObject
Data.Category.Monoidal
unMonoidMorphism
Data.Category.Monoid
unOp
Data.Category
unrepresent
Data.Category.NaturalTransformation
Void
Data.Category.Discrete
voidNat
Data.Category.Discrete
Wrap
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
Yoneda
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
YonedaEmbedding
1 (Data Constructor)
Data.Category.NaturalTransformation
2 (Type/Class)
Data.Category.NaturalTransformation
Z
1 (Type/Class)
Data.Category.Discrete
2 (Data Constructor)
Data.Category.Discrete
3 (Type/Class)
Data.Category.Omega
4 (Data Constructor)
Data.Category.Omega
5 (Data Constructor)
Data.Category.Dialg
6 (Data Constructor)
Data.Category.Peano
Z2S
Data.Category.Omega
Zero
Data.Category.Limit
zeroComonoid
Data.Category.Omega
zeroMonoid
Data.Category.Omega
^^^
Data.Category.CartesianClosed
|||
Data.Category.Limit