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

Index - T

T0Proarrow.Category.Bicategory.Terminal
T1Proarrow.Category.Bicategory.Terminal
tabulateProarrow.Profunctor.Representable
TambaraProarrow.Category.Monoidal.Optic
tambaraProarrow.Category.Monoidal.Optic
TensorIsProductProarrow.Object.BinaryProduct
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
TERMKProarrow.Category.Bicategory.Terminal
tgtProarrow.Core, Proarrow.Object, Proarrow
TKProarrow.Category.Bicategory.Terminal
toLeftProarrow.Category.Double
toListProarrow.Profunctor.Fix
toRightProarrow.Category.Double
TraversalProarrow.Category.Monoidal.Optic
traversingProarrow.Category.Monoidal.Optic
TRUProarrow.Category.Instance.Bool
TruProarrow.Category.Instance.Bool
TypeProarrow.Category.Instance.Hask