A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
#
$
%
&
*
+
.
/
<
=
?
@
\
^
|
-
~
_
All

Index - T

tabulate	Proarrow.Profunctor.Representable
tabulated	Proarrow.Profunctor.Representable
tabulatedCopresheaf	Proarrow.Profunctor.Corepresentable
tabulatedPresheaf	Proarrow.Profunctor.Representable
Tambara
1 (Type/Class)	Proarrow.Profunctor.Instance.PastroTambara
2 (Data Constructor)	Proarrow.Profunctor.Instance.PastroTambara
tambara	Proarrow.Profunctor.Instance.PastroTambara
target	Proarrow.Category.Internal
tell	Proarrow.Promonad.Writer
Tensor
1 (Type/Class)	Proarrow.Category.Monoidal
2 (Type/Class)	Proarrow.Category.Promonoidal
3 (Data Constructor)	Proarrow.Category.Promonoidal
TensorIsCoproduct	Proarrow.Colimit.BinaryCoproduct
TensorIsProduct	Proarrow.Limit.BinaryProduct
TermF
1 (Type/Class)	Proarrow.Limit.Terminal
2 (Type/Class)	Proarrow.Tools.CCC
Terminal
1 (Type/Class)	Proarrow.Category.Bicategory.Terminal
2 (Data Constructor)	Proarrow.Category.Bicategory.Terminal
TerminalObject
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Limit.Terminal
TerminalProfunctor
1 (Type/Class)	Proarrow.Profunctor.Instance.Terminal
2 (Data Constructor)	Proarrow.Profunctor.Instance.Terminal
TerminalProfunctor'	Proarrow.Profunctor.Instance.Terminal
Terminate
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Data Constructor)	Proarrow.Limit.Terminal
terminate
1 (Function)	Proarrow.Category.Bicategory.Limit
2 (Function)	Proarrow.Limit.Terminal
terminate'	Proarrow.Limit.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.Bicategory.ThinCategoryAsBi
Thin	Proarrow.Category.Enriched.Thin
Thin'	Proarrow.Category.Bicategory.ThinCategoryAsBi
ThinCategory	Proarrow.Category.Bicategory.ThinCategoryAsBi
thinCoequalize	Proarrow.Colimit.Coequalizer
thinEqualize	Proarrow.Limit.Equalizer
thinFactorCoequalizer	Proarrow.Colimit.Coequalizer
thinFactorEqualizer	Proarrow.Limit.Equalizer
ThinFunctor	Proarrow.Category.Bicategory.ThinCategoryAsBi
THINK	Proarrow.Category.Bicategory.ThinCategoryAsBi
ThinProfunctor	Proarrow.Category.Enriched.Thin
thinPullback	Proarrow.Limit.Pullback
thinPushout	Proarrow.Colimit.Pushout
This	Proarrow.Category.Instance.PointedHask
Tight	Proarrow.Category.Equipment
TightAdj	Proarrow.Category.Bicategory.Adj
TightAdjoint	Proarrow.Category.Equipment
TightPair	Proarrow.Category.Equipment
toBools	Proarrow.Category.Instance.FinRel
toCCC	Proarrow.Tools.CCC
toEl	Proarrow.Category.Monoidal.Closed
toHask	Proarrow.Category.Instance.PointedHask
toInt	Proarrow.Category.Instance.IntConstruction
toLeft	Proarrow.Squares
toList	Proarrow.Profunctor.Instance.Fix
toMatrix	Proarrow.Category.Instance.ZX
Top
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
toRight	Proarrow.Squares
toSimplex	Proarrow.Category.Bicategory.Adj
toSimplexOp	Proarrow.Category.Bicategory.Adj
Total	Proarrow.Category.Instance.Rel
toVLLens	Proarrow.Category.Monoidal.Optic
trace	Proarrow.Category.Monoidal.Strength
traceCC	Proarrow.Category.Monoidal.CompactClosed
traceCCS	Proarrow.Category.Monoidal.CompactClosed
TracedMonoidal	Proarrow.Category.Monoidal.Strength
traceHG	Proarrow.Category.Monoidal.Hypergraph
Transitive	Proarrow.Category.Instance.Rel
transpose	Proarrow.Category.Instance.ZX
trav	Proarrow.Profunctor.Instance.Fold
Traversable	Proarrow.Category.Monoidal.Distributive
Traversal
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares
traverse	Proarrow.Category.Monoidal.Distributive
traverseWriter	Proarrow.Promonad.Writer
traversing	Proarrow.Category.Monoidal.Optic
TRU	Proarrow.Category.Instance.Bool
Tru	Proarrow.Category.Instance.Bool
true	Proarrow.Category.Topos
TT	Proarrow.Category.Instance.Bool
Type	Proarrow.Category.Instance.Hask