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.Monoidal.Rev
2 (Type/Class)	Proarrow.Category.Instance.Collage, Proarrow.Category.Instance.Coproduct
Ran
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Data Constructor)	Proarrow.Category.Instance.Nat
3 (Type/Class)	Proarrow.Profunctor.Ran
4 (Data Constructor)	Proarrow.Profunctor.Ran
ran	Proarrow.Category.Bicategory.Kan
ranAlongConjoint	Proarrow.Category.Bicategory.Kan
ranAlongConjointInv	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
RCat	Proarrow.Category.Monoidal.Optic
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
reparam	Proarrow.Category.Equipment.Quintet
RepCostar
1 (Type/Class)	Proarrow.Profunctor.Representable
2 (Data Constructor)	Proarrow.Profunctor.Representable
Replace	Proarrow.Category.Monoidal.Optic
Replacing	Proarrow.Category.Monoidal.Optic
Replicate
1 (Type/Class)	Proarrow.Category.Instance.Simplex
2 (Data Constructor)	Proarrow.Category.Instance.Simplex
repMap	Proarrow.Profunctor.Representable
repObj	Proarrow.Profunctor.Representable
Representable	Proarrow.Profunctor.Representable
RepStar
1 (Type/Class)	Proarrow.Profunctor.Representable
2 (Data Constructor)	Proarrow.Profunctor.Representable
Retract	Proarrow.Profunctor.Free
retract	Proarrow.Profunctor.Free
retract'	Proarrow.Profunctor.Free
retractAp	Proarrow.Profunctor.Free
retractK	Proarrow.Profunctor.Free
RetroSq
1 (Type/Class)	Proarrow.Category.Equipment
2 (Data Constructor)	Proarrow.Category.Equipment
REV	Proarrow.Category.Monoidal.Rev
Rev
1 (Type/Class)	Proarrow.Category.Monoidal.Rev
2 (Data Constructor)	Proarrow.Category.Monoidal.Rev
Rewrite	Proarrow.Category.Instance.Free
rewriteAfterCons	Proarrow.Category.Instance.Free
rgt	Proarrow.Object.BinaryCoproduct
rgt'	Proarrow.Object.BinaryCoproduct
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
riftAlongCompanion	Proarrow.Category.Bicategory.Kan
riftAlongCompanionInv	Proarrow.Category.Bicategory.Kan
riftCompose	Proarrow.Profunctor.Rift
riftComposeInv	Proarrow.Profunctor.Rift
riftMonadEta	Proarrow.Category.Bicategory.Kan
riftMonadMu	Proarrow.Category.Bicategory.Kan
riftUniv	Proarrow.Category.Bicategory.Kan
right
1 (Function)	Proarrow.Object.BinaryCoproduct
2 (Function)	Proarrow.Helper.CCC
right'	Proarrow.Object.BinaryCoproduct
rightAction	Proarrow.Category.Bicategory
rightAdjointPreservesLimits
1 (Function)	Proarrow.Category.Limit
2 (Function)	Proarrow.Squares.Limit
rightAdjointPreservesLimitsInv
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Limit
3 (Function)	Proarrow.Squares.Limit
rightAdjunct
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Adjunction, Proarrow
RightKanExtension	Proarrow.Category.Bicategory.Kan
RightKanLift	Proarrow.Category.Bicategory.Kan
rightUnitor
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
rightUnitor'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
rightUnitorInv
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
rightUnitorInv'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
rightUnitorInvWith	Proarrow.Category.Bicategory
rightUnitorProd	Proarrow.Object.BinaryProduct
rightUnitorProdInv	Proarrow.Object.BinaryProduct
rightUnitorWith	Proarrow.Category.Bicategory
rmap	Proarrow.Core, Proarrow.Profunctor, Proarrow
runKleisli	Proarrow.Category.Instance.Kleisli
runRan
1 (Function)	Proarrow.Category.Instance.Nat
2 (Function)	Proarrow.Profunctor.Ran
runRift	Proarrow.Profunctor.Rift