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

u1Optic	Proarrow.Category.Monoidal.Optic
UN	Proarrow.Core
unAp	Proarrow.Category.Instance.Ap
unArr	Proarrow.Profunctor.Instance.Arrow
unAsLeftAdjoint	Proarrow.Universal, Proarrow
unAsRightAdjoint	Proarrow.Universal, Proarrow
unClassify	Proarrow.Category.Monoidal.Optic
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
unCorepStar	Proarrow.Profunctor.Representable
unCostar	Proarrow.Profunctor.Instance.Costar
unCoyoneda	Proarrow.Profunctor.Instance.Coyoneda
Uncurry
1 (Type/Class)	Proarrow.Category.Instance.CatProf
2 (Data Constructor)	Proarrow.Category.Instance.CatProf
uncurry	Proarrow.Category.Monoidal.Closed
uncurryS	Proarrow.Category.Monoidal.Closed
uncurryS'	Proarrow.Category.Monoidal.Closed
underlying	Proarrow.Category.Enriched
underlyingPt	Proarrow.Category.Instance.PointedHask
underlyingSelf	Proarrow.Category.Enriched
undown	Proarrow.Category.Instance.Duploid
unEnd	Proarrow.Limit
unEntails	Proarrow.Category.Instance.Constraint
unExp	Proarrow.Category.Instance.FinSet
unFin	Proarrow.Tools.Diagrams.Dot
unFinRel	Proarrow.Category.Instance.FinRel
unFinSet	Proarrow.Category.Instance.FinSet
unFlipApp	Proarrow.Squares
unflipCorep	Proarrow.Profunctor.Representable
unflipRep	Proarrow.Profunctor.Representable
unfoldMap	Proarrow.Profunctor.Cofree
unFromAdjunction	Proarrow.Universal, Proarrow
unFromPointed	Proarrow.Category.Instance.PointedHask
unFromProd	Proarrow.Limit.BinaryProduct
unFromProfunctor	Proarrow.Functor, Proarrow
UNFUN	Proarrow.Category.Bicategory.Prof
unHomK	Proarrow.Category.Bicategory.Hom
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.Bicategory
2 (Function)	Proarrow.Category.Bicategory.Relative
3 (Function)	Proarrow.Category.Instance.Linear
4 (Function)	Proarrow.Adjunction
5 (Function)	Proarrow.Squares
6 (Function)	Proarrow.Squares.Relative
unitAdj	Proarrow.Tools.Diagrams.Dot
UnitF	Proarrow.Category.Instance.Free
unitIso	Proarrow.Adjunction
unitObj	Proarrow.Category.Monoidal
unitor	Proarrow.Category.Monoidal.Action
unitorInv	Proarrow.Category.Monoidal.Action
unitQuest	Proarrow.Category.Instance.Linear
UnitRep	Proarrow.Category.Monoidal
unitRep	Proarrow.Adjunction
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
unpar0Corep	Proarrow.Category.Monoidal
unpar0Rep	Proarrow.Category.Monoidal
unparCorep	Proarrow.Category.Monoidal
unparRep	Proarrow.Category.Monoidal
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
unPreview	Proarrow.Category.Monoidal.Optic
unProd	Proarrow.Limit.BinaryProduct
unProf
1 (Function)	Proarrow.Category.Instance.Prof
2 (Function)	Proarrow.Category.Bicategory.Prof
unPt	Proarrow.Category.Instance.PointedHask
unRan	Proarrow.Profunctor.Instance.Ran
unRe	Proarrow.Optic
unRep	Proarrow.Profunctor.Representable
unRepCostar	Proarrow.Profunctor.Representable
unReplace	Proarrow.Category.Monoidal.Optic
unRift	Proarrow.Profunctor.Instance.Rift
unsafeLinear	Proarrow.Category.Instance.Linear
unStar	Proarrow.Profunctor.Instance.Star
unStr
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
unSub	Proarrow.Category.Instance.Sub
untambara	Proarrow.Profunctor.Instance.PastroTambara
unTensor	Proarrow.Category.Promonoidal
unUnOp	Proarrow.Category.Instance.Opposite
unup	Proarrow.Category.Instance.Duploid
unUpdate	Proarrow.Category.Monoidal.Optic
unVec	Proarrow.Tools.Diagrams.Dot
Unweighted
1 (Type/Class)	Proarrow.Limit
2 (Type/Class)	Proarrow.Colimit
unWrapped	Proarrow.Profunctor.Instance.Wrapped
unWrappedOptic	Proarrow.Optic
unYoneda	Proarrow.Profunctor.Instance.Yoneda
Up	Proarrow.Category.Instance.Duploid
up	Proarrow.Category.Instance.Duploid
Update	Proarrow.Category.Monoidal.Optic
Updating	Proarrow.Category.Monoidal.Optic
Ur
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
urWith	Proarrow.Category.Instance.Linear