proarrow-0: Category theory with a central role for profunctors (Index - R)

proarrow-0: Category theory with a central role for profunctors

Index - R

R
1 (Type/Class)	Proarrow.Category.Monoidal.Rev
2 (Data Constructor)	Proarrow.Category.Instance.Coproduct
Ran
1 (Data Constructor)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Category.Bicategory.Kan
3 (Type/Class)	Proarrow.Profunctor.Ran
4 (Data Constructor)	Proarrow.Profunctor.Ran
ran	Proarrow.Category.Bicategory.Kan
ranCompose	Proarrow.Profunctor.Ran
ranComposeInv	Proarrow.Profunctor.Ran
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
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
Representable	Proarrow.Profunctor.Representable
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
riftCompose	Proarrow.Profunctor.Rift
riftComposeInv	Proarrow.Profunctor.Rift
riftUniv	Proarrow.Category.Bicategory.Kan
right	Proarrow.Object.BinaryCoproduct
rightAction	Proarrow.Category.Bicategory
rightAdjunct	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'	Proarrow.Category.Instance.Simplex
rightUnitorInv
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
rightUnitorInv'	Proarrow.Category.Instance.Simplex
rightUnitorProd	Proarrow.Object.BinaryProduct
rightUnitorProdInv	Proarrow.Object.BinaryProduct
rmap	Proarrow.Core, Proarrow.Profunctor, Proarrow
runRan
1 (Function)	Proarrow.Category.Bicategory.Kan
2 (Function)	Proarrow.Profunctor.Ran
runRift	Proarrow.Profunctor.Rift