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 - U

u1Optic	Proarrow.Optic.MonoidalTraversal
UN	Proarrow.Core
unArr	Proarrow.Profunctor.Instance.Arrow
unAsLeftAdjoint	Proarrow.Universal
unAsRelative	Proarrow.Promonad
unAsRightAdjoint	Proarrow.Universal
unCo	Proarrow.Profunctor.Instance.Star
unCopower	Proarrow.Category.Instance.Nat
uncopower	Proarrow.Colimit.Copower
Uncoprod
1 (Type/Class)	Proarrow.Colimit.BinaryCoproduct
2 (Data Constructor)	Proarrow.Colimit.BinaryCoproduct
unCoprod	Proarrow.Colimit.BinaryCoproduct
unCorep	Proarrow.Profunctor.Corepresentable, Proarrow
unCorepStar	Proarrow.Profunctor.Representable
unCostar	Proarrow.Profunctor.Instance.Costar
unCotravAs	Proarrow.Optic.Kaleidoscope
unCoyoneda	Proarrow.Profunctor.Instance.Coyoneda
uncurry	Proarrow.Category.Monoidal.Closed
uncurryS	Proarrow.Category.Monoidal.Closed
uncurryS'	Proarrow.Category.Monoidal.Closed
Under	Proarrow.Category.Sheaf
underlying	Proarrow.Category.Enriched
underlyingAt	Proarrow.Category.Enriched.Thin.Composition
underlyingPt	Proarrow.Category.Instance.PointedHask
underlyingSelf	Proarrow.Category.Enriched
underlyingWalk	Proarrow.Category.Enriched.Thin.Composition
undown	Proarrow.Category.Instance.Duploid
unElt	Proarrow.Category.Enriched.Finitary
unEnd	Proarrow.Limit
unEntails	Proarrow.Category.Instance.Constraint
unExp	Proarrow.Category.Instance.FinSet
unFin
1 (Function)	Proarrow.Tools.Diagrams.Dot
2 (Function)	Proarrow.Category.Instance.FinHask
unFinHask	Proarrow.Category.Instance.FinHask
unFinRel	Proarrow.Category.Instance.FinRel
unFinSet	Proarrow.Category.Instance.FinSet
unflipCorep	Proarrow.Profunctor.Representable
unflipMate	Proarrow.Adjunction
unflipRep	Proarrow.Profunctor.Representable
unfold	Proarrow.Optic.Fold, Proarrow.Optics, Proarrow
unfoldMap	Proarrow.Profunctor.Cofree
unFromAdjunction	Proarrow.Universal
unFromPointed	Proarrow.Category.Instance.PointedHask
unFromProd	Proarrow.Limit.BinaryProduct
unFromProfunctor	Proarrow.Functor
unId	Proarrow.Profunctor.Instance.Identity
Unit
1 (Type/Class)	Proarrow.Category.Instance.Unit
2 (Data Constructor)	Proarrow.Category.Instance.Unit
3 (Type/Class)	Proarrow.Category.Monoidal
4 (Data Constructor)	Proarrow.Profunctor.Free
unit
1 (Function)	Proarrow.Category.Instance.Linear
2 (Function)	Proarrow.Adjunction
3 (Function)	Proarrow.Squares
unit'	Proarrow.Adjunction
unitAdj
1 (Function)	Proarrow.Tools.Diagrams.Dot
2 (Function)	Proarrow.Tools.Diagrams.Svg
unitComonoid	Proarrow.Monoid
UnitEnd	Proarrow.Tools.Diagrams.Svg
unitEnd	Proarrow.Tools.Diagrams.Svg
UnitF	Proarrow.Category.Monoidal
unitIsNotBottom	Proarrow.Category.Enriched.Quantale
unitIso	Proarrow.Adjunction
unitIsTop	Proarrow.Category.Enriched.Quantale
unitNat	Proarrow.Squares
unitObj	Proarrow.Category.Monoidal
Unitor	Proarrow.Tools.Diagrams.Svg
unitor
1 (Function)	Proarrow.Category.Monoidal.Action
2 (Function)	Proarrow.Tools.Diagrams.Svg
unitorInv	Proarrow.Category.Monoidal.Action
unitPlus	Proarrow.Category.Enriched.Finitary.Sheaf
UnitPoint	Proarrow.Tools.Diagrams.Svg
unitQuest	Proarrow.Category.Instance.Linear
UnitRep	Proarrow.Category.Monoidal
unitRep	Proarrow.Adjunction
unitSheafify	Proarrow.Category.Enriched.Finitary.Sheaf
UnitStart	Proarrow.Tools.Diagrams.Svg
UnitToTerm	Proarrow.Category.Monoidal.Cartesian
unitToTerm	Proarrow.Category.Monoidal.Cartesian
UnitW
1 (Type/Class)	Proarrow.Optic.Traversal
2 (Data Constructor)	Proarrow.Optic.Traversal
UnitWire	Proarrow.Tools.Diagrams.Svg
unKleisli	Proarrow.Category.Instance.Kleisli
unLinear	Proarrow.Category.Instance.Linear
unMat	Proarrow.Category.Instance.Mat
unmult	Proarrow.Category.Instance.FinSet
unNat	Proarrow.Category.Instance.Nat
unNat'	Proarrow.Category.Instance.Nat
UnOp
1 (Type/Class)	Proarrow.Category.Instance.Opposite
2 (Data Constructor)	Proarrow.Category.Instance.Opposite
unOp	Proarrow.Category.Instance.Opposite
unOpOptic	Proarrow.Optic
unOptic	Proarrow.Optic
unpairIndex	Proarrow.Category.Enriched.Finitary
unpar0Corep	Proarrow.Category.Monoidal
unpar0Rep	Proarrow.Category.Monoidal
unparCorep	Proarrow.Category.Monoidal
unparRep	Proarrow.Category.Monoidal
unparRepCartesian	Proarrow.Category.Monoidal.Cartesian
unpastro	Proarrow.Profunctor.Instance.PastroTambara
unPower
1 (Function)	Proarrow.Limit.Power
2 (Function)	Proarrow.Category.Instance.Nat
unpower	Proarrow.Limit.Power
unPrelude	Proarrow.Functor, Proarrow
unProd	Proarrow.Limit.BinaryProduct
unProf	Proarrow.Category.Instance.Prof
unPt	Proarrow.Category.Instance.PointedHask
unRan	Proarrow.Profunctor.Instance.Ran
unRe	Proarrow.Optic
unRep	Proarrow.Profunctor.Representable, Proarrow
unRepCostar	Proarrow.Profunctor.Representable
unRift	Proarrow.Profunctor.Instance.Rift
unsafeLinear	Proarrow.Category.Instance.Linear
unShowP	Proarrow.Testing
unStar	Proarrow.Profunctor.Instance.Star
unStr	Proarrow.Category.Monoidal.Strictified
unSub	Proarrow.Category.Instance.Sub
untambara	Proarrow.Profunctor.Instance.PastroTambara
untangle	Proarrow.Tools.Diagrams.Svg
unTensor	Proarrow.Category.Promonoidal
Untest	Proarrow.Testing.Laws.Run
untestOb	Proarrow.Testing.Laws.Run
untestOb2	Proarrow.Testing.Laws.Run
untestOb3	Proarrow.Testing.Laws.Run
untestTestOb	Proarrow.Testing.Laws.Run
untestTestOb2	Proarrow.Testing.Laws.Run
unto	Proarrow.Optic.Getter, Proarrow.Optics, Proarrow
unUnOp	Proarrow.Category.Instance.Opposite
unup	Proarrow.Category.Instance.Duploid
unVec	Proarrow.Tools.Diagrams.Dot
unWrapped	Proarrow.Profunctor.Instance.Wrapped
unwrapRep	Proarrow.Optic.Kaleidoscope
unYoneda	Proarrow.Profunctor.Instance.Yoneda
Up	Proarrow.Category.Instance.Duploid
up	Proarrow.Category.Instance.Duploid
Ur
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
urWith	Proarrow.Category.Instance.Linear