| R | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Rev |
| 2 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| Ran | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| 3 (Type/Class) | Proarrow.Profunctor.Instance.Ran |
| 4 (Data Constructor) | Proarrow.Profunctor.Instance.Ran |
| ranCompose | Proarrow.Profunctor.Instance.Ran |
| ranComposeInv | Proarrow.Profunctor.Instance.Ran |
| ranHom | Proarrow.Profunctor.Instance.Ran |
| ranHomInv | Proarrow.Profunctor.Instance.Ran |
| ranUniv | Proarrow.Profunctor.Instance.Ran |
| RCons | Proarrow.Category.Enriched.Thin.Composition |
| Re | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Data Constructor) | Proarrow.Optic |
| re | Proarrow.Optic, Proarrow.Optics, Proarrow |
| 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 |
| Rebracket | Proarrow.Tools.Diagrams.Svg |
| rebracket | Proarrow.Tools.Diagrams.Svg |
| rebracketed | Proarrow.Tools.Diagrams.Svg |
| rec1Optic | Proarrow.Optic.MonoidalTraversal |
| Refl | Proarrow.Category.Instance.Discrete |
| Reflexive | Proarrow.Category.Instance.Rel |
| reifyExp | Proarrow.Category.Instance.Constraint |
| reifyList | Proarrow.Category.Instance.FinHask |
| Reindex | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Finitary.Topos |
| 2 (Data Constructor) | Proarrow.Category.Enriched.Finitary.Topos |
| relabel | Proarrow.Tools.Diagrams.Svg |
| RelAlgebra | Proarrow.Promonad |
| Relation | Proarrow.Category.Instance.Rel |
| RelativeComonad | Proarrow.Promonad |
| RelativeMonad | Proarrow.Promonad |
| relax | Proarrow.Tools.Diagrams.Dot |
| relBind | Proarrow.Promonad |
| RelCoalgebra | Proarrow.Promonad |
| relExtend | Proarrow.Promonad |
| relExtract | Proarrow.Promonad |
| relReturn | Proarrow.Promonad |
| render | Proarrow.Tools.Diagrams.Svg |
| renderEquation | Proarrow.Tools.Diagrams.Svg |
| renderEquationWith | Proarrow.Tools.Diagrams.Svg |
| renderWith | Proarrow.Tools.Diagrams.Svg |
| REP | Proarrow.Category.Instance.Rep |
| Rep | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable, Proarrow |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable, Proarrow |
| rep | Proarrow.Profunctor.Representable |
| RepAction | Proarrow.Category.Monoidal.EndoProf |
| RepAction' | Proarrow.Category.Monoidal.EndoProf |
| repArr | Proarrow.Category.Instance.Rep |
| RepCostar | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable |
| RepF | Proarrow.Testing.Laws.Run |
| REPK | Proarrow.Category.Instance.Rep |
| Replicate | Proarrow.Category.Instance.Simplex |
| repMap | Proarrow.Profunctor.Representable, Proarrow |
| repObj | Proarrow.Profunctor.Representable |
| Representable | Proarrow.Profunctor.Representable, Proarrow |
| RepresentableCopresheaf | Proarrow.Profunctor.Corepresentable |
| RepresentablePresheaf | Proarrow.Profunctor.Representable |
| RepresentedBy | Proarrow.Testing.Laws.Run |
| RepresentedW | Proarrow.Testing.Laws.Run |
| reprIsFunctional | Proarrow.Category.Instance.Rel |
| reprIsTotal | Proarrow.Category.Instance.Rel |
| RepSub | Proarrow.Category.Monoidal.EndoProf |
| repTraverse | Proarrow.Category.Monoidal.Distributive |
| repUniv | Proarrow.Profunctor.Representable, Proarrow |
| restrictTo | Proarrow.Category.Enriched.Finitary.Sheaf |
| Retabulation | Proarrow.Category.Enriched.Finitary.Topos |
| Retract | Proarrow.Profunctor.Free |
| retract | |
| 1 (Function) | Proarrow.Category.Instance.Free |
| 2 (Function) | Proarrow.Profunctor.Free |
| retractAp | Proarrow.Profunctor.Free |
| retractFree | Proarrow.Category.Instance.Free |
| retractK | Proarrow.Profunctor.Free |
| return | Proarrow.Promonad, Proarrow |
| REV | Proarrow.Category.Monoidal.Rev |
| Rev | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Rev |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Rev |
| ReversibleOptic | Proarrow.Optic |
| Review | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| review | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| Rewrite | Proarrow.Category.Instance.Paths |
| rewrite | Proarrow.Category.Instance.Paths |
| Rgt | |
| 1 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Colimit.BinaryCoproduct |
| rgt | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Function) | Proarrow.Tools.CCC |
| rgt' | Proarrow.Colimit.BinaryCoproduct |
| Rift | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Rift |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Rift |
| riftAt | Proarrow.Category.Enriched.Finitary.Topos |
| riftCompose | Proarrow.Profunctor.Instance.Rift |
| riftComposeInv | Proarrow.Profunctor.Instance.Rift |
| riftHom | Proarrow.Profunctor.Instance.Rift |
| riftHomInv | Proarrow.Profunctor.Instance.Rift |
| riftUniv | Proarrow.Profunctor.Instance.Rift |
| RiftWeight | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Finitary.Topos |
| 2 (Data Constructor) | Proarrow.Category.Enriched.Finitary.Topos |
| right | Proarrow.Colimit.BinaryCoproduct |
| right' | Proarrow.Category.Monoidal.Strength |
| rightAdjointPreservesLimits | Proarrow.Adjunction |
| rightAdjointPreservesLimitsInv | Proarrow.Adjunction |
| rightAdjunct | Proarrow.Adjunction, Proarrow |
| RightFirst | Proarrow.Tools.Diagrams.Svg |
| rightInverse | Proarrow.Tools.Laws |
| RightUnitor | Proarrow.Category.Monoidal |
| rightUnitor | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal |
| rightUnitor' | Proarrow.Category.Monoidal |
| rightUnitorCoprod | Proarrow.Colimit.BinaryCoproduct |
| rightUnitorCoprodInv | Proarrow.Colimit.BinaryCoproduct |
| RightUnitorInv | Proarrow.Category.Monoidal |
| rightUnitorInv | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal |
| rightUnitorInv' | Proarrow.Category.Monoidal |
| rightUnitorInvWith | Proarrow.Category.Monoidal |
| rightUnitorIso | Proarrow.Category.Monoidal |
| rightUnitorProd | Proarrow.Limit.BinaryProduct |
| rightUnitorProdInv | Proarrow.Limit.BinaryProduct |
| rightUnitorWith | Proarrow.Category.Monoidal |
| rmap | |
| 1 (Function) | Proarrow.Core, Proarrow |
| 2 (Function) | Proarrow.Category.Enriched |
| RNil | Proarrow.Category.Enriched.Thin.Composition |
| rounded | Proarrow.Tools.Diagrams.Svg |
| Row | Proarrow.Category.Enriched.Thin.Composition |
| row | Proarrow.Category.Enriched.Thin.Composition |
| rref | Proarrow.Category.Instance.Mat |
| Rule | |
| 1 (Type/Class) | Proarrow.Tools.DPO |
| 2 (Data Constructor) | Proarrow.Tools.DPO |
| Rules | Proarrow.Category.Instance.Simplex |
| run | Proarrow.Tools.Diagrams.Dot |
| runCont | Proarrow.Promonad.Cont |
| runRan | |
| 1 (Function) | Proarrow.Category.Instance.Nat |
| 2 (Function) | Proarrow.Profunctor.Instance.Ran |
| runRanProf | Proarrow.Profunctor.Instance.Ran |
| runReaderT | Proarrow.Promonad.Reader |
| runRift | Proarrow.Profunctor.Instance.Rift |
| runRiftProf | Proarrow.Profunctor.Instance.Rift |
| runStateT | Proarrow.Promonad.State |
| runTambara | Proarrow.Profunctor.Instance.PastroTambara |
| runWriterT | Proarrow.Promonad.Writer |