proarrow-0: Category theory with a central role for profunctors

Index - T

TProarrow.Preorder.ThinCategory
tabulateProarrow.Profunctor.Representable
TensorIsCoproductProarrow.Object.BinaryCoproduct
TensorIsProductProarrow.Object.BinaryProduct
TermFProarrow.Helper.CCC
Terminal 
1 (Type/Class)Proarrow.Category.Bicategory.Terminal
2 (Data Constructor)Proarrow.Category.Bicategory.Terminal
TerminalLimit 
1 (Type/Class)Proarrow.Category.Limit
2 (Data Constructor)Proarrow.Category.Limit
TerminalObjectProarrow.Object.Terminal
TerminalProfunctor 
1 (Type/Class)Proarrow.Profunctor.Terminal
2 (Data Constructor)Proarrow.Profunctor.Terminal
TerminalProfunctor'Proarrow.Profunctor.Terminal
Terminate 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
terminateProarrow.Object.Terminal
terminate'Proarrow.Object.Terminal
tgtProarrow.Core, Proarrow.Object, Proarrow
ThatProarrow.Category.Instance.PointedHask
These 
1 (Type/Class)Proarrow.Category.Instance.PointedHask
2 (Data Constructor)Proarrow.Category.Instance.PointedHask
THINProarrow.Preorder.ThinCategory
ThinProarrow.Preorder.ThinCategory
ThinCategoryProarrow.Preorder.ThinCategory
ThinProfunctorProarrow.Preorder.ThinCategory
ThisProarrow.Category.Instance.PointedHask
toCCCProarrow.Helper.CCC
toLeft 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
toListProarrow.Profunctor.Fix
Top 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
toRight 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
traceProarrow.Category.Monoidal
trace'Proarrow.Category.Monoidal
TracedMonoidalProarrow.Category.Monoidal
TracedMonoidalProfunctorProarrow.Category.Monoidal
TraversalProarrow.Category.Monoidal.Optic
traversingProarrow.Category.Monoidal.Optic
travListProarrow.Category.Monoidal.Distributive
TRUProarrow.Category.Instance.Bool
TruProarrow.Category.Instance.Bool
TypeProarrow.Category.Instance.Hask