| Absorb | Proarrow.Tools.Diagrams.Svg |
| AbsorbL | Proarrow.Category.Monoidal.Distributive |
| absorbL | Proarrow.Category.Monoidal.Distributive |
| AbsorbR | Proarrow.Category.Monoidal.Distributive |
| absorbR | Proarrow.Category.Monoidal.Distributive |
| Absurd | Proarrow.Category.Instance.Zero |
| absurdL | Proarrow.Category.Instance.Ordinal |
| absurdR | Proarrow.Category.Instance.Ordinal |
| Act | Proarrow.Category.Monoidal.Action |
| act | Proarrow.Category.Monoidal.Strength |
| ActFl | Proarrow.Optic.Action |
| actHom | Proarrow.Category.Monoidal.Action |
| Action | Proarrow.Squares |
| ActionAt | Proarrow.Category.Monoidal.Action |
| ActionOptic | Proarrow.Squares |
| add | Proarrow.Colimit.NaturalNumbers |
| Adj | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Adj |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Adj |
| AdjComonad | Proarrow.Adjunction |
| adjFromConverse | Proarrow.Category.Instance.Rel |
| AdjMonad | Proarrow.Adjunction |
| AdjointEquivalence | Proarrow.Adjunction |
| adjToConverse | Proarrow.Category.Instance.Rel |
| adjuncted | Proarrow.Adjunction |
| Adjunction | Proarrow.Adjunction, Proarrow |
| AffineFold | Proarrow.Optic.AffineFold, Proarrow.Optics, Proarrow |
| AffineFoldFl | Proarrow.Optic.AffineFold |
| affineMatch | Proarrow.Optic.AffineTraversal |
| affineSet | Proarrow.Optic.AffineTraversal |
| AffineTraversal | Proarrow.Optic.AffineTraversal, Proarrow.Optics, Proarrow |
| affineTraversal | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| AffineTraversal' | Proarrow.Optic.AffineTraversal, Proarrow.Optics, Proarrow |
| AffineTravFl | Proarrow.Optic.AffineTraversal |
| Algebra | Proarrow.Optic.Action, Proarrow.Optics, Proarrow |
| algebra | Proarrow.Optic.Action, Proarrow.Optics, Proarrow |
| AlgebraicLens | Proarrow.Optic.Action, Proarrow.Optics, Proarrow |
| algebraicLens | Proarrow.Optic.Action, Proarrow.Optics, Proarrow |
| AlgLensFl | Proarrow.Optic.Action |
| Align | Proarrow.Category.Instance.PointedHask |
| alignWith | Proarrow.Category.Instance.PointedHask |
| All | Proarrow.Category.Instance.Free |
| Along | Proarrow.Category.Sheaf |
| AlreadyFactors | Proarrow.Category.Sheaf |
| alt | Proarrow.Category.Monoidal.Applicative |
| Alternative | Proarrow.Category.Monoidal.Applicative |
| Ambidextrous | Proarrow.Adjunction |
| AmbidextrousEqCorep | Proarrow.Adjunction |
| AmbidextrousEqRep | Proarrow.Adjunction |
| ana | Proarrow.Profunctor.Instance.Fix |
| and | Proarrow.Category.Topos |
| answer | Proarrow.Promonad.Reader |
| Any | Proarrow.Core |
| anyArr | |
| 1 (Function) | Proarrow.Category.Enriched.Thin |
| 2 (Function) | Proarrow.Category.Instance.Discrete |
| AnyColimit | |
| 1 (Type/Class) | Proarrow.Colimit |
| 2 (Data Constructor) | Proarrow.Colimit |
| AnyLimit | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Data Constructor) | Proarrow.Limit |
| Ap | Proarrow.Profunctor.Free |
| ap | |
| 1 (Function) | Proarrow.Category.Monoidal.Cartesian |
| 2 (Function) | Proarrow.Category.Monoidal.Applicative |
| Apex | Proarrow.Profunctor.Instance.Cone |
| App | Proarrow.Category.Instance.Mat |
| app | |
| 1 (Function) | Proarrow.Category.Instance.Mat |
| 2 (Function) | Proarrow.Testing.Laws.Run |
| appendPath | Proarrow.Path |
| Applicative | Proarrow.Category.Monoidal.Applicative |
| Apply | Proarrow.Category.Monoidal.Closed |
| apply | Proarrow.Category.Monoidal.Closed |
| ApplyAction | Proarrow.Category.Instance.Nat |
| ApplyAction' | Proarrow.Category.Instance.Nat |
| applyFunP | Proarrow.Testing |
| applyHG | Proarrow.Category.Monoidal.Hypergraph |
| applyPair | Proarrow.Tools.CCC |
| applyS | Proarrow.Category.Monoidal.Closed |
| applySA | Proarrow.Category.Monoidal.StarAutonomous |
| applySel | Proarrow.Optic.Glass |
| apps | Proarrow.Testing.Laws.Run |
| Arr | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Arrow |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Arrow |
| 3 (Data Constructor) | Proarrow.Category.Instance.Discrete |
| arr | |
| 1 (Function) | Proarrow.Core |
| 2 (Function) | Proarrow.Category.Enriched.Thin |
| 3 (Function) | Proarrow.Category.Instance.Span |
| 4 (Function) | Proarrow.Category.Instance.Cospan |
| 5 (Function) | Proarrow.Category.Instance.FinHask |
| 6 (Function) | Proarrow.Category.Instance.Kleisli |
| 7 (Function) | Proarrow.Category.Instance.Mat |
| 8 (Function) | Proarrow.Category.Instance.FinRel |
| arr' | |
| 1 (Function) | Proarrow.Category.Enriched.Thin |
| 2 (Function) | Proarrow.Category.Instance.Mat |
| arrComp | Proarrow.Category.Enriched.Thin.Composition |
| arrCoprod | Proarrow.Category.Instance.Collage |
| ArrIx | |
| 1 (Type/Class) | Proarrow.Category.Internal |
| 2 (Data Constructor) | Proarrow.Category.Internal |
| ARROW | |
| 1 (Type/Class) | Proarrow.Category.Instance.Sub |
| 2 (Type/Class) | Proarrow.Category.Instance.Graph |
| ArrowBox | Proarrow.Tools.Diagrams.Svg |
| ArrowEquation | Proarrow.Tools.Laws |
| arrowIsBottomProof | Proarrow.Category.Enriched.Thin |
| ArrowIsId | Proarrow.Category.Enriched.Thin |
| arrowIsIdProof | Proarrow.Category.Enriched.Thin |
| arrowSlot | Proarrow.Category.Enriched.Finitary.Topos |
| arrPos | Proarrow.Category.Internal |
| arrSrc | Proarrow.Category.Internal |
| arrTgt | Proarrow.Category.Internal |
| asCocat | Proarrow.Category.Instance.Linear |
| asImplication | Proarrow.Category.Instance.Rel |
| ask | Proarrow.Promonad.Reader |
| AsLeftAdjoint | |
| 1 (Type/Class) | Proarrow.Universal |
| 2 (Data Constructor) | Proarrow.Universal |
| AsPresheaf | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fam |
| 2 (Data Constructor) | Proarrow.Category.Instance.Fam |
| AsRelative | |
| 1 (Type/Class) | Proarrow.Promonad |
| 2 (Data Constructor) | Proarrow.Promonad |
| AsRightAdjoint | |
| 1 (Type/Class) | Proarrow.Universal |
| 2 (Data Constructor) | Proarrow.Universal |
| Assoc | Proarrow.Path |
| Associator | Proarrow.Category.Monoidal |
| associator | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal |
| associator' | Proarrow.Category.Monoidal |
| associatorCoprod | Proarrow.Colimit.BinaryCoproduct |
| associatorCoprodInv | Proarrow.Colimit.BinaryCoproduct |
| associatorDefault | Proarrow.Category.Monoidal |
| AssociatorInv | Proarrow.Category.Monoidal |
| associatorInv | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal |
| associatorInv' | Proarrow.Category.Monoidal |
| associatorIso | Proarrow.Category.Monoidal |
| associatorProd | Proarrow.Limit.BinaryProduct |
| associatorProdInv | Proarrow.Limit.BinaryProduct |
| At | Proarrow.Category.Enriched.Thin |
| at | Proarrow.Category.Instance.Mat |
| AtJust | Proarrow.Category.Enriched.Thin |
| AtLeft | Proarrow.Category.Sheaf |
| atNatKey | Proarrow.Category.Enriched.Finitary.Topos |
| AtNothing | Proarrow.Category.Enriched.Thin |
| AtOb | Proarrow.Category.Enriched.Thin |
| atOb | Proarrow.Category.Enriched.Thin |
| atom | Proarrow.Testing.Laws.Run |
| Atomic | Proarrow.Category.Sheaf |
| AtRight | Proarrow.Category.Sheaf |