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
Re
1 (Type/Class)	Proarrow.Optic
2 (Data Constructor)	Proarrow.Optic
re	Proarrow.Optic
Reader
1 (Type/Class)	Proarrow.Promonad.Reader
2 (Data Constructor)	Proarrow.Promonad.Reader
readerComp	Proarrow.Promonad.Reader
readerDay	Proarrow.Promonad.Reader
ReaderT
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
rec1Optic	Proarrow.Category.Monoidal.Optic
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.Rep
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
REPK	Proarrow.Category.Instance.Rep
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
RepresentableCopresheaf	Proarrow.Profunctor.Corepresentable
RepresentablePresheaf	Proarrow.Profunctor.Representable
reprIsFunctional	Proarrow.Category.Instance.Rel
reprIsTotal	Proarrow.Category.Instance.Rel
RepRL	Proarrow.Category.Bicategory.Adj
repTraverse	Proarrow.Category.Monoidal.Distributive
Retract	Proarrow.Profunctor.Free
retract
1 (Function)	Proarrow.Category.Instance.Free
2 (Function)	Proarrow.Profunctor.Free
retractAp	Proarrow.Profunctor.Free
retractFreePromonad	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.Instance.Free
rightUnitor
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitor'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitorCoprod	Proarrow.Object.BinaryCoproduct
rightUnitorCoprodInv	Proarrow.Object.BinaryCoproduct
RightUnitorInv	Proarrow.Category.Instance.Free
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
rightUnitorIso	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
runReaderT	Proarrow.Promonad.Reader
runRift	Proarrow.Profunctor.Rift
runRiftProf	Proarrow.Profunctor.Rift
runStateT	Proarrow.Promonad.State
runWriterT	Proarrow.Promonad.Writer