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

Index - T

tabulate	Proarrow.Profunctor.Representable, Proarrow
tabulated	Proarrow.Profunctor.Representable
tabulatedCopresheaf	Proarrow.Profunctor.Corepresentable
tabulatedPresheaf	Proarrow.Profunctor.Representable
Tag	Proarrow.Path
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
4 (Type/Class)	Proarrow.Optic.PowerGrate
tensorComonoid	Proarrow.Monoid
TensorIsCoproduct	Proarrow.Colimit.BinaryCoproduct
TensorIsProduct	Proarrow.Category.Monoidal.Cartesian
TensorToProd	Proarrow.Category.Monoidal.Cartesian
tensorToProd	Proarrow.Category.Monoidal.Cartesian
tensorToProduct	Proarrow.Category.Monoidal.Cartesian
TermF	Proarrow.Limit.Terminal
TerminalObject	Proarrow.Limit.Terminal
TerminalProfunctor
1 (Type/Class)	Proarrow.Profunctor.Instance.Terminal
2 (Data Constructor)	Proarrow.Profunctor.Instance.Terminal
TerminalProfunctor'	Proarrow.Profunctor.Instance.Terminal
Terminate	Proarrow.Limit.Terminal
terminate	Proarrow.Limit.Terminal
terminate'	Proarrow.Limit.Terminal
TermToUnit	Proarrow.Category.Monoidal.Cartesian
termToUnit	Proarrow.Category.Monoidal.Cartesian
termUnivArr	Proarrow.Universal, Proarrow
TermUniversal	Proarrow.Universal, Proarrow
termUnivProp	Proarrow.Universal, Proarrow
Test	Proarrow.Profunctor.Cofree
test	Proarrow.Profunctor.Cofree
Testable	Proarrow.Testing
TestableProfunctor	Proarrow.Testing
TestableType	Proarrow.Testing
TestableTypeP	Proarrow.Testing
testAdjunction	Proarrow.Testing.Laws
testAdjunction_	Proarrow.Testing.Laws
testCocommutativeComonoid	Proarrow.Testing.Laws
testCocommutativeComonoid_	Proarrow.Testing.Laws
testCommutativeMonoid	Proarrow.Testing.Laws
testCommutativeMonoid_	Proarrow.Testing.Laws
testComonoid	Proarrow.Testing.Laws
testComonoid_	Proarrow.Testing.Laws
testCorepresentable	Proarrow.Testing.Laws
testCorepresentable_	Proarrow.Testing.Laws
testEq	Proarrow.Testing
testFrobenius	Proarrow.Testing.Laws
testFrobenius_	Proarrow.Testing.Laws
testFunctor	Proarrow.Testing.Laws
testFunctor_	Proarrow.Testing.Laws
TestingEqShow	Proarrow.Testing
testMonoid	Proarrow.Testing.Laws
testMonoid_	Proarrow.Testing.Laws
TestOb	Proarrow.Testing
TestOb'	Proarrow.Testing
TestObIsOb	Proarrow.Testing
testProfunctor	Proarrow.Testing.Laws
testRepresentable	Proarrow.Testing.Laws
testRepresentable_	Proarrow.Testing.Laws
tgt	Proarrow.Core, Proarrow.Object, Proarrow
That	Proarrow.Category.Instance.PointedHask
There	Proarrow.Category.Enriched.Thin
These
1 (Type/Class)	Proarrow.Category.Instance.PointedHask
2 (Data Constructor)	Proarrow.Category.Instance.PointedHask
Thin	Proarrow.Category.Enriched.Thin
thinCoequalize	Proarrow.Colimit.Coequalizer
ThinComp	Proarrow.Category.Enriched.Thin.Composition
ThinCompStrategy	Proarrow.Category.Enriched.Thin.Composition
thinEqualize	Proarrow.Limit.Equalizer
ThinProfunctor	Proarrow.Category.Enriched.Thin
thinPullback	Proarrow.Limit.Pullback
thinPushout	Proarrow.Colimit.Pushout
This	Proarrow.Category.Instance.PointedHask
Tight	Proarrow.Path
to	Proarrow.Optic.Getter, Proarrow.Optics, Proarrow
toBools	Proarrow.Category.Instance.FinRel
toCCC	Proarrow.Tools.CCC
toEl	Proarrow.Category.Monoidal.Closed
toHask	Proarrow.Category.Instance.PointedHask
toHolds	Proarrow.Category.Enriched.Thin
toHoldsComp	Proarrow.Category.Enriched.Thin.Composition
toIndex	Proarrow.Category.Enriched.Finitary
toInt	Proarrow.Category.Instance.IntConstruction
toLeft	Proarrow.Squares
toLensVL	Proarrow.Optic.Lens
toList
1 (Function)	Proarrow.Category.Instance.FinHask
2 (Function)	Proarrow.Profunctor.Instance.Fix
toMatrix	Proarrow.Category.Instance.ZX
toOpLens	Proarrow.Optic.Prism
toOptic	Proarrow.Squares
Top
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
toPIso	Proarrow.Optic.Iso
toPTracer	Proarrow.Optic.Tracer
toPTraversal	Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow
toPTraversalFull	Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow
toRight	Proarrow.Squares
Total	Proarrow.Category.Instance.Rel
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
Tracer	Proarrow.Optic.Tracer, Proarrow.Optics, Proarrow
tracer	Proarrow.Optic.Tracer, Proarrow.Optics, Proarrow
Tracer'	Proarrow.Optic.Tracer, Proarrow.Optics, Proarrow
TracerFl	Proarrow.Optic.Tracer
tracerOf	Proarrow.Optic.Tracer, Proarrow.Optics, Proarrow
tracerP	Proarrow.Optic.Tracer
Transitive	Proarrow.Category.Instance.Rel
transpose	Proarrow.Category.Instance.ZX
trav	Proarrow.Profunctor.Instance.Fold
TravAction	Proarrow.Category.Monoidal.Endo
TravAction'	Proarrow.Category.Monoidal.Endo
Traversable	Proarrow.Category.Monoidal.Distributive
Traversal	Proarrow.Optic.Traversal, Proarrow.Optics, Proarrow
traversal	Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow
Traversal'	Proarrow.Optic.Traversal, Proarrow.Optics, Proarrow
traverse	Proarrow.Category.Monoidal.Distributive
traversed	Proarrow.Optic.Traversal, Proarrow.Optics, Proarrow
traverseOf	Proarrow.Optic.Traversal, Proarrow.Optics, Proarrow
traverseWriter	Proarrow.Promonad.Writer
TravFl	Proarrow.Optic.Traversal
travP	Proarrow.Optic.Traversal
TravSub	Proarrow.Category.Monoidal.Endo
TRU	Proarrow.Category.Instance.Bool
Tru	Proarrow.Category.Instance.Bool
true	Proarrow.Category.Topos
TT	Proarrow.Category.Instance.Bool
Type	Proarrow.Category.Instance.Hask