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

R
1 (Type/Class)	Proarrow.Category.Instance.Coproduct
2 (Type/Class)	Proarrow.Category.Instance.Collage
3 (Type/Class)	Proarrow.Category.Monoidal.Rev
4 (Type/Class)	Proarrow.Category.Bicategory.Adj
5 (Type/Class)	Proarrow.Universal, Proarrow, Proarrow
Ran
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Category.Instance.Nat
3 (Data Constructor)	Proarrow.Category.Instance.Nat
4 (Type/Class)	Proarrow.Profunctor.Ran
5 (Data Constructor)	Proarrow.Profunctor.Ran
ran	Proarrow.Category.Bicategory.Kan
ranAlongRightAdjoint	Proarrow.Category.Bicategory.Kan
ranAlongRightAdjointInv	Proarrow.Category.Bicategory.Kan
ranCompose	Proarrow.Profunctor.Ran
ranComposeInv	Proarrow.Profunctor.Ran
ranHom	Proarrow.Profunctor.Ran
ranHomInv	Proarrow.Profunctor.Ran
ranMonadEta	Proarrow.Category.Bicategory.Kan
ranMonadMu	Proarrow.Category.Bicategory.Kan
ranUniv	Proarrow.Category.Bicategory.Kan
Reader
1 (Type/Class)	Proarrow.Promonad.Reader
2 (Data Constructor)	Proarrow.Promonad.Reader
rebaseLan	Proarrow.Category.Bicategory.Kan
rebaseLift	Proarrow.Category.Bicategory.Kan
rebaseRan	Proarrow.Category.Bicategory.Kan
rebaseRift	Proarrow.Category.Bicategory.Kan
Refl	Proarrow.Category.Instance.Discrete
Reflexive	Proarrow.Category.Instance.Rel
reifyExp	Proarrow.Category.Instance.Constraint
Relation	Proarrow.Category.Instance.Rel
relax	Proarrow.Tools.Diagrams.Dot
REP	Proarrow.Category.Instance.Sub
Rep
1 (Type/Class)	Proarrow.Profunctor.Representable
2 (Data Constructor)	Proarrow.Profunctor.Representable
rep	Proarrow.Profunctor.Representable
RepCostar
1 (Type/Class)	Proarrow.Profunctor.Representable
2 (Data Constructor)	Proarrow.Profunctor.Representable
repeat	Proarrow.Category.Instance.Mat
REPK	Proarrow.Category.Instance.Sub
Replace	Proarrow.Category.Monoidal.Optic
Replacing	Proarrow.Category.Monoidal.Optic
Replicate	Proarrow.Category.Instance.Simplex
RepLR	Proarrow.Category.Bicategory.Adj
repMap	Proarrow.Profunctor.Representable
repObj	Proarrow.Profunctor.Representable
Representable	Proarrow.Profunctor.Representable
reprIsFunctional	Proarrow.Category.Instance.Rel
reprIsTotal	Proarrow.Category.Instance.Rel
RepRL	Proarrow.Category.Bicategory.Adj
Retract	Proarrow.Profunctor.Free
retract
1 (Function)	Proarrow.Category.Instance.Free
2 (Function)	Proarrow.Profunctor.Free
retract'	Proarrow.Profunctor.Free
retractAp	Proarrow.Profunctor.Free
retractK	Proarrow.Profunctor.Free
return	Proarrow.Profunctor.Representable
REV	Proarrow.Category.Monoidal.Rev
Rev
1 (Type/Class)	Proarrow.Category.Monoidal.Rev
2 (Data Constructor)	Proarrow.Category.Monoidal.Rev
review	Proarrow.Profunctor.Constant
Rgt
1 (Data Constructor)	Proarrow.Object.BinaryCoproduct
2 (Data Constructor)	Proarrow.Tools.CCC
rgt	Proarrow.Object.BinaryCoproduct
rgt'	Proarrow.Object.BinaryCoproduct
RgtCat	Proarrow.Category.Instance.Fam
Rift
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Profunctor.Rift
3 (Data Constructor)	Proarrow.Profunctor.Rift
rift	Proarrow.Category.Bicategory.Kan
riftAlongLeftAdjoint	Proarrow.Category.Bicategory.Kan
riftAlongLeftAdjointInv	Proarrow.Category.Bicategory.Kan
riftCompose	Proarrow.Profunctor.Rift
riftComposeInv	Proarrow.Profunctor.Rift
riftHom	Proarrow.Profunctor.Rift
riftHomInv	Proarrow.Profunctor.Rift
riftMonadEta	Proarrow.Category.Bicategory.Kan
riftMonadMu	Proarrow.Category.Bicategory.Kan
riftUniv	Proarrow.Category.Bicategory.Kan
right	Proarrow.Object.BinaryCoproduct
right'	Proarrow.Object.BinaryCoproduct
rightAction	Proarrow.Category.Bicategory
rightAdjointPreservesLimits
1 (Function)	Proarrow.Adjunction
2 (Function)	Proarrow.Squares.Limit
rightAdjointPreservesLimitsInv
1 (Function)	Proarrow.Adjunction
2 (Function)	Proarrow.Squares.Limit
rightAdjunct
1 (Function)	Proarrow.Adjunction
2 (Function)	Proarrow.Squares.Relative
RightKanExtension	Proarrow.Category.Bicategory.Kan
RightKanLift	Proarrow.Category.Bicategory.Kan
RightUnitor	Proarrow.Category.Monoidal
rightUnitor
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitor'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
RightUnitorInv	Proarrow.Category.Monoidal
rightUnitorInv
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitorInv'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitorInvWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitorProd	Proarrow.Object.BinaryProduct
rightUnitorProdInv	Proarrow.Object.BinaryProduct
rightUnitorWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rmap
1 (Function)	Proarrow.Core, Proarrow.Profunctor, Proarrow
2 (Function)	Proarrow.Category.Enriched
Rules	Proarrow.Category.Instance.Simplex
run
1 (Function)	Proarrow.Category.Bicategory.Kan
2 (Function)	Proarrow.Tools.Diagrams.Dot
runCont	Proarrow.Promonad.Cont
runRan
1 (Function)	Proarrow.Category.Instance.Nat
2 (Function)	Proarrow.Profunctor.Ran
runRanProf	Proarrow.Profunctor.Ran
runRift	Proarrow.Profunctor.Rift
runRiftProf	Proarrow.Profunctor.Rift