proarrow (Index - T)

proarrow

Index - T

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
Term
1 (Type/Class)	Proarrow.Category.Instance.Fam
2 (Data Constructor)	Proarrow.Category.Instance.Fam
TermF
1 (Type/Class)	Proarrow.Object.Terminal
2 (Type/Class)	Proarrow.Tools.CCC
Terminal
1 (Type/Class)	Proarrow.Category.Bicategory.Terminal
2 (Data Constructor)	Proarrow.Category.Bicategory.Terminal
TerminalLimit	Proarrow.Category.Limit
TerminalObject
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (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 (Data Constructor)	Proarrow.Object.Terminal
3 (Type/Class)	Proarrow.Category.Instance.Cat
terminate
1 (Function)	Proarrow.Category.Bicategory.Limit
2 (Function)	Proarrow.Object.Terminal
terminate'	Proarrow.Object.Terminal
termUniv	Proarrow.Category.Bicategory.Limit
termUnivArr	Proarrow.Universal, Proarrow
TermUniversal	Proarrow.Universal, Proarrow
termUnivProp	Proarrow.Universal, Proarrow
Test	Proarrow.Profunctor.Cofree
test	Proarrow.Profunctor.Cofree
tgt	Proarrow.Core, Proarrow.Object, Proarrow
That	Proarrow.Category.Instance.PointedHask
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
Tight	Proarrow.Category.Equipment
TightAdj	Proarrow.Category.Bicategory.Adj
TightAdjoint	Proarrow.Category.Equipment
TightPair	Proarrow.Category.Equipment
toCCC	Proarrow.Tools.CCC
toEl	Proarrow.Object.Exponential
toHask	Proarrow.Category.Instance.PointedHask
toInt	Proarrow.Category.Instance.IntConstruction
toIso	Proarrow.Category.Monoidal.Optic
toLeft	Proarrow.Squares
toList	Proarrow.Profunctor.Fix
Top
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
toRight	Proarrow.Squares
toSelfAct	Proarrow.Category.Monoidal.Action
toSimplex	Proarrow.Category.Bicategory.Adj
toSimplexOp	Proarrow.Category.Bicategory.Adj
Total	Proarrow.Category.Instance.Rel
trace	Proarrow.Category.Monoidal.Action
TracedMonoidal	Proarrow.Category.Monoidal.Action
Transitive	Proarrow.Category.Instance.Rel
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
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