proarrow (Index - T)

proarrow

Index - T

T	Proarrow.Object.Terminal
tabulate	Proarrow.Profunctor.Representable
Tensor
1 (Type/Class)	Proarrow.Category.Promonoidal
2 (Data Constructor)	Proarrow.Category.Promonoidal
TensorIsCoproduct	Proarrow.Object.BinaryCoproduct
TensorIsProduct	Proarrow.Object.BinaryProduct
TermF
1 (Type/Class)	Proarrow.Object.Terminal
2 (Type/Class)	Proarrow.Tools.CCC
Terminal
1 (Data Constructor)	Proarrow.Object.Terminal
2 (Type/Class)	Proarrow.Category.Bicategory.Terminal
3 (Data Constructor)	Proarrow.Category.Bicategory.Terminal
TerminalLimit	Proarrow.Category.Limit
TerminalObject
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Category.Equipment.Limit
3 (Type/Class)	Proarrow.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.Bicategory.Limit
2 (Type/Class)	Proarrow.Category.Equipment.Limit
3 (Type/Class)	Proarrow.Category.Instance.Cat
terminate
1 (Function)	Proarrow.Category.Bicategory.Limit
2 (Function)	Proarrow.Category.Equipment.Limit
3 (Function)	Proarrow.Object.Terminal
terminate'	Proarrow.Object.Terminal
termUniv
1 (Function)	Proarrow.Category.Bicategory.Limit
2 (Function)	Proarrow.Category.Equipment.Limit
Test	Proarrow.Profunctor.Cofree
test	Proarrow.Profunctor.Cofree
tgt	Proarrow.Core, Proarrow.Object, Proarrow
That	Proarrow.Category.Instance.PointedHask
There	Proarrow.Tools.Laws
These
1 (Type/Class)	Proarrow.Category.Instance.PointedHask
2 (Data Constructor)	Proarrow.Category.Instance.PointedHask
Thin	Proarrow.Category.Enriched.ThinCategory
ThinProfunctor	Proarrow.Category.Enriched.ThinCategory
This	Proarrow.Category.Instance.PointedHask
toCCC	Proarrow.Tools.CCC
toHask	Proarrow.Category.Instance.PointedHask
toInt	Proarrow.Category.Instance.IntConstruction
toLeft
1 (Function)	Proarrow.Category.Equipment
2 (Function)	Proarrow.Squares, Proarrow
toList	Proarrow.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, Proarrow
toSelfAct	Proarrow.Category.Monoidal.Action
Total	Proarrow.Category.Instance.Rel
trace	Proarrow.Category.Monoidal.Action
TracedMonoidal	Proarrow.Category.Monoidal.Action
TracedMonoidal'	Proarrow.Category.Instance.IntConstruction
transpose	Proarrow.Category.Instance.ZX
trav	Proarrow.Profunctor.Fold
Traversable	Proarrow.Category.Monoidal.Distributive
Traversal
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares, Proarrow
traverse	Proarrow.Category.Monoidal.Distributive
traversing	Proarrow.Category.Monoidal.Optic
trivialCorep	Proarrow.Profunctor.Corepresentable
trivialRep	Proarrow.Profunctor.Representable
TRU	Proarrow.Category.Instance.Bool
Tru	Proarrow.Category.Instance.Bool
Type	Proarrow.Category.Instance.Hask