| ! | |
| 1 (Function) | Proarrow.Category.Instance.Sub |
| 2 (Function) | Proarrow.Tools.Diagrams.Dot |
| 3 (Function) | Proarrow.Category.Instance.FinHask |
| 4 (Function) | Proarrow.Category.Instance.Nat |
| !~> | Proarrow.Category.Instance.Linear |
| # | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| $ | |
| 1 (Function) | Proarrow.Core |
| 2 (Function) | Proarrow.Tools.CCC |
| % | |
| 1 (Function) | Proarrow.Optic, Proarrow.Optics, Proarrow |
| 2 (Type/Class) | Proarrow.Profunctor.Representable, Proarrow |
| %% | Proarrow.Profunctor.Corepresentable, Proarrow |
| %~ | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| && | Proarrow.Limit.BinaryProduct |
| &&& | |
| 1 (Function) | Proarrow.Limit.BinaryProduct |
| 2 (Function) | Proarrow.Category.Monoidal.CopyDiscard |
| * | Proarrow.Category.Instance.Mat |
| *! | Proarrow.Limit.BinaryProduct |
| ** | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Monoidal |
| **! | Proarrow.Category.Monoidal |
| *** | Proarrow.Limit.BinaryProduct |
| *. | Proarrow.Colimit.Copower |
| + | |
| 1 (Type/Class) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 3 (Type/Class) | Proarrow.Category.Instance.Mat |
| ++ | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| +++ | |
| 1 (Type/Class) | Proarrow.Path |
| 2 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 3 (Function) | Proarrow.Tools.Diagrams.Dot |
| +-> | Proarrow.Core, Proarrow |
| --> | Proarrow.Category.Monoidal.Closed |
| . | Proarrow.Core, Proarrow.Promonad, Proarrow |
| .-> | Proarrow.Category.Instance.Nat |
| .? | Proarrow.Optic.Action, Proarrow.Optics, Proarrow |
| .~ | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| .~> | Proarrow.Functor, Proarrow |
| // | Proarrow.Core, Proarrow |
| :& | |
| 1 (Data Constructor) | Proarrow.Tools.CCC |
| 2 (Data Constructor) | Proarrow.Testing.Laws.Run |
| :&&: | Proarrow.Core |
| :**: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Data Constructor) | Proarrow.Category.Instance.Product |
| :*.: | |
| 1 (Type/Class) | Proarrow.Colimit.Copower |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| :*: | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Product |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Product |
| :++: | Proarrow.Category.Instance.Coproduct |
| :+: | Proarrow.Profunctor.Instance.Coproduct |
| :- | Proarrow.Category.Instance.Constraint |
| :.: | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Composition |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Composition |
| ::: | Proarrow.Path |
| :=: | Proarrow.Tools.Laws |
| :=> | Proarrow.Category.Instance.Constraint |
| :^: | |
| 1 (Type/Class) | Proarrow.Limit.Power |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| :~> | Proarrow.Core, Proarrow |
| :~>: | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Exponential |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| <=> | Proarrow.Category.Enriched.Thin |
| <| | Proarrow.Profunctor.Instance.Rift |
| <~~ | Proarrow.Category.Monoidal.Coclosed |
| =:= | Proarrow.Tools.Laws |
| == | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| === | |
| 1 (Function) | Proarrow.Tools.Laws |
| 2 (Function) | Proarrow.Squares |
| @ | Proarrow.Functor, Proarrow |
| 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 |
| bandHeight | Proarrow.Tools.Diagrams.Svg |
| baseTraverse | Proarrow.Category.Monoidal.Distributive |
| Bend | Proarrow.Tools.Diagrams.Svg |
| bend | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| BendKind | Proarrow.Tools.Diagrams.Svg |
| bendRadius | Proarrow.Tools.Diagrams.Svg |
| Beside | |
| 1 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| 2 (Type/Class) | Proarrow.Optic.Traversal |
| BesideSum | Proarrow.Optic.Traversal |
| best | Proarrow.Category.Enriched.Thin.Composition |
| Bicartesian | Proarrow.Category.Monoidal.Cartesian |
| BiCCC | Proarrow.Category.Monoidal.Cartesian |
| BiCCCStructs | Proarrow.Tools.CCC |
| Bijection | |
| 1 (Type/Class) | Proarrow.Tools.Laws |
| 2 (Data Constructor) | Proarrow.Tools.Laws |
| bijection | Proarrow.Tools.Laws |
| BijectionBody | Proarrow.Tools.Laws |
| bimap | Proarrow.Category.Instance.Nat |
| bind | Proarrow.Promonad, Proarrow |
| bindRep | Proarrow.Adjunction |
| bit | Proarrow.Category.Instance.FinRel |
| Bitstring | |
| 1 (Type/Class) | Proarrow.Category.Instance.ZX |
| 2 (Type/Class) | Proarrow.Category.Instance.FinRel |
| BOOL | Proarrow.Category.Instance.Bool |
| Booleans | Proarrow.Category.Instance.Bool |
| boolId | Proarrow.Category.Instance.Bool |
| BoolLeq | Proarrow.Category.Instance.Bool |
| Bottom | Proarrow.Category.Instance.Zero |
| bottomTensor | Proarrow.Category.Enriched.Quantale |
| Boundary | Proarrow.Tools.Diagrams.Svg |
| boundaryBands | Proarrow.Tools.Diagrams.Svg |
| Box | |
| 1 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| boxHeight | Proarrow.Tools.Diagrams.Svg |
| BoxKind | Proarrow.Tools.Diagrams.Svg |
| Bracket | Proarrow.Tools.Diagrams.Svg |
| branch | Proarrow.Category.Monoidal.Distributive |
| BS | |
| 1 (Data Constructor) | Proarrow.Category.Instance.ZX |
| 2 (Data Constructor) | Proarrow.Category.Instance.FinRel |
| buildTable | Proarrow.Category.Enriched.Finitary.Topos |
| ByImage | Proarrow.Category.Sheaf |
| ByJoin | Proarrow.Category.Sheaf |
| ByLeft | Proarrow.Category.Enriched.Thin.Composition |
| ByRight | Proarrow.Category.Enriched.Thin.Composition |
| BySearch | Proarrow.Category.Enriched.Thin.Composition |
| BySummands | Proarrow.Category.Sheaf |
| C | Proarrow.Category.Instance.Cost |
| C0 | Proarrow.Category.Internal |
| C1 | Proarrow.Category.Internal |
| CanShow | Proarrow.Category.Instance.Free |
| Cap | Proarrow.Tools.Diagrams.Svg |
| cap | Proarrow.Category.Monoidal.Hypergraph |
| capS | Proarrow.Category.Monoidal.Hypergraph |
| card | Proarrow.Category.Instance.FinHask |
| Cartesian | Proarrow.Category.Monoidal.Cartesian |
| caseEither | Proarrow.Tools.CCC |
| Cast | Proarrow.Tools.CCC |
| cast | Proarrow.Tools.CCC |
| CAT | Proarrow.Core, Proarrow |
| cata | Proarrow.Profunctor.Instance.Fix |
| CatAsComonoid | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| CategoryOf | Proarrow.Core, Proarrow |
| CategoryW | Proarrow.Testing.Laws.Run |
| CCC | Proarrow.Category.Monoidal.Cartesian |
| CD | Proarrow.Category.Instance.Discrete |
| Cell | Proarrow.Category.Enriched.Finitary.Topos |
| cellVal | Proarrow.Category.Enriched.Finitary.Topos |
| censor | Proarrow.Promonad.Writer |
| CheckBiproduct | Proarrow.Colimit.BinaryCoproduct |
| checkCodiscreteProfunctor | Proarrow.Category.Instance.Product |
| checkDiscrete | Proarrow.Category.Instance.Product |
| checkedArrow | Proarrow.Category.Enriched.Quantale |
| checkedWalk | Proarrow.Category.Enriched.Thin.Composition |
| classes | Proarrow.Category.Enriched.Finitary.Topos |
| ClassifyFl | Proarrow.Optic.Action |
| classifyGraph | Proarrow.Category.Topos |
| classifyImage | Proarrow.Category.Topos |
| ClassifyingLens | Proarrow.Optic.Action, Proarrow.Optics, Proarrow |
| classifyingLens | Proarrow.Optic.Action, Proarrow.Optics, Proarrow |
| classifyKernelPair | Proarrow.Category.Topos |
| classifyOf | Proarrow.Optic.Action, Proarrow.Optics, Proarrow |
| classIndex | Proarrow.Category.Enriched.Finitary.Topos |
| classRep | Proarrow.Category.Enriched.Finitary.Topos |
| Clone | Proarrow.Category.Enriched |
| Closed | Proarrow.Category.Monoidal.Closed |
| ClosedSieve | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Finitary.Sheaf |
| 2 (Data Constructor) | Proarrow.Category.Enriched.Finitary.Sheaf |
| closedSieve | Proarrow.Category.Enriched.Finitary.Sheaf |
| closedSieves | Proarrow.Category.Enriched.Finitary.Sheaf |
| ClosedStructures | Proarrow.Category.Monoidal.Closed |
| closedTopology | Proarrow.Category.Topos |
| closedUnder | Proarrow.Category.Enriched.Finitary.Topos |
| ClosedW | Proarrow.Testing.Laws.Run |
| Closing | Proarrow.Category.Enriched.Thin.Composition |
| Closure | Proarrow.Category.Enriched.Thin.Composition |
| closure | Proarrow.Category.Enriched.Finitary.Sheaf |
| cnot | Proarrow.Category.Instance.ZX |
| CNSTRNT | Proarrow.Category.Instance.Constraint |
| Co | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Star |
| coact | Proarrow.Category.Monoidal.Strength |
| coactCC | Proarrow.Category.Monoidal.CompactClosed |
| Coapex | Proarrow.Profunctor.Instance.Cocone |
| coarr | |
| 1 (Function) | Proarrow.Category.Instance.Span |
| 2 (Function) | Proarrow.Category.Instance.Cospan |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| coarrowSlot | Proarrow.Category.Enriched.Finitary.Topos |
| CoBeside | Proarrow.Optic.Traversal |
| CoBesideSum | Proarrow.Optic.Traversal |
| Cocartesian | Proarrow.Colimit.BinaryCoproduct |
| CoCCC | Proarrow.Category.Monoidal.Coclosed |
| Coclosed | Proarrow.Category.Monoidal.Coclosed |
| CocommutativeComonoid | Proarrow.Monoid |
| CocommutativeComonoidSupplyW | Proarrow.Testing.Laws.Run |
| Cocone | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Cocone |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Cocone |
| Codiag | Proarrow.Category.Instance.Coproduct |
| codiag | Proarrow.Colimit.BinaryCoproduct |
| CODISCRETE | Proarrow.Category.Instance.Discrete |
| Codiscrete | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Thin |
| 2 (Type/Class) | Proarrow.Category.Instance.Discrete |
| CodiscreteProfunctor | Proarrow.Category.Enriched.Thin |
| Coend | |
| 1 (Type/Class) | Proarrow.Colimit |
| 2 (Data Constructor) | Proarrow.Colimit |
| CoendLimit | Proarrow.Colimit |
| coequalize | Proarrow.Colimit.Coequalizer |
| coequalizeNat | Proarrow.Category.Enriched.Finitary.Topos |
| coequalizerDefault | Proarrow.Colimit.Pushout |
| coeval | Proarrow.Category.Monoidal.Coclosed |
| coevalUniv | Proarrow.Category.Monoidal.Coclosed |
| Cofree | Proarrow.Profunctor.Cofree |
| cofreeComp | Proarrow.Profunctor.Cofree |
| cofreeMap | Proarrow.Profunctor.Cofree |
| coindex | Proarrow.Profunctor.Corepresentable, Proarrow |
| cokernel | Proarrow.Colimit.Coequalizer |
| cokernelPair | Proarrow.Colimit.Pushout |
| Coleg | Proarrow.Profunctor.Instance.Cocone |
| Colimit | Proarrow.Colimit |
| colimit | Proarrow.Colimit |
| colimitUniv | Proarrow.Colimit |
| COLLAGE | Proarrow.Category.Instance.Collage |
| Collage | Proarrow.Category.Instance.Collage |
| CollageAsCoprod | Proarrow.Category.Instance.Collage |
| CollageObjects | Proarrow.Category.Instance.Collage |
| collageUniv | Proarrow.Category.Instance.Collage |
| combine | |
| 1 (Function) | Proarrow.Monoid |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| combineDual | Proarrow.Category.Monoidal.CompactClosed |
| combineDualS | Proarrow.Category.Monoidal.CompactClosed |
| combines | Proarrow.Category.Instance.FinRel |
| COMMA | Proarrow.Category.Instance.Graph |
| commSquare | Proarrow.Category.Instance.Sub |
| CommutativeMonoid | Proarrow.Monoid, Proarrow |
| CommutativeMonoidSupplyW | Proarrow.Testing.Laws.Run |
| Comonad | Proarrow.Promonad, Proarrow |
| Comonoid | Proarrow.Monoid, Proarrow |
| ComonoidAsCat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| ComonoidOn | |
| 1 (Type/Class) | Proarrow.Monoid, Proarrow |
| 2 (Data Constructor) | Proarrow.Monoid, Proarrow |
| comonoidOn | Proarrow.Monoid |
| ComonoidSupplyW | Proarrow.Testing.Laws.Run |
| Comp | Proarrow.Profunctor.Free |
| comp | |
| 1 (Function) | Proarrow.Category.Monoidal.Closed |
| 2 (Function) | Proarrow.Category.Enriched |
| CompactClosed | Proarrow.Category.Monoidal.CompactClosed |
| CompactClosedStructures | Proarrow.Category.Monoidal.CompactClosed |
| CompactClosedW | Proarrow.Testing.Laws.Run |
| compAsRan | Proarrow.Profunctor.Instance.Ran |
| compAsRift | Proarrow.Profunctor.Instance.Rift |
| compClasses | Proarrow.Category.Enriched.Finitary.Topos |
| compComp | Proarrow.Profunctor.Instance.Composition |
| compIndex | Proarrow.Category.Enriched.Finitary.Topos |
| CompIx | |
| 1 (Type/Class) | Proarrow.Category.Internal |
| 2 (Data Constructor) | Proarrow.Category.Internal |
| compOffsets | Proarrow.Category.Enriched.Finitary.Topos |
| compOptic | Proarrow.Optic.MonoidalTraversal |
| compose | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| 3 (Function) | Proarrow.Category.Internal |
| composeActs | Proarrow.Category.Monoidal.Action |
| composeCostar | Proarrow.Profunctor.Instance.Costar |
| composeFlavor | Proarrow.Optic |
| composeStar | Proarrow.Profunctor.Instance.Star |
| ComposeThin | Proarrow.Category.Enriched.Thin.Composition |
| compPairs | Proarrow.Category.Enriched.Finitary.Topos |
| compPt | Proarrow.Category.Instance.PointedHask |
| compS | Proarrow.Category.Monoidal.Closed |
| compSelf | Proarrow.Category.Enriched |
| compTable | Proarrow.Category.Internal |
| comult | Proarrow.Monoid, Proarrow |
| comultAct | Proarrow.Monoid |
| comultOn | Proarrow.Monoid, Proarrow |
| comultS | Proarrow.Monoid |
| concatFold | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| concatMany | Proarrow.Category.Monoidal.Strictified |
| Cone | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Cone |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Cone |
| Conjugate | Proarrow.Category.Instance.Mat |
| Cons | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.List |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Fix |
| const | Proarrow.Limit.Terminal |
| Constant | Proarrow.Profunctor.Instance.Constant |
| CONSTRAINT | Proarrow.Category.Instance.Constraint |
| Cont | |
| 1 (Type/Class) | Proarrow.Promonad.Cont |
| 2 (Data Constructor) | Proarrow.Promonad.Cont |
| contains | Proarrow.Category.Enriched.Finitary.Sheaf |
| conv1 | Proarrow.Category.Instance.Linear |
| conv2 | Proarrow.Category.Instance.Linear |
| Converse | |
| 1 (Type/Class) | Proarrow.Category.Instance.Rel |
| 2 (Data Constructor) | Proarrow.Category.Instance.Rel |
| convert | Proarrow.Optic, Proarrow.Optics, Proarrow |
| CoPow | |
| 1 (Type/Class) | Proarrow.Optic.PowerGrate |
| 2 (Data Constructor) | Proarrow.Optic.PowerGrate |
| Copower | |
| 1 (Data Constructor) | Proarrow.Colimit.Copower |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| copower | Proarrow.Colimit.Copower |
| Copowered | Proarrow.Colimit.Copower |
| CopowerLimit | Proarrow.Colimit |
| COPR | Proarrow.Colimit.BinaryCoproduct |
| Copresheaf | Proarrow.Functor |
| COPROD | Proarrow.Colimit.BinaryCoproduct |
| Coprod | |
| 1 (Type/Class) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Data Constructor) | Proarrow.Colimit.BinaryCoproduct |
| CoprodAction | Proarrow.Category.Monoidal.Action |
| CoprodAction' | Proarrow.Category.Monoidal.Action |
| CoprodDom | Proarrow.Profunctor.Instance.Star |
| COPRODUCT | Proarrow.Category.Instance.Coproduct |
| Coproduct | Proarrow.Colimit.BinaryCoproduct |
| coproduct | Proarrow.Profunctor.Instance.Coproduct |
| CoproductColimit | Proarrow.Colimit |
| CoproductsW | Proarrow.Testing.Laws.Run |
| copy | Proarrow.Category.Monoidal.CopyDiscard |
| CopyDiscard | Proarrow.Category.Monoidal.CopyDiscard |
| CopyDiscardStructures | Proarrow.Category.Monoidal.CopyDiscard |
| CopyDiscardW | Proarrow.Testing.Laws.Run |
| copyOfUnit | Proarrow.Category.Monoidal.CopyDiscard |
| CopyPoint | Proarrow.Tools.Diagrams.Svg |
| copyS | Proarrow.Category.Monoidal.CopyDiscard |
| COREP | Proarrow.Category.Instance.Rep |
| Corep | |
| 1 (Type/Class) | Proarrow.Profunctor.Corepresentable, Proarrow |
| 2 (Data Constructor) | Proarrow.Profunctor.Corepresentable, Proarrow |
| corep | Proarrow.Profunctor.Corepresentable |
| CorepF | Proarrow.Testing.Laws.Run |
| COREPK | Proarrow.Category.Instance.Rep |
| corepMap | Proarrow.Profunctor.Corepresentable, Proarrow |
| corepObj | Proarrow.Profunctor.Corepresentable |
| Corepresentable | Proarrow.Profunctor.Corepresentable, Proarrow |
| CorepresentedBy | Proarrow.Testing.Laws.Run |
| CorepresentedW | Proarrow.Testing.Laws.Run |
| CorepStar | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable |
| corepTraverse | Proarrow.Category.Monoidal.Distributive |
| corepUniv | Proarrow.Profunctor.Corepresentable, Proarrow |
| Cosink | Proarrow.Profunctor.Instance.Cone |
| COSPAN | Proarrow.Category.Instance.Cospan |
| Cospan | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cospan |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cospan |
| COST | Proarrow.Category.Instance.Cost |
| Costar | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Costar |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Costar |
| Costar' | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Costar |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Costar |
| Costate | Proarrow.Category.Monoidal |
| costrength | Proarrow.Category.Monoidal.Strength |
| Costrong | Proarrow.Category.Monoidal.Strength |
| cotabulate | Proarrow.Profunctor.Corepresentable, Proarrow |
| cotabulated | Proarrow.Profunctor.Corepresentable |
| cotravAct | Proarrow.Optic.Kaleidoscope |
| CotravAs | |
| 1 (Type/Class) | Proarrow.Optic.Kaleidoscope |
| 2 (Data Constructor) | Proarrow.Optic.Kaleidoscope |
| Cotraversable | Proarrow.Category.Monoidal.Distributive |
| Cotraversal | Proarrow.Optic.Kaleidoscope, Proarrow.Optics, Proarrow |
| cotraversal | Proarrow.Optic.Kaleidoscope, Proarrow.Optics, Proarrow |
| Cotraversal' | Proarrow.Optic.Kaleidoscope, Proarrow.Optics, Proarrow |
| cotraverse | Proarrow.Category.Monoidal.Distributive |
| cotraverseOf | Proarrow.Optic.Kaleidoscope, Proarrow.Optics, Proarrow |
| cotraverseReader | Proarrow.Promonad.Reader |
| CotravFl | Proarrow.Optic.Kaleidoscope |
| cotravP | Proarrow.Optic.Kaleidoscope |
| counit | |
| 1 (Function) | Proarrow.Monoid, Proarrow |
| 2 (Function) | Proarrow.Category.Instance.Linear |
| 3 (Function) | Proarrow.Adjunction |
| 4 (Function) | Proarrow.Squares |
| counitAct | Proarrow.Monoid |
| counitAdj | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| counitIso | Proarrow.Adjunction |
| counitNat | Proarrow.Squares |
| counitOn | Proarrow.Monoid, Proarrow |
| counitRep | Proarrow.Adjunction |
| counitS | Proarrow.Monoid |
| counitUr | Proarrow.Category.Instance.Linear |
| CoUnitW | |
| 1 (Type/Class) | Proarrow.Optic.Traversal |
| 2 (Data Constructor) | Proarrow.Optic.Traversal |
| Cover | Proarrow.Category.Sheaf, Proarrow.Category.Sheaf |
| Coverage | Proarrow.Category.Sheaf |
| coveringCover | Proarrow.Category.Enriched.Finitary.Sheaf |
| covers | Proarrow.Category.Sheaf |
| Coyoneda | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Coyoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Coyoneda |
| coyoneda | Proarrow.Profunctor.Instance.Coyoneda |
| CoZeroW | |
| 1 (Type/Class) | Proarrow.Optic.Traversal |
| 2 (Data Constructor) | Proarrow.Optic.Traversal |
| Create | Proarrow.Tools.Diagrams.Svg |
| Crossing | Proarrow.Tools.Diagrams.Dot |
| CS | Proarrow.Category.Instance.Cospan |
| Ctx | Proarrow.Tools.CCC |
| ctxOb | Proarrow.Tools.CCC |
| Cup | Proarrow.Tools.Diagrams.Svg |
| cup | Proarrow.Category.Monoidal.Hypergraph |
| cupS | Proarrow.Category.Monoidal.Hypergraph |
| Curry | Proarrow.Category.Monoidal.Closed |
| curry | Proarrow.Category.Monoidal.Closed |
| curryHG | Proarrow.Category.Monoidal.Hypergraph |
| curryPair | Proarrow.Tools.CCC |
| curryS | Proarrow.Category.Monoidal.Closed |
| curryS' | Proarrow.Category.Monoidal.Closed |
| currySA | Proarrow.Category.Monoidal.StarAutonomous |
| Curve | Proarrow.Tools.Diagrams.Svg |
| D | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Type/Class) | Proarrow.Category.Instance.Discrete |
| Dagger | Proarrow.Category.Enriched.Dagger |
| dagger | Proarrow.Category.Enriched.Dagger |
| DaggerProfunctor | Proarrow.Category.Enriched.Dagger |
| Day | |
| 1 (Type/Class) | Proarrow.Category.Promonoidal |
| 2 (Data Constructor) | Proarrow.Category.Promonoidal |
| 3 (Type/Class) | Proarrow.Profunctor.Instance.Day |
| 4 (Data Constructor) | Proarrow.Profunctor.Instance.Day |
| day | Proarrow.Profunctor.Instance.Day |
| day2comp | Proarrow.Profunctor.Instance.Day |
| dayCounit | Proarrow.Promonad.Reader |
| DayExp | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Day |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Day |
| DayFl | Proarrow.Optic.Day |
| dayOptic | Proarrow.Optic.Day |
| DayUnit | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Day |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Day |
| Decidable | Proarrow.Category.Enriched.Thin |
| decidableFromIndex | Proarrow.Category.Enriched.Finitary |
| DecidableProfunctor | Proarrow.Category.Enriched.Thin |
| decidableSize | Proarrow.Category.Enriched.Finitary |
| decide | Proarrow.Category.Enriched.Thin |
| DecideComp | Proarrow.Category.Enriched.Thin.Composition |
| decideComp | Proarrow.Category.Enriched.Thin.Composition |
| decideEq | Proarrow.Category.Enriched.Thin |
| Decision | Proarrow.Category.Enriched.Thin |
| decompose | Proarrow.Category.Promonoidal |
| decomposeActs | Proarrow.Category.Monoidal.Action |
| defaultFactorize | Proarrow.Category.Topos |
| defaultFactorizeDual | Proarrow.Category.Topos |
| defaultOptions | Proarrow.Tools.Diagrams.Svg |
| defaultTestOptions | Proarrow.Testing.Laws |
| Delta | Proarrow.Category.Instance.Discrete |
| deltaAct | Proarrow.Category.Instance.Discrete |
| DEP | Proarrow.Category.Instance.Fam |
| DEP_ | Proarrow.Category.Instance.Fam |
| Diag | Proarrow.Category.Instance.Product |
| diag | Proarrow.Limit.BinaryProduct |
| diagonalElement | Proarrow.Category.Instance.Graph |
| Diagram | Proarrow.Tools.Diagrams.Svg |
| dimap | Proarrow.Core, Proarrow |
| dimapCorep | Proarrow.Profunctor.Corepresentable |
| dimapDefault | Proarrow.Core, Proarrow |
| dimapRep | Proarrow.Profunctor.Representable |
| dimension | Proarrow.Category.Monoidal.CompactClosed |
| Direction | Proarrow.Tools.Diagrams.Svg |
| Direp | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Direp |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Direp |
| discard | Proarrow.Category.Monoidal.CopyDiscard |
| discardOfUnit | Proarrow.Category.Monoidal.CopyDiscard |
| DiscardPoint | Proarrow.Tools.Diagrams.Svg |
| discardS | Proarrow.Category.Monoidal.CopyDiscard |
| DISCRETE | Proarrow.Category.Instance.Discrete |
| Discrete | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Thin |
| 2 (Type/Class) | Proarrow.Category.Instance.Discrete |
| DiscreteProfunctor | Proarrow.Category.Enriched.Thin |
| DistL | Proarrow.Category.Monoidal.Distributive |
| distL | Proarrow.Category.Monoidal.Distributive |
| distLClosed | Proarrow.Category.Monoidal.Distributive |
| distLInv | Proarrow.Category.Monoidal.Distributive |
| distLProd | Proarrow.Category.Monoidal.Cartesian |
| DistR | Proarrow.Category.Monoidal.Distributive |
| distR | Proarrow.Category.Monoidal.Distributive |
| distRClosed | Proarrow.Category.Monoidal.Distributive |
| DistribDual | Proarrow.Category.Monoidal.CompactClosed |
| distribDual | Proarrow.Category.Monoidal.CompactClosed |
| Distributive | Proarrow.Category.Monoidal.Distributive |
| DistributiveProfunctor | Proarrow.Category.Monoidal.Distributive |
| DistributiveStructures | Proarrow.Category.Monoidal.Distributive |
| DistributiveW | Proarrow.Testing.Laws.Run |
| distRInv | Proarrow.Category.Monoidal.Distributive |
| distRProd | Proarrow.Category.Monoidal.Cartesian |
| Dn | Proarrow.Category.Instance.Duploid |
| dn | Proarrow.Category.Instance.Linear |
| Doc | Proarrow.Testing.Laws.Run |
| document | Proarrow.Tools.Diagrams.Svg |
| Done | Proarrow.Category.Enriched.Thin.Composition |
| DoneAt | Proarrow.Category.Enriched.Thin.Composition |
| DOT | Proarrow.Tools.Diagrams.Dot |
| Dot | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| DotData | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| doubleNeg | Proarrow.Category.Monoidal.StarAutonomous |
| doubleNegation | Proarrow.Category.Topos |
| doubleNegDefault | Proarrow.Category.Monoidal.StarAutonomous |
| doubleNegInv | Proarrow.Category.Monoidal.StarAutonomous |
| doubleNegInvDefault | Proarrow.Category.Monoidal.StarAutonomous |
| doubleNegIso | Proarrow.Category.Monoidal.StarAutonomous |
| down | Proarrow.Category.Instance.Duploid |
| dpoStep | Proarrow.Tools.DPO |
| drawnAs | Proarrow.Tools.Diagrams.Svg |
| Dual | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.StarAutonomous |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.StarAutonomous |
| dual | Proarrow.Category.Monoidal.StarAutonomous |
| dualCap | Proarrow.Tools.Diagrams.Svg |
| dualCapS | Proarrow.Tools.Diagrams.Svg |
| dualCup | Proarrow.Tools.Diagrams.Svg |
| dualCupS | Proarrow.Tools.Diagrams.Svg |
| DualF | Proarrow.Category.Monoidal.StarAutonomous |
| dualHG | Proarrow.Category.Monoidal.Hypergraph |
| DualInv | Proarrow.Category.Monoidal.StarAutonomous |
| dualInv | Proarrow.Category.Monoidal.StarAutonomous |
| dualityCounit | Proarrow.Category.Monoidal.CompactClosed |
| dualityCounitDefault | Proarrow.Category.Monoidal.CompactClosed |
| dualityCounitS | Proarrow.Category.Monoidal.CompactClosed |
| dualityCounitSA | Proarrow.Category.Monoidal.StarAutonomous |
| dualityUnit | Proarrow.Category.Monoidal.CompactClosed |
| dualityUnitDefault | Proarrow.Category.Monoidal.CompactClosed |
| dualityUnitS | Proarrow.Category.Monoidal.CompactClosed |
| dualityUnitSA | Proarrow.Category.Monoidal.StarAutonomous |
| DualList | Proarrow.Tools.Diagrams.Svg |
| dualObj | Proarrow.Category.Monoidal.StarAutonomous |
| DualUnit | Proarrow.Category.Monoidal.CompactClosed |
| dualUnit | Proarrow.Category.Monoidal.CompactClosed |
| dualUnitInv | Proarrow.Category.Monoidal.CompactClosed |
| DualW | Proarrow.Tools.Diagrams.Svg |
| DualWire | Proarrow.Tools.Diagrams.Svg |
| duoidal | Proarrow.Profunctor.Instance.Day |
| DUPLOID | Proarrow.Category.Instance.Duploid |
| Duploid | |
| 1 (Type/Class) | Proarrow.Category.Instance.Duploid |
| 2 (Data Constructor) | Proarrow.Category.Instance.Duploid |
| dupUr | Proarrow.Category.Instance.Linear |
| DX | Proarrow.Category.Instance.Fam |
| E | Proarrow.Category.Monoidal.EndoProf |
| ECons | Proarrow.Profunctor.Instance.Edges |
| Edge | Proarrow.Profunctor.Instance.Edges |
| EdgeList | Proarrow.Profunctor.Instance.Edges |
| Edges | Proarrow.Profunctor.Instance.Edges |
| edges | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Profunctor.Instance.Edges |
| Eff | Proarrow.Profunctor.Free |
| either | Proarrow.Tools.CCC |
| eitherCopy | Proarrow.Tools.Diagrams.Dot |
| eitherF | Proarrow.Tools.Diagrams.Dot |
| El | Proarrow.Limit.Terminal |
| Elem | Proarrow.Category.Instance.Free |
| element | Proarrow.Tools.Diagrams.Svg |
| ElementaryTopos | Proarrow.Category.Topos |
| ElementBox | Proarrow.Tools.Diagrams.Svg |
| ELEMENTS | Proarrow.Category.Instance.Graph |
| elements | Proarrow.Category.Enriched.Finitary |
| Elems | Proarrow.Category.Instance.Free |
| Elt | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Finitary |
| 2 (Data Constructor) | Proarrow.Category.Enriched.Finitary |
| EMB | Proarrow.Category.Instance.Free |
| Emb | Proarrow.Category.Instance.Free |
| emb | |
| 1 (Function) | Proarrow.Category.Instance.Paths |
| 2 (Function) | Proarrow.Category.Instance.Free |
| Embed | |
| 1 (Type/Class) | Proarrow.Category.Instance.Free |
| 2 (Type/Class) | Proarrow.Category.Instance.Fam |
| embed | Proarrow.Profunctor.Instance.Fix |
| embed' | Proarrow.Profunctor.Instance.Fix |
| empty | Proarrow.Category.Monoidal.Applicative |
| End | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Data Constructor) | Proarrow.Limit |
| EndLimit | Proarrow.Limit |
| ENDO | Proarrow.Category.Monoidal.EndoProf |
| Endo | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.EndoProf |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.EndoProf |
| ENil | Proarrow.Profunctor.Instance.Edges |
| Enriched | Proarrow.Category.Enriched |
| enriched | Proarrow.Category.Enriched |
| enrichedEdge | Proarrow.Profunctor.Instance.Edges |
| EnrichedProfunctor | Proarrow.Category.Enriched |
| enrichedPt | Proarrow.Category.Instance.PointedHask |
| enrichedSelf | Proarrow.Category.Enriched |
| Entails | Proarrow.Category.Instance.Constraint |
| entails | Proarrow.Category.Instance.Constraint |
| Entry | Proarrow.Category.Enriched.Thin |
| enumAll | Proarrow.Category.Instance.ZX |
| Enumerable | Proarrow.Category.Enriched.Thin |
| epsilon | Proarrow.Category.Instance.ZX |
| Eq2 | Proarrow.Core |
| EqGen | Proarrow.Category.Instance.Paths |
| eqGen | Proarrow.Category.Instance.Paths |
| eqHask | Proarrow.Testing |
| eqIsSuperOrd | Proarrow.Category.Instance.Constraint |
| eqP | Proarrow.Testing |
| EqpOptic | Proarrow.Squares |
| Equal | Proarrow.Category.Enriched.Thin |
| equalize | Proarrow.Limit.Equalizer |
| equalizeNat | Proarrow.Category.Enriched.Finitary.Topos |
| equalizerDefault | Proarrow.Limit.Pullback |
| Equals | Proarrow.Tools.Diagrams.Svg |
| Equation | Proarrow.Tools.Laws |
| Equivalence | Proarrow.Category.Instance.Rel |
| Erase | Proarrow.Tools.Diagrams.Svg |
| ex2prof | Proarrow.Optic |
| exBeside | Proarrow.Optic.MonoidalTraversal |
| exBesideSum | Proarrow.Optic.MonoidalTraversal |
| exfalso | Proarrow.Category.Enriched.Thin |
| ExOptic | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Data Constructor) | Proarrow.Optic |
| Exp | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Closed |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Exponential |
| 3 (Data Constructor) | Proarrow.Category.Instance.Nat |
| 4 (Type/Class) | Proarrow.Category.Instance.FinSet |
| exp | Proarrow.Category.Instance.FinSet |
| expAt | Proarrow.Category.Enriched.Finitary.Topos |
| expect | Proarrow.Testing |
| ExpHG | Proarrow.Category.Monoidal.Hypergraph |
| explicitCoherence | Proarrow.Tools.Diagrams.Svg |
| explicitIdentities | Proarrow.Tools.Diagrams.Svg |
| explicitSwaps | Proarrow.Tools.Diagrams.Svg |
| ExpRep | Proarrow.Category.Monoidal.Closed |
| ExpSA | Proarrow.Category.Monoidal.StarAutonomous |
| expSA | Proarrow.Category.Monoidal.StarAutonomous |
| ExpWeight | Proarrow.Category.Enriched.Finitary.Topos |
| extend | Proarrow.Promonad, Proarrow |
| extendPlus | Proarrow.Category.Enriched.Finitary.Sheaf |
| extendRep | Proarrow.Adjunction |
| extendSheafify | Proarrow.Category.Enriched.Finitary.Sheaf |
| extract | Proarrow.Promonad, Proarrow |
| F | Proarrow.Tools.CCC |
| F2T | Proarrow.Category.Instance.Bool |
| factorCoequalizer | Proarrow.Colimit.Coequalizer |
| factorEqualizer | Proarrow.Limit.Equalizer |
| factorize | Proarrow.Category.Topos |
| factorLocally | Proarrow.Category.Enriched.Finitary.Sheaf |
| factorPullback | Proarrow.Limit.Pullback |
| factorPullbackDefault | Proarrow.Limit.Equalizer |
| factorPushout | Proarrow.Colimit.Pushout |
| factorPushoutDefault | Proarrow.Colimit.Coequalizer |
| Factors | |
| 1 (Type/Class) | Proarrow.Category.Sheaf |
| 2 (Data Constructor) | Proarrow.Category.Sheaf |
| factorsThrough | Proarrow.Category.Enriched.Finitary |
| factorThrough | Proarrow.Category.Enriched.Finitary |
| factorThroughCoequalizer | Proarrow.Category.Enriched.Finitary.Topos |
| factorThroughCover | Proarrow.Category.Sheaf |
| factorThroughEqualizer | Proarrow.Category.Enriched.Finitary.Topos |
| factorThroughLocalEpi | Proarrow.Category.Enriched.Finitary.Sheaf |
| false | Proarrow.Category.Topos |
| FAM | Proarrow.Category.Instance.Fam |
| Fam | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fam |
| 2 (Data Constructor) | Proarrow.Category.Instance.Fam |
| familiesSatisfying | Proarrow.Category.Enriched.Finitary.Topos |
| familyIndex | Proarrow.Category.Enriched.Finitary.Topos |
| fanIn | Proarrow.Monoid |
| fanInS | Proarrow.Monoid |
| fanOut | Proarrow.Monoid |
| fanOutS | Proarrow.Monoid |
| FCons | Proarrow.Category.Enriched.Thin |
| feedback | Proarrow.Tools.Diagrams.Dot |
| FF | Proarrow.Category.Instance.Bool |
| FH | Proarrow.Category.Instance.FinHask |
| fibres | Proarrow.Category.Enriched.Finitary.Topos |
| fibresVal | Proarrow.Category.Enriched.Finitary.Topos |
| Filterable | Proarrow.Category.Instance.PointedHask |
| filterSparse | Proarrow.Category.Instance.ZX |
| FIN | Proarrow.Category.Enriched.Finitary.Topos |
| Fin | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| 3 (Type/Class) | Proarrow.Category.Instance.FinHask |
| 4 (Data Constructor) | Proarrow.Category.Instance.FinHask |
| findBijection | Proarrow.Category.Instance.FinSet |
| findIndex | Proarrow.Category.Instance.FinSet |
| findIso | Proarrow.Category.Instance.FinSet |
| FINHASK | Proarrow.Category.Instance.FinHask |
| FinHask | |
| 1 (Type/Class) | Proarrow.Category.Instance.FinHask |
| 2 (Data Constructor) | Proarrow.Category.Instance.FinHask |
| FINITARY | Proarrow.Category.Enriched.Finitary.Topos |
| Finitary | Proarrow.Category.Enriched.Finitary |
| Finite | Proarrow.Category.Enriched.Thin |
| finite | Proarrow.Category.Enriched.Thin |
| FiniteCat | Proarrow.Category.Enriched.Finitary |
| finiteDefault | Proarrow.Category.Enriched.Thin |
| finiteFromIndex | Proarrow.Category.Enriched.Finitary |
| finiteSize | Proarrow.Category.Enriched.Finitary |
| finiteToIndex | Proarrow.Category.Enriched.Finitary |
| FINREL | Proarrow.Category.Instance.FinRel |
| FinRel | |
| 1 (Type/Class) | Proarrow.Category.Instance.FinRel |
| 2 (Data Constructor) | Proarrow.Category.Instance.FinRel |
| FINSET | Proarrow.Category.Instance.FinSet |
| FinSet | |
| 1 (Type/Class) | Proarrow.Category.Instance.FinSet |
| 2 (Data Constructor) | Proarrow.Category.Instance.FinSet |
| first | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Limit.BinaryProduct |
| 3 (Function) | Proarrow.Category.Instance.Nat |
| first' | Proarrow.Category.Monoidal.Strength |
| Fix | Proarrow.Profunctor.Instance.Fix |
| fixedSpiders | Proarrow.Tools.Diagrams.Svg |
| FLAVOR | Proarrow.Optic |
| Flavor | Proarrow.Optic |
| Flip | Proarrow.Optic |
| flipCorep | Proarrow.Profunctor.Representable |
| flipCurried3 | Proarrow.Tools.CCC |
| flipExp | Proarrow.Optic.Grate |
| flipMate | Proarrow.Adjunction |
| flipRan | Proarrow.Profunctor.Instance.Ran |
| flipRanInv | Proarrow.Profunctor.Instance.Ran |
| flipRep | Proarrow.Profunctor.Representable |
| flipRift | Proarrow.Profunctor.Instance.Rift |
| flipRiftInv | Proarrow.Profunctor.Instance.Rift |
| FLS | Proarrow.Category.Instance.Bool |
| Fls | Proarrow.Category.Instance.Bool |
| fmap | Proarrow.Functor, Proarrow |
| fmapDefault | Proarrow.Category.Monoidal.Applicative |
| FmapWrap | Proarrow.Category.Enriched.Thin |
| FNil | Proarrow.Category.Enriched.Thin |
| Fold | |
| 1 (Type/Class) | Proarrow.Path |
| 2 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| 3 (Type/Class) | Proarrow.Optic.Fold, Proarrow.Optics, Proarrow |
| 4 (Type/Class) | Proarrow.Profunctor.Instance.Fold |
| 5 (Data Constructor) | Proarrow.Profunctor.Instance.Fold |
| fold | |
| 1 (Function) | Proarrow.Category.Instance.Free |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| FoldFl | Proarrow.Optic.Fold |
| foldFreePromonad | Proarrow.Profunctor.Free |
| foldList | Proarrow.Profunctor.Instance.List |
| foldMap | Proarrow.Profunctor.Free |
| foldMapOf | Proarrow.Optic.Fold, Proarrow.Optics, Proarrow |
| foldMapP | Proarrow.Optic.Fold |
| foldPaths | Proarrow.Category.Instance.Paths |
| foldStructure | Proarrow.Category.Instance.Free |
| foreachOb | Proarrow.Category.Enriched.Finitary |
| Forget | |
| 1 (Type/Class) | Proarrow.Category.Instance.Sub |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 3 (Type/Class) | Proarrow.Category.Instance.Linear |
| Fork | Proarrow.Monoid |
| found | Proarrow.Category.Enriched.Thin.Composition |
| FR | Proarrow.Category.Instance.FinRel |
| Frame | Proarrow.Tools.Diagrams.Svg |
| framed | Proarrow.Tools.Diagrams.Svg |
| FREE | Proarrow.Category.Instance.Free |
| Free | |
| 1 (Type/Class) | Proarrow.Category.Instance.Free |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| 3 (Type/Class) | Proarrow.Profunctor.Free |
| freeComp | Proarrow.Profunctor.Free |
| FreeK | Proarrow.Profunctor.Free |
| FreeK' | Proarrow.Profunctor.Free |
| freeMap | Proarrow.Profunctor.Free |
| FreePromonad | Proarrow.Profunctor.Free |
| freePromonadAlg | Proarrow.Profunctor.Free |
| Frobenius | Proarrow.Category.Monoidal.Hypergraph |
| FrobeniusStructures | Proarrow.Category.Monoidal.Hypergraph |
| FromAdjunction | |
| 1 (Type/Class) | Proarrow.Universal |
| 2 (Data Constructor) | Proarrow.Universal |
| fromAll | Proarrow.Category.Instance.Free |
| fromArrowEquation | Proarrow.Tools.Laws |
| FromBool | Proarrow.Category.Instance.Bool |
| fromBools | Proarrow.Category.Instance.FinRel |
| fromExOptic | Proarrow.Profunctor.Instance.PastroTambara |
| fromFls | Proarrow.Category.Enriched |
| fromHolds | Proarrow.Category.Enriched.Thin |
| FromImage | Proarrow.Category.Sheaf |
| fromIndex | Proarrow.Category.Enriched.Finitary |
| fromInt | Proarrow.Category.Instance.IntConstruction |
| fromLeft | Proarrow.Squares |
| fromLinear | Proarrow.Category.Instance.Duploid |
| fromList | |
| 1 (Function) | Proarrow.Category.Instance.FinHask |
| 2 (Function) | Proarrow.Profunctor.Instance.Fix |
| fromOpLens | Proarrow.Optic.Prism |
| fromOptic | Proarrow.Squares |
| fromPIso | Proarrow.Optic.Iso |
| FromPointed | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (Data Constructor) | Proarrow.Category.Instance.PointedHask |
| FromProd | |
| 1 (Type/Class) | Proarrow.Limit.BinaryProduct |
| 2 (Data Constructor) | Proarrow.Limit.BinaryProduct |
| FromProfunctor | |
| 1 (Type/Class) | Proarrow.Functor |
| 2 (Data Constructor) | Proarrow.Functor |
| fromPTracer | Proarrow.Optic.Tracer |
| fromPTraversal | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| fromRight | Proarrow.Squares |
| fromTabulated | Proarrow.Category.Enriched.Finitary.Topos |
| fromThunkable | Proarrow.Category.Instance.Duploid |
| FS | Proarrow.Category.Instance.FinSet |
| Fst | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Data Constructor) | Proarrow.Limit.BinaryProduct |
| fst | |
| 1 (Function) | Proarrow.Limit.BinaryProduct |
| 2 (Function) | Proarrow.Category.Monoidal.CopyDiscard |
| fst' | Proarrow.Limit.BinaryProduct |
| fstK | Proarrow.Category.Instance.Product |
| fstP | Proarrow.Profunctor.Instance.Product |
| FT | Proarrow.Category.Instance.Bool |
| FUN | Proarrow.Category.Instance.Sub |
| Fun | Proarrow.Category.Instance.FinRel |
| Functional | Proarrow.Category.Instance.Rel |
| Functor | Proarrow.Functor, Proarrow |
| FunctorForRep | Proarrow.Functor, Proarrow |
| GaloisConnection | Proarrow.Adjunction |
| gen | Proarrow.Testing |
| GenArrow | |
| 1 (Type/Class) | Proarrow.Category.Enriched |
| 2 (Data Constructor) | Proarrow.Category.Enriched |
| genBoth | Proarrow.Testing |
| genElements | Proarrow.Testing |
| GenElt | |
| 1 (Type/Class) | Proarrow.Monoid |
| 2 (Data Constructor) | Proarrow.Monoid |
| GenEmpty | Proarrow.Testing |
| generatedSieve | Proarrow.Category.Enriched.Finitary.Sheaf |
| genNamed | Proarrow.Testing |
| GenNonEmpty | Proarrow.Testing |
| genOb | Proarrow.Testing |
| genObSmall | Proarrow.Testing |
| genObSuchThat | Proarrow.Testing |
| genObSuchThatWith | Proarrow.Testing |
| genP | Proarrow.Testing |
| genProfunctorElt | Proarrow.Testing |
| genSome | Proarrow.Testing |
| genSomeDef | Proarrow.Testing |
| genSomeFinite | Proarrow.Testing |
| genSomeList | Proarrow.Testing |
| genSomeSmall | Proarrow.Testing |
| genSuchThat | Proarrow.Testing |
| GenTotal | Proarrow.Testing |
| genWithNamed | Proarrow.Testing |
| Geo | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| geoHeight | Proarrow.Tools.Diagrams.Svg |
| geoIns | Proarrow.Tools.Diagrams.Svg |
| geoOuts | Proarrow.Tools.Diagrams.Svg |
| geoShapes | Proarrow.Tools.Diagrams.Svg |
| geoWidth | Proarrow.Tools.Diagrams.Svg |
| get | Proarrow.Promonad.State |
| getData | Proarrow.Tools.Diagrams.Dot |
| getNeg | Proarrow.Category.Instance.Linear |
| getP | Proarrow.Optic.Getter |
| Getter | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| GetterFl | Proarrow.Optic.Getter |
| ghzState | Proarrow.Category.Instance.ZX |
| Glass | Proarrow.Optic.Glass, Proarrow.Optics, Proarrow |
| glass | Proarrow.Optic.Glass, Proarrow.Optics, Proarrow |
| Glass' | Proarrow.Optic.Glass, Proarrow.Optics, Proarrow |
| GlassFl | Proarrow.Optic.Glass |
| glassP | Proarrow.Optic.Glass |
| glue | Proarrow.Category.Sheaf |
| glueBySearch | Proarrow.Category.Enriched.Finitary.Topos |
| glueExtension | Proarrow.Category.Sheaf |
| gluePlus | Proarrow.Category.Enriched.Finitary.Sheaf |
| glueTrivial | Proarrow.Category.Sheaf |
| GR | Proarrow.Category.Instance.Graph |
| GradedWalk | Proarrow.Category.Enriched.Thin.Composition |
| GRAPH | Proarrow.Category.Instance.Graph |
| Graph | |
| 1 (Type/Class) | Proarrow.Category.Instance.Graph |
| 2 (Data Constructor) | Proarrow.Category.Instance.Graph |
| graphSieve | Proarrow.Category.Enriched.Finitary.Topos |
| graphUniv | Proarrow.Category.Instance.Graph |
| Grate | Proarrow.Optic.Grate, Proarrow.Optics, Proarrow |
| grate | Proarrow.Optic.Grate, Proarrow.Optics, Proarrow |
| Grate' | Proarrow.Optic.Grate, Proarrow.Optics, Proarrow |
| GrateFl | Proarrow.Optic.Grate |
| Grouping | Proarrow.Tools.Diagrams.Svg |
| GTE | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cost |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cost |
| hadamard | Proarrow.Category.Instance.ZX |
| hArr | Proarrow.Squares |
| HasAllArrows | Proarrow.Category.Instance.Rep |
| HasArrow | Proarrow.Category.Enriched.Thin |
| HasArrow' | Proarrow.Category.Enriched.Thin |
| HasArrowCollage | Proarrow.Category.Instance.Collage |
| HasArrowComp | Proarrow.Category.Enriched.Thin.Composition |
| HasArrowRep | Proarrow.Category.Instance.Rep |
| HasBinaryCoproducts | Proarrow.Colimit.BinaryCoproduct |
| HasBinaryProducts | Proarrow.Limit.BinaryProduct |
| HasBiproducts | Proarrow.Colimit.BinaryCoproduct |
| HasCoequalizers | Proarrow.Colimit.Coequalizer |
| HasCofree | Proarrow.Profunctor.Cofree |
| HasColimits | Proarrow.Colimit |
| HasCoproducts | Proarrow.Colimit.BinaryCoproduct |
| HasEpiMonoFactorization | Proarrow.Category.Topos |
| HasEqualizers | Proarrow.Limit.Equalizer |
| HasFiniteColimits | Proarrow.Category.Topos |
| HasFiniteCovers | Proarrow.Category.Sheaf |
| HasFiniteDefault | Proarrow.Category.Enriched.Thin |
| HasFiniteLimits | Proarrow.Category.Topos |
| HasFree | Proarrow.Profunctor.Free |
| HasFreeK | Proarrow.Profunctor.Free |
| HasInitialObject | Proarrow.Colimit.Initial |
| Hask | Proarrow.Category.Instance.Hask |
| haskAdjIsCurryAdj | Proarrow.Profunctor.Instance.Adj |
| HaskValue | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.HaskValue |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.HaskValue |
| HasLimits | Proarrow.Limit |
| HasNoArrow | Proarrow.Category.Enriched.Thin |
| HasParamNNO | Proarrow.Colimit.NaturalNumbers |
| HasProducts | Proarrow.Limit.BinaryProduct |
| HasPullbacks | Proarrow.Limit.Pullback |
| HasPushoutComplements | Proarrow.Tools.DPO |
| HasPushouts | Proarrow.Colimit.Pushout |
| HasStructure | Proarrow.Category.Instance.Free |
| HasSubobjectClassifier | Proarrow.Category.Topos |
| HasTerminalObject | Proarrow.Limit.Terminal |
| HasWitness | Proarrow.Testing.Laws.Run |
| HasZeroObject | Proarrow.Colimit.Initial |
| hCombineAll | Proarrow.Squares |
| header | Proarrow.Tools.Diagrams.Dot |
| Here | Proarrow.Category.Enriched.Thin |
| hId | Proarrow.Squares |
| hideUnits | Proarrow.Tools.Diagrams.Svg |
| Holds | Proarrow.Category.Enriched.Thin |
| HoldsComp | Proarrow.Category.Enriched.Thin.Composition |
| Hom | Proarrow.Core |
| HomObj | Proarrow.Category.Enriched |
| HomObjIsProduct | Proarrow.Limit.Power |
| HomObjOp | Proarrow.Colimit.Copower |
| HomSelf | Proarrow.Category.Enriched |
| homSize | Proarrow.Category.Internal |
| hSplitAll | Proarrow.Squares |
| htmlEscape | Proarrow.Tools.Diagrams.Dot |
| hylo | Proarrow.Profunctor.Instance.Fix |
| Hypergraph | Proarrow.Category.Monoidal.Hypergraph |
| I | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Category.Instance.IntConstruction |
| Id | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Identity |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Identity |
| id | Proarrow.Core, Proarrow.Promonad, Proarrow |
| Ident | Proarrow.Tools.Diagrams.Svg |
| identity | |
| 1 (Function) | Proarrow.Tools.Diagrams.Svg |
| 2 (Function) | Proarrow.Category.Internal |
| idN | Proarrow.Path |
| If | Proarrow.Category.Instance.Bool |
| Image | Proarrow.Category.Sheaf |
| Images | Proarrow.Category.Sheaf |
| implies | Proarrow.Category.Topos |
| IN | Proarrow.Category.Internal |
| In | Proarrow.Profunctor.Instance.Fix |
| inClosedSieve | Proarrow.Category.Enriched.Finitary.Sheaf |
| Index | Proarrow.Category.Enriched.Thin |
| index | Proarrow.Profunctor.Representable, Proarrow |
| Indexed | Proarrow.Category.Enriched.Thin |
| IndexedList | Proarrow.Category.Enriched.Thin |
| IndexOf | Proarrow.Category.Enriched.Thin |
| indices | Proarrow.Category.Enriched.Finitary |
| Induce | Proarrow.Category.Sheaf |
| Induced | Proarrow.Category.Sheaf |
| Induces | Proarrow.Category.Sheaf |
| INF | Proarrow.Category.Instance.Cost |
| Inf | Proarrow.Category.Instance.Cost |
| infixlDoc | Proarrow.Testing.Laws.Run |
| infixrDoc | Proarrow.Testing.Laws.Run |
| InitF | Proarrow.Colimit.Initial |
| Initial | Proarrow.Colimit.Initial |
| InitialObject | Proarrow.Colimit.Initial |
| InitialProfunctor | Proarrow.Profunctor.Instance.Initial |
| InitialW | Proarrow.Testing.Laws.Run |
| Initiate | Proarrow.Category.Instance.Fam |
| initiate | Proarrow.Colimit.Initial |
| initiate' | Proarrow.Colimit.Initial |
| initUnivArr | Proarrow.Universal, Proarrow |
| InitUniversal | Proarrow.Universal, Proarrow |
| initUnivProp | Proarrow.Universal, Proarrow |
| InitUnivTgt | Proarrow.Universal, Proarrow |
| InJ | Proarrow.Tools.Laws |
| inject | Proarrow.Category.Enriched.Thin.Composition |
| Injective | Proarrow.Category.Instance.Rel |
| injectRight | Proarrow.Tools.CCC |
| InjL | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| injLOptic | Proarrow.Optic.Sum |
| InjR | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| injROptic | Proarrow.Optic.Sum |
| InK | Proarrow.Tools.Laws |
| InL | Proarrow.Category.Instance.Collage |
| inOrder | Proarrow.Tools.Diagrams.Svg |
| inputs | Proarrow.Tools.Diagrams.Dot |
| InR | Proarrow.Category.Instance.Collage |
| INT | Proarrow.Category.Instance.IntConstruction |
| Int | Proarrow.Category.Instance.IntConstruction |
| IntConstruction | Proarrow.Category.Instance.IntConstruction |
| INTERNAL | Proarrow.Category.Internal |
| Internal | |
| 1 (Type/Class) | Proarrow.Category.Internal |
| 2 (Data Constructor) | Proarrow.Category.Internal |
| InternalIn | Proarrow.Category.Internal |
| internalIsFinite | Proarrow.Category.Internal |
| IntMinus | Proarrow.Category.Instance.IntConstruction |
| IntPlus | Proarrow.Category.Instance.IntConstruction |
| inverse | Proarrow.Tools.Diagrams.Svg |
| Inverses | |
| 1 (Type/Class) | Proarrow.Tools.Laws |
| 2 (Data Constructor) | Proarrow.Tools.Laws |
| inverses | Proarrow.Tools.Laws |
| invmap | Proarrow.Testing |
| involuted | Proarrow.Adjunction |
| Involution | Proarrow.Adjunction |
| Is | Proarrow.Core |
| IsBool | Proarrow.Category.Instance.Bool |
| isClosed | Proarrow.Category.Enriched.Finitary.Sheaf |
| IsCorepColimit | Proarrow.Colimit |
| IsCost | Proarrow.Category.Instance.Cost |
| isCovering | Proarrow.Category.Enriched.Finitary.Sheaf |
| isDense | Proarrow.Category.Enriched.Finitary.Sheaf |
| isEpi | Proarrow.Colimit.Pushout |
| isEq | Proarrow.Category.Topos |
| IsFreeOb | Proarrow.Category.Instance.Free |
| isFunctional | Proarrow.Category.Instance.Rel |
| isGenNonEmpty | Proarrow.Testing |
| isInjective | Proarrow.Category.Instance.Rel |
| IsList | Proarrow.Category.Monoidal.Strictified |
| IsLR | |
| 1 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Collage |
| isMaximal | Proarrow.Category.Enriched.Finitary.Sheaf |
| isMono | Proarrow.Limit.Pullback |
| IsNat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| Iso | Proarrow.Optic.Iso, Proarrow.Optics, Proarrow |
| iso | Proarrow.Optic, Proarrow.Optics, Proarrow |
| Iso' | Proarrow.Optic.Iso, Proarrow.Optics, Proarrow |
| IsOb | Proarrow.Path |
| IsObExp | Proarrow.Profunctor.Instance.Exponential |
| IsObMult | Proarrow.Category.Instance.Sub |
| IsObProd | Proarrow.Category.Instance.Sub |
| IsoFl | Proarrow.Optic.Iso |
| IsOptic | Proarrow.Squares |
| IsOrdinal | Proarrow.Category.Instance.Ordinal |
| isoToInt | Proarrow.Category.Instance.IntConstruction |
| IsPath | Proarrow.Path |
| IsPN | Proarrow.Category.Instance.Duploid |
| IsPresheafSub | Proarrow.Category.Instance.Fam |
| isReflexive | Proarrow.Category.Instance.Rel |
| IsRepresentableLimit | Proarrow.Limit |
| isSheaf | Proarrow.Category.Enriched.Finitary.Sheaf |
| isSurjective | Proarrow.Category.Instance.Rel |
| IsTight | Proarrow.Path |
| isTotal | Proarrow.Category.Instance.Rel |
| isTransitive | Proarrow.Category.Instance.Rel |
| isZero | Proarrow.Category.Instance.ZX |
| ixed | Proarrow.Tools.Diagrams.Dot |
| ixs | Proarrow.Tools.Diagrams.Dot |
| Join | |
| 1 (Type/Class) | Proarrow.Category.Sheaf |
| 2 (Data Constructor) | Proarrow.Monoid |
| joined | Proarrow.Tools.Diagrams.Svg |
| joinOf | Proarrow.Category.Sheaf |
| Joins | Proarrow.Category.Sheaf |
| k1Optic | Proarrow.Optic.MonoidalTraversal |
| kaleidoAct | Proarrow.Optic.Kaleidoscope |
| KaleidoFl | Proarrow.Optic.Kaleidoscope |
| kaleidoP | Proarrow.Optic.Kaleidoscope |
| Kaleidoscope | Proarrow.Optic.Kaleidoscope, Proarrow.Optics, Proarrow |
| kaleidoscope | Proarrow.Optic.Kaleidoscope, Proarrow.Optics, Proarrow |
| Kaleidoscope' | Proarrow.Optic.Kaleidoscope, Proarrow.Optics, Proarrow |
| kaleidoscopeOf | Proarrow.Optic.Kaleidoscope, Proarrow.Optics, Proarrow |
| Kaleidoscopic | Proarrow.Optic.Kaleidoscope |
| kappa | Proarrow.Tools.Diagrams.Svg |
| kernel | Proarrow.Limit.Equalizer |
| kernelPair | Proarrow.Limit.Pullback |
| Key | |
| 1 (Type/Class) | Proarrow.Profunctor.Corepresentable |
| 2 (Type/Class) | Proarrow.Profunctor.Representable |
| Kind | Proarrow.Core |
| KL | Proarrow.Category.Instance.Kleisli |
| KLEISLI | Proarrow.Category.Instance.Kleisli |
| Kleisli | |
| 1 (Type/Class) | Proarrow.Category.Instance.Kleisli |
| 2 (Data Constructor) | Proarrow.Category.Instance.Kleisli |
| KleisliForget | |
| 1 (Type/Class) | Proarrow.Category.Instance.Kleisli |
| 2 (Data Constructor) | Proarrow.Category.Instance.Kleisli |
| KleisliFree | |
| 1 (Type/Class) | Proarrow.Category.Instance.Kleisli |
| 2 (Data Constructor) | Proarrow.Category.Instance.Kleisli |
| KnownCtx | Proarrow.Tools.CCC |
| KnownEdges | Proarrow.Profunctor.Instance.Edges |
| KnownFibres | Proarrow.Category.Enriched.Finitary.Topos |
| KnownIndex | Proarrow.Category.Enriched.Thin |
| KnownList | Proarrow.Category.Enriched.Thin |
| KnownNats | Proarrow.Category.Enriched.Finitary.Topos |
| KnownTable | Proarrow.Category.Enriched.Finitary.Topos |
| KnownTables | Proarrow.Category.Enriched.Finitary.Topos |
| KnownWire | Proarrow.Tools.Diagrams.Svg |
| L | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.List |
| 2 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Linear |
| 4 (Type/Class) | Proarrow.Category.Instance.Collage |
| L2R | Proarrow.Category.Instance.Collage |
| Label | Proarrow.Tools.Diagrams.Svg |
| label | Proarrow.Tools.Laws |
| Labelled | Proarrow.Tools.Laws |
| labelRow | Proarrow.Tools.Diagrams.Svg |
| lam | Proarrow.Tools.CCC |
| Lan | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| Law | |
| 1 (Type/Class) | Proarrow.Tools.Laws |
| 2 (Data Constructor) | Proarrow.Tools.Laws |
| LawBody | Proarrow.Tools.Laws |
| lawName | Proarrow.Tools.Laws |
| lawNode | Proarrow.Tools.Diagrams.Svg |
| Laws | Proarrow.Tools.Laws |
| laws | Proarrow.Tools.Laws |
| lawSvgs | Proarrow.Tools.Diagrams.Svg |
| lawSvgsWith | Proarrow.Tools.Diagrams.Svg |
| lawvereTierney | Proarrow.Category.Enriched.Finitary.Sheaf |
| lawvereTierneyLaws | Proarrow.Testing.Laws |
| LaxMonoidal | Proarrow.Category.Monoidal |
| LaxMonoidalCorep | Proarrow.Category.Monoidal |
| Layout | Proarrow.Tools.Diagrams.Svg |
| layout | Proarrow.Tools.Diagrams.Svg |
| layoutHeight | Proarrow.Tools.Diagrams.Svg |
| leastDenseSieve | Proarrow.Category.Enriched.Finitary.Sheaf |
| left | Proarrow.Colimit.BinaryCoproduct |
| left' | Proarrow.Category.Monoidal.Strength |
| leftAdjointPreservesColimits | Proarrow.Adjunction |
| leftAdjointPreservesColimitsInv | Proarrow.Adjunction |
| leftAdjunct | Proarrow.Adjunction, Proarrow |
| LeftFirst | Proarrow.Tools.Diagrams.Svg |
| leftInverse | Proarrow.Tools.Laws |
| LeftProadjoint | Proarrow.Adjunction |
| LeftUnitor | Proarrow.Category.Monoidal |
| leftUnitor | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal |
| leftUnitor' | Proarrow.Category.Monoidal |
| leftUnitorCoprod | Proarrow.Colimit.BinaryCoproduct |
| leftUnitorCoprodInv | Proarrow.Colimit.BinaryCoproduct |
| LeftUnitorInv | Proarrow.Category.Monoidal |
| leftUnitorInv | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal |
| leftUnitorInv' | Proarrow.Category.Monoidal |
| leftUnitorInvWith | Proarrow.Category.Monoidal |
| leftUnitorIso | Proarrow.Category.Monoidal |
| leftUnitorProd | Proarrow.Limit.BinaryProduct |
| leftUnitorProdInv | Proarrow.Limit.BinaryProduct |
| leftUnitorWith | Proarrow.Category.Monoidal |
| Leg | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Cone |
| 2 (Type/Class) | Proarrow.Category.Sheaf, Proarrow.Category.Sheaf |
| legArrow | Proarrow.Category.Sheaf |
| legBelow | Proarrow.Category.Sheaf |
| legs | Proarrow.Category.Sheaf |
| legs2prof | Proarrow.Optic |
| len | Proarrow.Tools.Diagrams.Dot |
| Length | Proarrow.Category.Enriched.Thin |
| Lens | Proarrow.Optic.Lens, Proarrow.Optics, Proarrow |
| lens | Proarrow.Optic.Lens, Proarrow.Optics, Proarrow |
| Lens' | Proarrow.Optic.Lens, Proarrow.Optics, Proarrow |
| LensFl | Proarrow.Optic.Lens |
| LensVL | Proarrow.Optic.Lens |
| lensVL | Proarrow.Optic.Lens |
| Lft | |
| 1 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Colimit.BinaryCoproduct |
| lft | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Function) | Proarrow.Tools.CCC |
| lft' | Proarrow.Colimit.BinaryCoproduct |
| Lift | Proarrow.Profunctor.Free |
| lift | |
| 1 (Function) | Proarrow.Tools.CCC |
| 2 (Function) | Proarrow.Profunctor.Free |
| LiftA2 | Proarrow.Profunctor.Free |
| liftA2 | Proarrow.Category.Monoidal.Applicative |
| liftA3 | Proarrow.Category.Monoidal.Applicative |
| LIFTEDF | Proarrow.Category.Instance.Kleisli |
| LiftF | Proarrow.Category.Instance.Kleisli |
| liftFree | Proarrow.Category.Instance.Free |
| liftK | Proarrow.Profunctor.Free |
| Limit | Proarrow.Limit |
| limit | Proarrow.Limit |
| LimitAdj | |
| 1 (Type/Class) | Proarrow.Adjunction |
| 2 (Data Constructor) | Proarrow.Adjunction |
| limitUniv | Proarrow.Limit |
| LinDist | Proarrow.Category.Monoidal.StarAutonomous |
| linDist | Proarrow.Category.Monoidal.StarAutonomous |
| linDistHG | Proarrow.Category.Monoidal.Hypergraph |
| LinDistInv | Proarrow.Category.Monoidal.StarAutonomous |
| linDistInv | Proarrow.Category.Monoidal.StarAutonomous |
| linDistInvHG | Proarrow.Category.Monoidal.Hypergraph |
| linDistInvS | Proarrow.Category.Monoidal.StarAutonomous |
| linDistS | Proarrow.Category.Monoidal.StarAutonomous |
| Line | Proarrow.Tools.Diagrams.Svg |
| line | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| LINEAR | Proarrow.Category.Instance.Linear |
| Linear | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| LIST | Proarrow.Profunctor.Instance.List |
| List | Proarrow.Profunctor.Instance.List |
| listCase | Proarrow.Category.Monoidal.Strictified |
| listen | Proarrow.Promonad.Writer |
| ListF | Proarrow.Profunctor.Instance.Fix |
| lmap | |
| 1 (Function) | Proarrow.Core, Proarrow |
| 2 (Function) | Proarrow.Category.Enriched |
| local | Proarrow.Promonad.Reader |
| LocallyFinite | Proarrow.Category.Enriched.Finitary |
| Lookup | Proarrow.Category.Enriched.Thin |
| lookupOb | Proarrow.Category.Enriched.Thin |
| Loop | Proarrow.Tools.Diagrams.Svg |
| loopClearance | Proarrow.Tools.Diagrams.Svg |
| loopGap | Proarrow.Tools.Diagrams.Svg |
| loops | Proarrow.Tools.Diagrams.Svg |
| Lower | Proarrow.Category.Instance.Free |
| lower | |
| 1 (Function) | Proarrow.Category.Monoidal.Closed |
| 2 (Function) | Proarrow.Profunctor.Cofree |
| lowerOb | Proarrow.Category.Instance.Free |
| lowerS | Proarrow.Category.Monoidal.Closed |
| lrCase | Proarrow.Category.Instance.Coproduct |
| lrId | Proarrow.Category.Instance.Collage |
| LTE | Proarrow.Category.Instance.Ordinal |
| lteTrans | Proarrow.Category.Instance.Cost |
| M | |
| 1 (Type/Class) | Proarrow.Category.Instance.Monoid |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| m1Optic | Proarrow.Optic.MonoidalTraversal |
| map | Proarrow.Functor, Proarrow |
| mapBase | Proarrow.Limit.Power |
| mapCobase | Proarrow.Colimit.Copower |
| mapColimit | Proarrow.Colimit |
| mapCopower | Proarrow.Colimit.Copower |
| mapCorepStar | Proarrow.Profunctor.Representable |
| mapDecision | Proarrow.Category.Enriched.Thin |
| mapDown | Proarrow.Category.Instance.Duploid |
| mapLimit | Proarrow.Limit |
| mapMaybe | Proarrow.Category.Instance.PointedHask |
| mappend | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| mappendAct | Proarrow.Monoid |
| mappendDefault | Proarrow.Category.Instance.PointedHask |
| mappendS | Proarrow.Monoid |
| mapPower | Proarrow.Limit.Power |
| mapRepCostar | Proarrow.Profunctor.Representable |
| mapSome | Proarrow.Testing |
| mapUp | Proarrow.Category.Instance.Duploid |
| MapWrap | Proarrow.Category.Enriched.Thin |
| mapWrap | Proarrow.Category.Enriched.Thin |
| Mat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Mat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Mat |
| matching | Proarrow.Optic.AffineTraversal, Proarrow.Optics, Proarrow |
| matchingP | Proarrow.Optic.Prism |
| MatCol | Proarrow.Category.Enriched.Thin.Composition |
| matId | Proarrow.Category.Instance.Mat |
| MatK | Proarrow.Category.Instance.Mat |
| MatMul | Proarrow.Category.Enriched.Thin.Composition |
| MatrixSize | Proarrow.Category.Instance.ZX |
| MatVec | Proarrow.Category.Enriched.Thin.Composition |
| maximalSieve | Proarrow.Profunctor.Instance.Sieve |
| maybeLiftsSemigroup | Proarrow.Category.Instance.Constraint |
| meaningOf | Proarrow.Tools.Diagrams.Svg |
| Member | Proarrow.Category.Enriched.Thin |
| member | Proarrow.Category.Enriched.Thin |
| memberIndex | Proarrow.Category.Enriched.Thin |
| mempty | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| memptyAct | Proarrow.Monoid |
| memptyDefault | Proarrow.Category.Instance.PointedHask |
| memptyS | Proarrow.Monoid |
| MergePoint | Proarrow.Tools.Diagrams.Svg |
| MinIs | Proarrow.Category.Enriched.Quantale |
| minIs | Proarrow.Category.Enriched.Quantale |
| MinLeft | Proarrow.Category.Enriched.Quantale |
| MinRight | Proarrow.Category.Enriched.Quantale |
| minusState | Proarrow.Category.Instance.ZX |
| mirror | |
| 1 (Function) | Proarrow.Tools.Diagrams.Svg |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| mkCons | Proarrow.Profunctor.Instance.List |
| mkExponential | Proarrow.Category.Monoidal.Closed |
| mkExponentialS | Proarrow.Category.Monoidal.Closed |
| mkOptic | Proarrow.Squares |
| mkPar | Proarrow.Category.Instance.Linear |
| MkSomeList | Proarrow.Testing |
| mkSomeList | Proarrow.Testing |
| mkTambara | Proarrow.Profunctor.Instance.PastroTambara |
| mkWith | Proarrow.Category.Instance.Linear |
| mkYoneda | Proarrow.Profunctor.Instance.Yoneda |
| Mod | Proarrow.Optic.Glass |
| Mon | |
| 1 (Type/Class) | Proarrow.Category.Instance.Monoid |
| 2 (Data Constructor) | Proarrow.Category.Instance.Monoid |
| monActDefault | Proarrow.Category.Monoidal.Strength |
| Monad | Proarrow.Promonad, Proarrow |
| monLens | Proarrow.Optic.MonoidalLens, Proarrow.Optics, Proarrow |
| MonLensFl | Proarrow.Optic.MonoidalLens |
| MONOID | Proarrow.Category.Instance.Monoid |
| Monoid | Proarrow.Monoid, Proarrow |
| Monoidal | Proarrow.Category.Monoidal |
| MonoidalAction | Proarrow.Category.Monoidal.Action |
| MonoidalLens | Proarrow.Optic.MonoidalLens, Proarrow.Optics, Proarrow |
| MonoidalLens' | Proarrow.Optic.MonoidalLens, Proarrow.Optics, Proarrow |
| MonoidalOrdinal | Proarrow.Category.Instance.Ordinal |
| MonoidalProfunctor | Proarrow.Category.Monoidal |
| MonoidalTraversal | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| MonoidalTraversal' | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| MonoidalW | Proarrow.Testing.Laws.Run |
| MonoidSupplyW | Proarrow.Testing.Laws.Run |
| MonStrong | Proarrow.Category.Monoidal.Strength |
| monTraverseOf | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| MonTravFl | Proarrow.Optic.Traversal |
| monTravP | Proarrow.Optic.Traversal |
| move | Proarrow.Tools.Diagrams.Svg |
| Mul | Proarrow.Tools.CCC |
| mult | |
| 1 (Function) | Proarrow.Category.Instance.FinSet |
| 2 (Function) | Proarrow.Category.Instance.FinRel |
| multDayExp | Proarrow.Profunctor.Instance.Day |
| multiplicator | Proarrow.Category.Monoidal.Action |
| multiplicatorInv | Proarrow.Category.Monoidal.Action |
| multOptic | Proarrow.Optic.MonoidalTraversal |
| multQuest | Proarrow.Category.Instance.Linear |
| MultRep | Proarrow.Category.Monoidal |
| mupdate | Proarrow.Optic.Setter |
| N | Proarrow.Category.Instance.Duploid |
| names | Proarrow.Tools.Diagrams.Dot |
| Nat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| 3 (Data Constructor) | Proarrow.Category.Instance.Nat |
| nat | Proarrow.Category.Instance.ZX |
| Nat' | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| natAt | Proarrow.Category.Enriched.Finitary.Topos |
| natConditions | Proarrow.Category.Enriched.Finitary.Topos |
| natDomain | Proarrow.Category.Enriched.Finitary.Topos |
| natElements | Proarrow.Category.Enriched.Finitary.Topos |
| NatEq | Proarrow.Category.Enriched.Thin |
| natEq | Proarrow.Category.Enriched.Thin |
| natIndex | Proarrow.Category.Enriched.Finitary.Topos |
| NatKey | Proarrow.Category.Enriched.Finitary.Topos |
| natKey | Proarrow.Category.Enriched.Finitary.Topos |
| natLaws | Proarrow.Category.Enriched.Finitary.Topos |
| natPositions | Proarrow.Category.Enriched.Finitary.Topos |
| natPositionsBy | Proarrow.Category.Enriched.Finitary.Topos |
| natsVal | Proarrow.Category.Enriched.Finitary.Topos |
| natTable | Proarrow.Category.Enriched.Finitary.Topos |
| natTransformations | Proarrow.Category.Enriched.Finitary.Topos |
| Neg | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| 3 (Type/Class) | Proarrow.Category.Instance.Duploid |
| NegComp | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| NextRow | Proarrow.Category.Enriched.Thin.Composition |
| NFold | Proarrow.Category.Monoidal |
| NFoldS | Proarrow.Category.Monoidal |
| Nil | |
| 1 (Type/Class) | Proarrow.Path |
| 2 (Data Constructor) | Proarrow.Category.Instance.Free |
| 3 (Data Constructor) | Proarrow.Profunctor.Instance.List |
| 4 (Data Constructor) | Proarrow.Profunctor.Instance.Fix |
| nil | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Function) | Proarrow.Category.Instance.PointedHask |
| NNO | Proarrow.Colimit.NaturalNumbers |
| nnoUniv | Proarrow.Colimit.NaturalNumbers |
| No | Proarrow.Category.Enriched.Thin |
| no | Proarrow.Category.Instance.Zero |
| NoAction | Proarrow.Category.Monoidal.Action |
| noArrow | Proarrow.Category.Enriched.Thin |
| Node | Proarrow.Tools.Diagrams.Svg |
| node | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| node' | Proarrow.Tools.Diagrams.Dot |
| nodeGeo | Proarrow.Tools.Diagrams.Svg |
| NodeKind | Proarrow.Tools.Diagrams.Dot |
| nodeOf | Proarrow.Tools.Diagrams.Dot |
| nodeOrder | Proarrow.Tools.Diagrams.Dot |
| nodes | Proarrow.Tools.Diagrams.Dot |
| noIndex | Proarrow.Category.Enriched.Thin |
| NonTrivialHolds | Proarrow.Category.Instance.Bool |
| NonTrivialProfunctor | Proarrow.Category.Instance.Bool |
| Not | |
| 1 (Type/Class) | Proarrow.Category.Instance.Bool |
| 2 (Type/Class) | Proarrow.Category.Monoidal.Closed |
| 3 (Type/Class) | Proarrow.Category.Instance.Linear |
| not | |
| 1 (Function) | Proarrow.Category.Topos |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| 3 (Function) | Proarrow.Category.Instance.Linear |
| not' | Proarrow.Category.Instance.Linear |
| notQuest | Proarrow.Category.Instance.Linear |
| noUnits | Proarrow.Tools.Diagrams.Svg |
| NT | Proarrow.Category.Instance.Nat |
| num | Proarrow.Tools.Diagrams.Svg |
| NumArrs | Proarrow.Category.Internal |
| NumObs | Proarrow.Category.Internal |
| o | Proarrow.Profunctor.Instance.Composition |
| OB | Proarrow.Core |
| Ob | Proarrow.Core, Proarrow |
| Ob' | Proarrow.Core, Proarrow.Object, Proarrow |
| obCount | Proarrow.Category.Internal |
| obFromTestOb | Proarrow.Testing |
| ObId | Proarrow.Core, Proarrow |
| ObIx | |
| 1 (Type/Class) | Proarrow.Category.Internal |
| 2 (Data Constructor) | Proarrow.Category.Internal |
| Obj | |
| 1 (Type/Class) | Proarrow.Core, Proarrow.Object, Proarrow |
| 2 (Data Constructor) | Proarrow.Object |
| obj | Proarrow.Core, Proarrow.Object, Proarrow |
| obj1 | Proarrow.Category.Monoidal.Strictified |
| obj2 | Proarrow.Category.Monoidal |
| ObjDict | |
| 1 (Type/Class) | Proarrow.Object |
| 2 (Data Constructor) | Proarrow.Object |
| objDicts | Proarrow.Object |
| object | Proarrow.Squares |
| Objects | Proarrow.Category.Enriched.Thin |
| objId | Proarrow.Core, Proarrow |
| objIndex | Proarrow.Category.Enriched.Finitary |
| Objs | Proarrow.Object, Proarrow |
| obNum | Proarrow.Category.Internal |
| Obs | Proarrow.Category.Monoidal.Strictified |
| Omega | Proarrow.Category.Topos |
| On | Proarrow.Category.Instance.Sub |
| OnE | Proarrow.Category.Monoidal.EndoProf |
| one | Proarrow.Category.Monoidal |
| oneElem | Proarrow.Testing |
| oneOfTotal | Proarrow.Testing |
| oneState | Proarrow.Category.Instance.ZX |
| oneV | Proarrow.Category.Instance.Mat |
| OnLeft | Proarrow.Tools.Diagrams.Svg |
| Only | Proarrow.Category.Sheaf |
| onRank | Proarrow.Tools.Diagrams.Dot |
| OnRight | Proarrow.Tools.Diagrams.Svg |
| OP | Proarrow.Category.Instance.Opposite |
| Op | |
| 1 (Type/Class) | Proarrow.Category.Instance.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Instance.Opposite |
| OpAction | Proarrow.Category.Monoidal.Action |
| OpConstraint | Proarrow.Optic |
| OpCorepresentable | Proarrow.Category.Instance.Rep |
| openTopology | Proarrow.Category.Topos |
| OpFlavor | Proarrow.Optic |
| OplaxMonoidal | Proarrow.Category.Monoidal |
| OplaxMonoidalRep | Proarrow.Category.Monoidal |
| OpLens | Proarrow.Optic.Prism |
| opOptic | Proarrow.Optic |
| OPPOSITE | Proarrow.Category.Instance.Opposite |
| OPT | Proarrow.Optic |
| optGen | Proarrow.Testing |
| OPTIC | Proarrow.Optic |
| Optic | |
| 1 (Type/Class) | Proarrow.Optic, Proarrow.Optics, Proarrow |
| 2 (Data Constructor) | Proarrow.Optic |
| Optic' | Proarrow.Optic, Proarrow.Optics, Proarrow |
| Optic_ | Proarrow.Optic |
| Options | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| OptL | Proarrow.Optic |
| OptR | Proarrow.Optic |
| or | Proarrow.Category.Topos |
| OrdAt | Proarrow.Category.Instance.Ordinal |
| ordAtOb | Proarrow.Category.Instance.Ordinal |
| ORDINAL | Proarrow.Category.Instance.Ordinal |
| ORDINAL0 | Proarrow.Category.Instance.Ordinal |
| ORDINAL1 | Proarrow.Category.Instance.Ordinal |
| ORDINAL2 | Proarrow.Category.Instance.Ordinal |
| ORDINAL3 | Proarrow.Category.Instance.Ordinal |
| OrdIndex | Proarrow.Category.Instance.Ordinal |
| OrdLeq | Proarrow.Category.Instance.Ordinal |
| OrdObjects | Proarrow.Category.Instance.Ordinal |
| ordSize | Proarrow.Category.Instance.Ordinal |
| OS | Proarrow.Category.Instance.Ordinal |
| out | Proarrow.Profunctor.Instance.Fix |
| outputs | Proarrow.Tools.Diagrams.Dot |
| over | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| overP | Proarrow.Optic.Setter |
| OZ | Proarrow.Category.Instance.Ordinal |
| P | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (Type/Class) | Proarrow.Category.Instance.Duploid |
| pairFst | Proarrow.Category.Instance.Linear |
| pairIndex | Proarrow.Category.Enriched.Finitary |
| pairSnd | Proarrow.Category.Instance.Linear |
| Par | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| 3 (Data Constructor) | Proarrow.Category.Monoidal |
| Par0 | Proarrow.Category.Monoidal |
| par0Corep | Proarrow.Category.Monoidal |
| par0Rep | Proarrow.Category.Monoidal |
| par1Optic | Proarrow.Optic.MonoidalTraversal |
| parAppL | Proarrow.Category.Instance.Linear |
| parAppR | Proarrow.Category.Instance.Linear |
| parCorep | Proarrow.Category.Monoidal |
| parCorepCocartesian | Proarrow.Colimit.BinaryCoproduct |
| parN | Proarrow.Category.Promonoidal |
| parRep | Proarrow.Category.Monoidal |
| Pastro | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.PastroTambara |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.PastroTambara |
| pastro | Proarrow.Profunctor.Instance.PastroTambara |
| Path | |
| 1 (Type/Class) | Proarrow.Path |
| 2 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| path | Proarrow.Tools.Diagrams.Svg |
| pathLength | Proarrow.Category.Instance.Paths |
| PATHS | Proarrow.Category.Instance.Paths |
| Paths | Proarrow.Category.Instance.Paths |
| PCons | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Paths |
| 2 (Data Constructor) | Proarrow.Category.Promonoidal |
| permutation | Proarrow.Tools.Diagrams.Svg |
| Permute | Proarrow.Tools.Diagrams.Svg |
| Pick | Proarrow.Category.Instance.Simplex |
| pick | Proarrow.Category.Instance.FinRel |
| Piece | Proarrow.Tools.Diagrams.Svg |
| PIso | Proarrow.Optic |
| PIso' | Proarrow.Optic |
| Plain | Proarrow.Tools.Diagrams.Svg |
| PList | Proarrow.Category.Promonoidal |
| Plus | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Finitary.Sheaf |
| 2 (Data Constructor) | Proarrow.Category.Enriched.Finitary.Sheaf |
| plusElements | Proarrow.Category.Enriched.Finitary.Sheaf |
| plusMonotone | Proarrow.Category.Instance.Cost |
| plusOptic | Proarrow.Optic.MonoidalTraversal |
| PlusRep | Proarrow.Colimit.BinaryCoproduct |
| plusState | Proarrow.Category.Instance.ZX |
| plusTable | Proarrow.Category.Enriched.Finitary.Sheaf |
| pn | Proarrow.Category.Instance.Duploid |
| PNil | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Paths |
| 2 (Data Constructor) | Proarrow.Category.Promonoidal |
| Point | Proarrow.Tools.Diagrams.Svg |
| POINTED | Proarrow.Category.Instance.PointedHask |
| Pointed | Proarrow.Category.Instance.PointedHask |
| PointKind | Proarrow.Tools.Diagrams.Svg |
| Points | Proarrow.Tools.Diagrams.Svg |
| points | Proarrow.Tools.Diagrams.Svg |
| pointsPerWire | Proarrow.Tools.Diagrams.Dot |
| PointwiseLeftKanExtension | Proarrow.Profunctor.Instance.Rift |
| PointwiseLeftKanLift | Proarrow.Profunctor.Instance.Ran |
| PointwiseRightKanExtension | Proarrow.Profunctor.Instance.Ran |
| PointwiseRightKanLift | Proarrow.Profunctor.Instance.Rift |
| Poly | Proarrow.Category.Instance.Fam |
| pop | Proarrow.Category.Instance.FinRel |
| Port | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 3 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| port | Proarrow.Tools.Diagrams.Svg |
| portedLabel | Proarrow.Tools.Diagrams.Dot |
| portKind | Proarrow.Tools.Diagrams.Svg |
| portLegs | Proarrow.Tools.Diagrams.Svg |
| portOf | Proarrow.Tools.Diagrams.Dot |
| ports | Proarrow.Tools.Diagrams.Svg |
| portX | Proarrow.Tools.Diagrams.Svg |
| Pos | Proarrow.Category.Instance.Duploid |
| position | Proarrow.Category.Instance.FinHask |
| Pow | |
| 1 (Type/Class) | Proarrow.Optic.PowerGrate |
| 2 (Data Constructor) | Proarrow.Optic.PowerGrate |
| Power | |
| 1 (Data Constructor) | Proarrow.Limit.Power |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| power | Proarrow.Limit.Power |
| Powered | Proarrow.Limit.Power |
| PowerGrate | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| powerGrate | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| PowerGrate' | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| PowerGrateFl | Proarrow.Optic.PowerGrate |
| powerGrateOf | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| powerGrateP | Proarrow.Optic.PowerGrate |
| PowerLimit | Proarrow.Limit |
| PR | Proarrow.Limit.BinaryProduct |
| Prd | Proarrow.Limit.BinaryProduct |
| Precomp | Proarrow.Category.Monoidal.EndoProf |
| preimage | Proarrow.Category.Enriched.Finitary.Topos |
| preimageMaybe | Proarrow.Category.Enriched.Finitary.Topos |
| Prelude | |
| 1 (Type/Class) | Proarrow.Functor, Proarrow |
| 2 (Data Constructor) | Proarrow.Functor, Proarrow |
| premon | Proarrow.Category.Monoidal.Strength |
| Preorder | Proarrow.Category.Instance.Rel |
| Presheaf | Proarrow.Functor |
| preview | Proarrow.Optic.AffineFold, Proarrow.Optics, Proarrow |
| previewP | Proarrow.Optic.AffineFold |
| prim | Proarrow.Testing.Laws.Run |
| Prism | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| prism | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| Prism' | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| PrismFl | Proarrow.Optic.Prism |
| proact | Proarrow.Optic |
| Proadjunction | Proarrow.Adjunction |
| Procomonad | Proarrow.Promonad |
| PROD | Proarrow.Limit.BinaryProduct |
| Prod | |
| 1 (Type/Class) | Proarrow.Limit.BinaryProduct |
| 2 (Data Constructor) | Proarrow.Limit.BinaryProduct |
| prod | Proarrow.Profunctor.Instance.Product |
| ProdAction | Proarrow.Category.Monoidal.Action |
| ProdAction' | Proarrow.Category.Monoidal.Action |
| ProdAsGraph | Proarrow.Category.Instance.Graph |
| ProdFl | Proarrow.Optic.Prod |
| prodOptic | Proarrow.Optic.Prod |
| ProdToTensor | Proarrow.Category.Monoidal.Cartesian |
| prodToTensor | Proarrow.Category.Monoidal.Cartesian |
| Product | Proarrow.Limit.BinaryProduct |
| ProductLimit | Proarrow.Limit |
| ProductsW | Proarrow.Testing.Laws.Run |
| productToTensor | Proarrow.Category.Monoidal.Cartesian |
| produplicate | Proarrow.Promonad |
| ProEquation | Proarrow.Tools.Laws |
| proextract | Proarrow.Promonad |
| Prof | |
| 1 (Type/Class) | Proarrow.Category.Instance.Prof |
| 2 (Data Constructor) | Proarrow.Category.Instance.Prof |
| 3 (Data Constructor) | Proarrow.Path |
| prof2ex | Proarrow.Optic |
| Profunctor | Proarrow.Core, Proarrow |
| project | Proarrow.Profunctor.Instance.Fix |
| project' | Proarrow.Profunctor.Instance.Fix |
| ProjJ | Proarrow.Category.Instance.Graph |
| ProjK | Proarrow.Category.Instance.Graph |
| ProjTo2 | Proarrow.Category.Instance.Collage |
| ProLaw | |
| 1 (Type/Class) | Proarrow.Tools.Laws |
| 2 (Data Constructor) | Proarrow.Tools.Laws |
| ProLaw3 | Proarrow.Tools.Laws |
| ProLawBody | Proarrow.Tools.Laws |
| ProLawBody3 | Proarrow.Tools.Laws |
| proLawName | Proarrow.Tools.Laws |
| ProLaws | Proarrow.Tools.Laws |
| proLaws | Proarrow.Tools.Laws |
| proLawSvgs | Proarrow.Tools.Diagrams.Svg |
| proLawSvgsWith | Proarrow.Tools.Diagrams.Svg |
| Promonad | Proarrow.Core, Proarrow.Promonad, Proarrow |
| Promonoid | Proarrow.Category.Promonoidal |
| PromonoidalProfunctor | Proarrow.Category.Promonoidal |
| ProObj | Proarrow.Category.Enriched |
| propCartesianAt | Proarrow.Testing.Laws |
| propCocommutativeComonoid | Proarrow.Testing.Laws |
| propCommutativeMonoid | Proarrow.Testing.Laws |
| propDecidable | Proarrow.Testing.Laws |
| propFactorsThroughLeg | Proarrow.Testing.Laws |
| propFrobenius | Proarrow.Testing.Laws |
| propFunctor | Proarrow.Testing.Laws |
| propGluesBack | Proarrow.Testing.Laws |
| propIso | Proarrow.Testing.Laws |
| propIso' | Proarrow.Testing.Laws |
| propIsoP | Proarrow.Testing.Laws |
| propMonoid | Proarrow.Testing.Laws |
| propNaturalIsoP | Proarrow.Testing.Laws |
| propNaturalTransformation | Proarrow.Testing.Laws |
| propNumbering | Proarrow.Testing.Laws |
| propReflectsEq | Proarrow.Testing.Laws |
| Prostrong | Proarrow.Optic |
| PROTENSOR | Proarrow.Category.Promonoidal |
| Protensor | Proarrow.Category.Promonoidal |
| Prune | Proarrow.Monoid |
| Pt | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Category.Instance.PointedHask |
| pt | Proarrow.Tools.Diagrams.Svg |
| PTH | Proarrow.Category.Instance.Paths |
| PTracer | Proarrow.Optic.Tracer |
| PTraversal | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| PTraversal' | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| PTraversalFull | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| Pullback | Proarrow.Category.Instance.Cospan |
| pullback | Proarrow.Limit.Pullback |
| pullbackAlongId | Proarrow.Category.Sheaf |
| pullbackCover | Proarrow.Category.Sheaf |
| pullbackDefault | Proarrow.Limit.Equalizer |
| pullbackJoin | Proarrow.Category.Sheaf |
| PulledBack | |
| 1 (Type/Class) | Proarrow.Category.Sheaf |
| 2 (Data Constructor) | Proarrow.Category.Sheaf |
| Pure | Proarrow.Profunctor.Free |
| pure | Proarrow.Category.Monoidal.Applicative |
| PureLawBody | Proarrow.Tools.Laws |
| push | Proarrow.Category.Instance.FinRel |
| Pushout | Proarrow.Category.Instance.Cospan |
| pushout | Proarrow.Colimit.Pushout |
| pushoutComplement | Proarrow.Tools.DPO |
| pushoutDefault | Proarrow.Colimit.Coequalizer |
| put | Proarrow.Promonad.State |
| putP | Proarrow.Optic.Lens |
| PWLan | Proarrow.Profunctor.Instance.Rift |
| PWLift | Proarrow.Profunctor.Instance.Ran |
| PWRan | Proarrow.Profunctor.Instance.Ran |
| PWRift | Proarrow.Profunctor.Instance.Rift |
| Quantale | Proarrow.Category.Enriched.Quantale |
| Quarter | Proarrow.Tools.Diagrams.Svg |
| Quest | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| questPar | Proarrow.Category.Instance.Linear |
| Quotient | Proarrow.Category.Enriched.Finitary.Topos |
| 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 |
| S | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| samePlus | Proarrow.Category.Enriched.Finitary.Sheaf |
| sampleK | Proarrow.Testing |
| sampleP | Proarrow.Testing |
| sampleT | Proarrow.Testing |
| Sat | Proarrow.Path |
| SC | Proarrow.Category.Instance.Cost |
| Scalar | Proarrow.Category.Monoidal |
| SCons | |
| 1 (Data Constructor) | Proarrow.Path |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| SCost | Proarrow.Category.Instance.Cost |
| SDuploidObj | Proarrow.Category.Instance.Duploid |
| Search | Proarrow.Category.Enriched.Thin.Composition |
| search | Proarrow.Category.Enriched.Thin.Composition |
| second | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Limit.BinaryProduct |
| second' | Proarrow.Category.Monoidal.Strength |
| section | Proarrow.Profunctor.Cofree |
| segment | Proarrow.Tools.Diagrams.Svg |
| SelfAdjoint | Proarrow.Adjunction |
| SelfAdjointPoint | Proarrow.Adjunction |
| selfCopowered | Proarrow.Colimit.Copower |
| selfPowered | Proarrow.Limit.Power |
| selfUncopowered | Proarrow.Colimit.Copower |
| selfUnpowered | Proarrow.Limit.Power |
| Semicartesian | Proarrow.Limit.Terminal |
| Seq | Proarrow.Tools.Diagrams.Svg |
| seq | Proarrow.Squares |
| set | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| Setter | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| Setter' | Proarrow.Optic.Setter, Proarrow.Optics, Proarrow |
| SetterFl | Proarrow.Optic.Setter |
| Shape | Proarrow.Tools.Diagrams.Svg |
| shape | Proarrow.Tools.Diagrams.Svg |
| Sheaf | Proarrow.Category.Sheaf |
| sheafAt | Proarrow.Category.Enriched.Finitary.Sheaf |
| Sheafify | Proarrow.Category.Enriched.Finitary.Sheaf |
| SHEAVES | Proarrow.Category.Enriched.Finitary.Sheaf |
| SHF | Proarrow.Category.Enriched.Finitary.Sheaf |
| shift | Proarrow.Tools.Diagrams.Dot |
| shiftN | Proarrow.Category.Instance.FinRel |
| shiftPort | Proarrow.Tools.Diagrams.Svg |
| shortest | Proarrow.Category.Enriched.Thin.Composition |
| Show2 | Proarrow.Core |
| showOb | Proarrow.Testing |
| ShowP | |
| 1 (Type/Class) | Proarrow.Testing |
| 2 (Data Constructor) | Proarrow.Testing |
| showP | Proarrow.Testing |
| showPostComp | Proarrow.Category.Instance.Free |
| Side | Proarrow.Tools.Diagrams.Svg |
| sideBySide | Proarrow.Tools.Diagrams.Svg |
| Sieve | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Sieve |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Sieve |
| sieveAt | Proarrow.Category.Enriched.Finitary.Topos |
| sieveElements | Proarrow.Category.Enriched.Finitary.Topos |
| sieveMeet | Proarrow.Profunctor.Instance.Sieve |
| sieveTable | Proarrow.Category.Enriched.Finitary.Topos |
| Simplex | Proarrow.Category.Instance.Simplex |
| SINF | Proarrow.Category.Instance.Cost |
| sing | Proarrow.Category.Instance.Cost |
| singleton | Proarrow.Category.Monoidal.Strictified |
| singNat | Proarrow.Category.Instance.Simplex |
| singOrdinal | Proarrow.Category.Instance.Ordinal |
| singPath | Proarrow.Path |
| Sink | Proarrow.Profunctor.Instance.Cocone |
| Site | Proarrow.Category.Sheaf |
| size | Proarrow.Category.Enriched.Finitary |
| sizes | Proarrow.Category.Enriched.Finitary |
| SList | Proarrow.Category.Monoidal.Strictified |
| sList | Proarrow.Category.Monoidal.Strictified |
| slot | Proarrow.Tools.Diagrams.Svg |
| slots | Proarrow.Tools.Diagrams.Svg |
| SLT | Proarrow.Category.Instance.Ordinal |
| SN | Proarrow.Category.Instance.Duploid |
| SNat | Proarrow.Category.Instance.Simplex |
| Snd | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Data Constructor) | Proarrow.Limit.BinaryProduct |
| snd | |
| 1 (Function) | Proarrow.Limit.BinaryProduct |
| 2 (Function) | Proarrow.Category.Monoidal.CopyDiscard |
| snd' | Proarrow.Limit.BinaryProduct |
| sndK | Proarrow.Category.Instance.Product |
| sndP | Proarrow.Profunctor.Instance.Product |
| SNil | |
| 1 (Data Constructor) | Proarrow.Path |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| Solely | Proarrow.Category.Sheaf |
| Some | |
| 1 (Type/Class) | Proarrow.Testing |
| 2 (Data Constructor) | Proarrow.Testing |
| SomeCover | |
| 1 (Type/Class) | Proarrow.Category.Sheaf |
| 2 (Data Constructor) | Proarrow.Category.Sheaf |
| someElem | Proarrow.Testing |
| someElemNamed | Proarrow.Testing |
| someElemWith | Proarrow.Testing |
| SomeLeg | |
| 1 (Type/Class) | Proarrow.Category.Sheaf |
| 2 (Data Constructor) | Proarrow.Category.Sheaf |
| SomeP | Proarrow.Testing |
| someP | Proarrow.Testing |
| SomeProfunctorElt | Proarrow.Testing |
| SOrdinal | Proarrow.Category.Instance.Ordinal |
| SOS | Proarrow.Category.Instance.Ordinal |
| source | Proarrow.Category.Internal |
| sourceBelow | Proarrow.Category.Sheaf |
| SOZ | Proarrow.Category.Instance.Ordinal |
| SP | |
| 1 (Type/Class) | Proarrow.Category.Instance.Span |
| 2 (Data Constructor) | Proarrow.Category.Instance.Duploid |
| SPAN | Proarrow.Category.Instance.Span |
| Span | |
| 1 (Type/Class) | Proarrow.Category.Instance.Span |
| 2 (Data Constructor) | Proarrow.Category.Instance.Span |
| SparseMatrix | Proarrow.Category.Instance.ZX |
| SPath | Proarrow.Path |
| Spider | Proarrow.Tools.Diagrams.Dot |
| spider | Proarrow.Category.Monoidal.Hypergraph |
| spiderS | Proarrow.Category.Monoidal.Hypergraph |
| split | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| splitFold | |
| 1 (Function) | Proarrow.Path |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| splitMany | Proarrow.Category.Monoidal.Strictified |
| splits | Proarrow.Category.Instance.FinRel |
| splitUnit | Proarrow.Category.Enriched.Quantale |
| Sprout | Proarrow.Monoid |
| Sq | |
| 1 (Type/Class) | Proarrow.Squares |
| 2 (Data Constructor) | Proarrow.Squares |
| src | Proarrow.Core, Proarrow.Object, Proarrow |
| SS | Proarrow.Category.Instance.Simplex |
| SSing | Proarrow.Category.Monoidal.Strictified |
| St | Proarrow.Category.Instance.Free |
| StableSite | Proarrow.Category.Sheaf |
| stack | Proarrow.Tools.Diagrams.Svg |
| Stage | Proarrow.Tools.Diagrams.Svg |
| Star | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Star |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Star |
| Star' | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Star |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Star |
| StarAutonomous | Proarrow.Category.Monoidal.StarAutonomous |
| StarAutonomousStructures | Proarrow.Category.Monoidal.StarAutonomous |
| StarAutonomousW | Proarrow.Testing.Laws.Run |
| starTraverse | Proarrow.Profunctor.Instance.Star |
| State | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Promonad.State |
| 3 (Type/Class) | Proarrow.Promonad.State |
| statements | Proarrow.Tools.Diagrams.Dot |
| StateT | |
| 1 (Type/Class) | Proarrow.Promonad.State |
| 2 (Data Constructor) | Proarrow.Promonad.State |
| Step | Proarrow.Category.Enriched.Thin.Composition |
| StepAt | Proarrow.Category.Enriched.Thin.Composition |
| stepAt | Proarrow.Category.Enriched.Thin.Composition |
| Str | Proarrow.Category.Monoidal.Strictified |
| Straight | Proarrow.Tools.Diagrams.Svg |
| strength | Proarrow.Category.Monoidal.Strength |
| stretch | Proarrow.Tools.Diagrams.Svg |
| Strictified | Proarrow.Category.Monoidal.Strictified |
| Strictly | Proarrow.Category.Monoidal |
| StrictlyAssoc | Proarrow.Category.Monoidal |
| Strong | Proarrow.Category.Monoidal.Strength |
| StrongDistributiveProfunctor | Proarrow.Category.Monoidal.Distributive |
| strongId | Proarrow.Category.Monoidal.Strength |
| StrongMonoidalCorep | Proarrow.Category.Monoidal |
| StrongMonoidalRep | Proarrow.Category.Monoidal |
| StrongSymMonAdj | Proarrow.Category.Instance.Duploid |
| Struct | Proarrow.Category.Instance.Free, Proarrow.Category.Monoidal, Proarrow.Limit.Terminal, Proarrow.Colimit.Initial, Proarrow.Limit.BinaryProduct, Proarrow.Colimit.BinaryCoproduct, Proarrow.Category.Monoidal.Closed, Proarrow.Category.Monoidal.StarAutonomous, Proarrow.Monoid, Proarrow.Category.Monoidal.Distributive, Proarrow.Category.Monoidal.Cartesian, Proarrow.Category.Monoidal.CompactClosed |
| stub | Proarrow.Tools.Diagrams.Svg |
| SUB | Proarrow.Category.Instance.Sub |
| Sub | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Type/Class) | Proarrow.Category.Instance.Sub |
| 3 (Data Constructor) | Proarrow.Category.Instance.Sub |
| sub | Proarrow.Optic |
| SubAction | Proarrow.Category.Monoidal.Action |
| SubAction' | Proarrow.Category.Monoidal.Action |
| SUBCAT | Proarrow.Category.Instance.Sub |
| SubFinitary | Proarrow.Category.Enriched.Finitary.Topos |
| subFinitary | Proarrow.Category.Enriched.Finitary.Topos |
| SubMonoidal | Proarrow.Category.Instance.Sub |
| Subobject | Proarrow.Category.Enriched.Finitary.Topos |
| suc | Proarrow.Category.Instance.Simplex |
| succ | Proarrow.Colimit.NaturalNumbers |
| Sum | Proarrow.Colimit.BinaryCoproduct |
| sum | Proarrow.Colimit.BinaryCoproduct |
| SumFl | Proarrow.Optic.Sum |
| Summands | Proarrow.Category.Sheaf |
| Sums | Proarrow.Category.Sheaf |
| Supplies | Proarrow.Monoid |
| support | Proarrow.Category.Enriched.Finitary.Sheaf |
| Surjective | Proarrow.Category.Instance.Rel |
| SVG | Proarrow.Tools.Diagrams.Svg |
| Svg | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| svg | Proarrow.Tools.Diagrams.Svg |
| Swap | Proarrow.Category.Monoidal |
| swap | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Profunctor.Instance.Arrow |
| swap' | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| swap1 | Proarrow.Category.Monoidal.Strictified |
| swap1Inv | Proarrow.Category.Monoidal.Strictified |
| swap2 | |
| 1 (Function) | Proarrow.Category.Monoidal.Strictified |
| 2 (Function) | Proarrow.Tools.Diagrams.Dot |
| swapClosed | Proarrow.Category.Monoidal.Closed |
| swapCoprod | Proarrow.Colimit.BinaryCoproduct |
| swapCoprod' | Proarrow.Colimit.BinaryCoproduct |
| swapFst | Proarrow.Category.Monoidal |
| swapHeight | Proarrow.Tools.Diagrams.Svg |
| swapInner | Proarrow.Category.Monoidal |
| swapInner' | Proarrow.Category.Monoidal |
| swapNode | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| swapOuter | Proarrow.Category.Monoidal |
| swapProd | Proarrow.Limit.BinaryProduct |
| swapProduct | Proarrow.Tools.CCC |
| swapSnd | Proarrow.Category.Monoidal |
| swapSum | Proarrow.Tools.CCC |
| Symmetric | Proarrow.Category.Instance.Rel |
| SymMonoidal | Proarrow.Category.Monoidal |
| SymMonoidalStructures | Proarrow.Category.Monoidal |
| SymMonoidalW | Proarrow.Testing.Laws.Run |
| SymRefl | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| Syntax | Proarrow.Tools.CCC |
| SZ | Proarrow.Category.Instance.Simplex |
| tableOf | Proarrow.Category.Internal |
| tabulate | Proarrow.Profunctor.Representable, Proarrow |
| Tabulated | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Finitary.Topos |
| 2 (Data Constructor) | Proarrow.Category.Enriched.Finitary.Topos |
| tabulated | Proarrow.Profunctor.Representable |
| tabulatedCopresheaf | Proarrow.Profunctor.Corepresentable |
| tabulatedPresheaf | Proarrow.Profunctor.Representable |
| Tag | Proarrow.Path |
| Tambara | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.PastroTambara |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.PastroTambara |
| tambara | Proarrow.Profunctor.Instance.PastroTambara |
| target | Proarrow.Category.Internal |
| tell | Proarrow.Promonad.Writer |
| Tensor | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Promonoidal |
| 3 (Data Constructor) | Proarrow.Category.Promonoidal |
| tensor | Proarrow.Tools.Diagrams.Svg |
| tensorComonoid | Proarrow.Monoid |
| TensorIsCoproduct | Proarrow.Colimit.BinaryCoproduct |
| TensorIsProduct | Proarrow.Category.Monoidal.Cartesian |
| TensorToProd | Proarrow.Category.Monoidal.Cartesian |
| tensorToProd | Proarrow.Category.Monoidal.Cartesian |
| tensorToProduct | Proarrow.Category.Monoidal.Cartesian |
| TermF | Proarrow.Limit.Terminal |
| TerminalObject | Proarrow.Limit.Terminal |
| TerminalProfunctor | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Terminal |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Terminal |
| TerminalProfunctor' | Proarrow.Profunctor.Instance.Terminal |
| TerminalW | Proarrow.Testing.Laws.Run |
| Terminate | Proarrow.Limit.Terminal |
| terminate | Proarrow.Limit.Terminal |
| terminate' | Proarrow.Limit.Terminal |
| TermToUnit | Proarrow.Category.Monoidal.Cartesian |
| termToUnit | Proarrow.Category.Monoidal.Cartesian |
| termUnivArr | Proarrow.Universal, Proarrow |
| TermUniversal | Proarrow.Universal, Proarrow |
| termUnivProp | Proarrow.Universal, Proarrow |
| TermUnivSrc | Proarrow.Universal, Proarrow |
| Testable | Proarrow.Testing |
| TestableProfunctor | Proarrow.Testing |
| TestableType | Proarrow.Testing |
| TestableTypeP | Proarrow.Testing |
| testAdjunction | Proarrow.Testing.Laws |
| testAdjunction_ | Proarrow.Testing.Laws |
| testAtomicIsDoubleNegation | Proarrow.Testing.Laws |
| testBinaryCoproducts | Proarrow.Testing.Laws |
| testBinaryCoproducts_ | Proarrow.Testing.Laws |
| testBinaryProducts | Proarrow.Testing.Laws |
| testBinaryProducts_ | Proarrow.Testing.Laws |
| testCartesian | Proarrow.Testing.Laws |
| testCartesian_ | Proarrow.Testing.Laws |
| testCategory | Proarrow.Testing.Laws |
| testCategoryProLaws | Proarrow.Testing.Laws |
| testClosed | Proarrow.Testing.Laws |
| testClosed_ | Proarrow.Testing.Laws |
| testCocommutativeComonoid | Proarrow.Testing.Laws |
| testCocommutativeComonoid_ | Proarrow.Testing.Laws |
| testCoequalizers | Proarrow.Testing.Laws |
| testCoequalizers_ | Proarrow.Testing.Laws |
| testCommutativeMonoid | Proarrow.Testing.Laws |
| testCommutativeMonoid_ | Proarrow.Testing.Laws |
| testComonoid | Proarrow.Testing.Laws |
| testComonoid_ | Proarrow.Testing.Laws |
| testCompactClosed | Proarrow.Testing.Laws |
| testCompactClosed_ | Proarrow.Testing.Laws |
| testCopyDiscard | Proarrow.Testing.Laws |
| testCopyDiscard_ | Proarrow.Testing.Laws |
| testCorepresentable | Proarrow.Testing.Laws |
| testCorepresentable_ | Proarrow.Testing.Laws |
| testCoveredByImage | Proarrow.Testing.Laws |
| testDagger | Proarrow.Testing.Laws |
| testDaggerProfunctor | Proarrow.Testing.Laws |
| testDenseIsCovering | Proarrow.Testing.Laws |
| testDistributive | Proarrow.Testing.Laws |
| testDistributive_ | Proarrow.Testing.Laws |
| TESTED | Proarrow.Testing.Laws.Run |
| Tested | Proarrow.Testing.Laws.Run |
| TestedArr | |
| 1 (Type/Class) | Proarrow.Testing.Laws.Run |
| 2 (Data Constructor) | Proarrow.Testing.Laws.Run |
| TestedP | |
| 1 (Type/Class) | Proarrow.Testing.Laws.Run |
| 2 (Data Constructor) | Proarrow.Testing.Laws.Run |
| testEpiMonoFactorization | Proarrow.Testing.Laws |
| testEpiMonoFactorization_ | Proarrow.Testing.Laws |
| testEq | Proarrow.Testing |
| testEqualizers | Proarrow.Testing.Laws |
| testEqualizersAreSheaves | Proarrow.Testing.Laws |
| testEqualizers_ | Proarrow.Testing.Laws |
| testFinitary | Proarrow.Testing.Laws |
| testFrobenius | Proarrow.Testing.Laws |
| testFrobenius_ | Proarrow.Testing.Laws |
| testFunctor | Proarrow.Testing.Laws |
| testFunctor_ | Proarrow.Testing.Laws |
| testGeneratedSieveIsSieve | Proarrow.Testing.Laws |
| testGluesBack | Proarrow.Testing.Laws |
| testGluesBackAt | Proarrow.Testing.Laws |
| testHypergraph | Proarrow.Testing.Laws |
| testHypergraph_ | Proarrow.Testing.Laws |
| TestingEqShow | Proarrow.Testing |
| testInitialObject | Proarrow.Testing.Laws |
| testLaws | Proarrow.Testing.Laws.Run |
| testLawsWith | Proarrow.Testing.Laws.Run |
| testLawvereTierney | Proarrow.Testing.Laws |
| testLawvereTierneyFamily | Proarrow.Testing.Laws |
| testLawvereTierneyFamily_ | Proarrow.Testing.Laws |
| testLawvereTierney_ | Proarrow.Testing.Laws |
| testMonCostrong | Proarrow.Testing.Laws |
| testMonCostrong_ | Proarrow.Testing.Laws |
| testMonoid | Proarrow.Testing.Laws |
| testMonoidal | Proarrow.Testing.Laws |
| testMonoidalProfunctor | Proarrow.Testing.Laws |
| testMonoidal_ | Proarrow.Testing.Laws |
| testMonoid_ | Proarrow.Testing.Laws |
| testMonStrong | Proarrow.Testing.Laws |
| testMonStrong_ | Proarrow.Testing.Laws |
| testNegation | Proarrow.Testing.Laws |
| TestOb | Proarrow.Testing |
| TestOb' | Proarrow.Testing |
| TestObIsOb | Proarrow.Testing |
| testPlusFixes | Proarrow.Testing.Laws |
| testProadjunction | Proarrow.Testing.Laws |
| testProcomonad | Proarrow.Testing.Laws |
| testProfunctor | Proarrow.Testing.Laws |
| testProfunctorWith | Proarrow.Testing.Laws |
| testProLaws | Proarrow.Testing.Laws.Run |
| testPromonad | Proarrow.Testing.Laws |
| testPullbacks | Proarrow.Testing.Laws |
| testPullbacks_ | Proarrow.Testing.Laws |
| testPushouts | Proarrow.Testing.Laws |
| testPushouts_ | Proarrow.Testing.Laws |
| testRanFullyFaithful | Proarrow.Testing.Laws |
| testRepresentable | Proarrow.Testing.Laws |
| testRepresentable_ | Proarrow.Testing.Laws |
| testRiftFullyFaithful | Proarrow.Testing.Laws |
| testSheafification | Proarrow.Testing.Laws |
| testSiteLaws | Proarrow.Testing.Laws |
| testStableSite | Proarrow.Testing.Laws |
| testStarAutonomous | Proarrow.Testing.Laws |
| testStarAutonomous_ | Proarrow.Testing.Laws |
| testSubobjectClassifier | Proarrow.Testing.Laws |
| testSubobjectClassifier_ | Proarrow.Testing.Laws |
| testSymMonoidal | Proarrow.Testing.Laws |
| testSymMonoidal_ | Proarrow.Testing.Laws |
| testTerminalObject | Proarrow.Testing.Laws |
| testTraced | Proarrow.Testing.Laws |
| testTraced_ | Proarrow.Testing.Laws |
| textWidth | Proarrow.Tools.Diagrams.Svg |
| tgt | Proarrow.Core, Proarrow.Object, Proarrow |
| That | Proarrow.Category.Instance.PointedHask |
| There | Proarrow.Category.Enriched.Thin |
| These | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (Data Constructor) | Proarrow.Category.Instance.PointedHask |
| Thin | Proarrow.Category.Enriched.Thin |
| thinCoequalize | Proarrow.Colimit.Coequalizer |
| ThinComp | Proarrow.Category.Enriched.Thin.Composition |
| ThinCompStrategy | Proarrow.Category.Enriched.Thin.Composition |
| thinEqualize | Proarrow.Limit.Equalizer |
| ThinProfunctor | Proarrow.Category.Enriched.Thin |
| thinPullback | Proarrow.Limit.Pullback |
| thinPushout | Proarrow.Colimit.Pushout |
| This | Proarrow.Category.Instance.PointedHask |
| Tight | Proarrow.Path |
| TLeaf | Proarrow.Testing.Laws.Run |
| to | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| toBools | Proarrow.Category.Instance.FinRel |
| toCCC | Proarrow.Tools.CCC |
| toEl | Proarrow.Category.Monoidal.Closed |
| toGeo | Proarrow.Tools.Diagrams.Svg |
| toHask | Proarrow.Category.Instance.PointedHask |
| toHolds | Proarrow.Category.Enriched.Thin |
| toHoldsComp | Proarrow.Category.Enriched.Thin.Composition |
| toIndex | Proarrow.Category.Enriched.Finitary |
| toInt | Proarrow.Category.Instance.IntConstruction |
| toLeft | Proarrow.Squares |
| toLensVL | Proarrow.Optic.Lens |
| toList | |
| 1 (Function) | Proarrow.Category.Instance.FinHask |
| 2 (Function) | Proarrow.Profunctor.Instance.Fix |
| toMatrix | Proarrow.Category.Instance.ZX |
| toOpLens | Proarrow.Optic.Prism |
| toOptic | Proarrow.Squares |
| Top | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| toPIso | Proarrow.Optic.Iso |
| toPTracer | Proarrow.Optic.Tracer |
| toPTraversal | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| toPTraversalFull | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| toRight | Proarrow.Squares |
| toTabulated | Proarrow.Category.Enriched.Finitary.Topos |
| Total | Proarrow.Category.Instance.Rel |
| Trace | Proarrow.Tools.Diagrams.Svg |
| trace | Proarrow.Category.Monoidal.Strength |
| traceCC | Proarrow.Category.Monoidal.CompactClosed |
| traceCCS | Proarrow.Category.Monoidal.CompactClosed |
| TracedMonoidal | Proarrow.Category.Monoidal.Strength |
| TracedStructures | Proarrow.Category.Monoidal.Strength |
| TracedW | Proarrow.Testing.Laws.Run |
| traceHG | Proarrow.Category.Monoidal.Hypergraph |
| Tracer | Proarrow.Optic.Tracer, Proarrow.Optics, Proarrow |
| tracer | Proarrow.Optic.Tracer, Proarrow.Optics, Proarrow |
| Tracer' | Proarrow.Optic.Tracer, Proarrow.Optics, Proarrow |
| TracerFl | Proarrow.Optic.Tracer |
| tracerOf | Proarrow.Optic.Tracer, Proarrow.Optics, Proarrow |
| tracerP | Proarrow.Optic.Tracer |
| Transitive | Proarrow.Category.Instance.Rel |
| transpose | |
| 1 (Function) | Proarrow.Category.Instance.ZX |
| 2 (Function) | Proarrow.Category.Instance.Mat |
| trav | Proarrow.Profunctor.Instance.Fold |
| TravAction | Proarrow.Category.Monoidal.EndoProf |
| TravAction' | Proarrow.Category.Monoidal.EndoProf |
| Traversable | Proarrow.Category.Monoidal.Distributive |
| Traversal | Proarrow.Optic.Traversal, Proarrow.Optics, Proarrow |
| traversal | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| Traversal' | Proarrow.Optic.Traversal, Proarrow.Optics, Proarrow |
| traverse | Proarrow.Category.Monoidal.Distributive |
| traversed | Proarrow.Optic.Traversal, Proarrow.Optics, Proarrow |
| traverseOf | Proarrow.Optic.Traversal, Proarrow.Optics, Proarrow |
| traverseWriter | Proarrow.Promonad.Writer |
| TravFl | Proarrow.Optic.Traversal |
| travP | Proarrow.Optic.Traversal |
| TravSub | Proarrow.Category.Monoidal.EndoProf |
| Trivial | Proarrow.Category.Sheaf |
| TRU | Proarrow.Category.Instance.Bool |
| Tru | Proarrow.Category.Instance.Bool |
| true | Proarrow.Category.Topos |
| TT | Proarrow.Category.Instance.Bool |
| Type | Proarrow.Category.Instance.Hask |
| u1Optic | Proarrow.Optic.MonoidalTraversal |
| UN | Proarrow.Core |
| unArr | Proarrow.Profunctor.Instance.Arrow |
| unAsLeftAdjoint | Proarrow.Universal |
| unAsRelative | Proarrow.Promonad |
| unAsRightAdjoint | Proarrow.Universal |
| unCo | Proarrow.Profunctor.Instance.Star |
| unCopower | Proarrow.Category.Instance.Nat |
| uncopower | Proarrow.Colimit.Copower |
| Uncoprod | |
| 1 (Type/Class) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Data Constructor) | Proarrow.Colimit.BinaryCoproduct |
| unCoprod | Proarrow.Colimit.BinaryCoproduct |
| unCorep | Proarrow.Profunctor.Corepresentable, Proarrow |
| unCorepStar | Proarrow.Profunctor.Representable |
| unCostar | Proarrow.Profunctor.Instance.Costar |
| unCotravAs | Proarrow.Optic.Kaleidoscope |
| unCoyoneda | Proarrow.Profunctor.Instance.Coyoneda |
| uncurry | Proarrow.Category.Monoidal.Closed |
| uncurryS | Proarrow.Category.Monoidal.Closed |
| uncurryS' | Proarrow.Category.Monoidal.Closed |
| Under | Proarrow.Category.Sheaf |
| underlying | Proarrow.Category.Enriched |
| underlyingAt | Proarrow.Category.Enriched.Thin.Composition |
| underlyingPt | Proarrow.Category.Instance.PointedHask |
| underlyingSelf | Proarrow.Category.Enriched |
| underlyingWalk | Proarrow.Category.Enriched.Thin.Composition |
| undown | Proarrow.Category.Instance.Duploid |
| unElt | Proarrow.Category.Enriched.Finitary |
| unEnd | Proarrow.Limit |
| unEntails | Proarrow.Category.Instance.Constraint |
| unExp | Proarrow.Category.Instance.FinSet |
| unFin | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Category.Instance.FinHask |
| unFinHask | Proarrow.Category.Instance.FinHask |
| unFinRel | Proarrow.Category.Instance.FinRel |
| unFinSet | Proarrow.Category.Instance.FinSet |
| unflipCorep | Proarrow.Profunctor.Representable |
| unflipMate | Proarrow.Adjunction |
| unflipRep | Proarrow.Profunctor.Representable |
| unfold | Proarrow.Optic.Fold, Proarrow.Optics, Proarrow |
| unfoldMap | Proarrow.Profunctor.Cofree |
| unFromAdjunction | Proarrow.Universal |
| unFromPointed | Proarrow.Category.Instance.PointedHask |
| unFromProd | Proarrow.Limit.BinaryProduct |
| unFromProfunctor | Proarrow.Functor |
| unId | Proarrow.Profunctor.Instance.Identity |
| Unit | |
| 1 (Type/Class) | Proarrow.Category.Instance.Unit |
| 2 (Data Constructor) | Proarrow.Category.Instance.Unit |
| 3 (Type/Class) | Proarrow.Category.Monoidal |
| 4 (Data Constructor) | Proarrow.Profunctor.Free |
| unit | |
| 1 (Function) | Proarrow.Category.Instance.Linear |
| 2 (Function) | Proarrow.Adjunction |
| 3 (Function) | Proarrow.Squares |
| unit' | Proarrow.Adjunction |
| unitAdj | |
| 1 (Function) | Proarrow.Tools.Diagrams.Dot |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| unitComonoid | Proarrow.Monoid |
| UnitEnd | Proarrow.Tools.Diagrams.Svg |
| unitEnd | Proarrow.Tools.Diagrams.Svg |
| UnitF | Proarrow.Category.Monoidal |
| unitIsNotBottom | Proarrow.Category.Enriched.Quantale |
| unitIso | Proarrow.Adjunction |
| unitIsTop | Proarrow.Category.Enriched.Quantale |
| unitNat | Proarrow.Squares |
| unitObj | Proarrow.Category.Monoidal |
| Unitor | Proarrow.Tools.Diagrams.Svg |
| unitor | |
| 1 (Function) | Proarrow.Category.Monoidal.Action |
| 2 (Function) | Proarrow.Tools.Diagrams.Svg |
| unitorInv | Proarrow.Category.Monoidal.Action |
| unitPlus | Proarrow.Category.Enriched.Finitary.Sheaf |
| UnitPoint | Proarrow.Tools.Diagrams.Svg |
| unitQuest | Proarrow.Category.Instance.Linear |
| UnitRep | Proarrow.Category.Monoidal |
| unitRep | Proarrow.Adjunction |
| unitSheafify | Proarrow.Category.Enriched.Finitary.Sheaf |
| UnitStart | Proarrow.Tools.Diagrams.Svg |
| UnitToTerm | Proarrow.Category.Monoidal.Cartesian |
| unitToTerm | Proarrow.Category.Monoidal.Cartesian |
| UnitW | |
| 1 (Type/Class) | Proarrow.Optic.Traversal |
| 2 (Data Constructor) | Proarrow.Optic.Traversal |
| UnitWire | Proarrow.Tools.Diagrams.Svg |
| unKleisli | Proarrow.Category.Instance.Kleisli |
| unLinear | Proarrow.Category.Instance.Linear |
| unMat | Proarrow.Category.Instance.Mat |
| unmult | Proarrow.Category.Instance.FinSet |
| unNat | Proarrow.Category.Instance.Nat |
| unNat' | Proarrow.Category.Instance.Nat |
| UnOp | |
| 1 (Type/Class) | Proarrow.Category.Instance.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Instance.Opposite |
| unOp | Proarrow.Category.Instance.Opposite |
| unOpOptic | Proarrow.Optic |
| unOptic | Proarrow.Optic |
| unpairIndex | Proarrow.Category.Enriched.Finitary |
| unpar0Corep | Proarrow.Category.Monoidal |
| unpar0Rep | Proarrow.Category.Monoidal |
| unparCorep | Proarrow.Category.Monoidal |
| unparRep | Proarrow.Category.Monoidal |
| unparRepCartesian | Proarrow.Category.Monoidal.Cartesian |
| unpastro | Proarrow.Profunctor.Instance.PastroTambara |
| unPower | |
| 1 (Function) | Proarrow.Limit.Power |
| 2 (Function) | Proarrow.Category.Instance.Nat |
| unpower | Proarrow.Limit.Power |
| unPrelude | Proarrow.Functor, Proarrow |
| unProd | Proarrow.Limit.BinaryProduct |
| unProf | Proarrow.Category.Instance.Prof |
| unPt | Proarrow.Category.Instance.PointedHask |
| unRan | Proarrow.Profunctor.Instance.Ran |
| unRe | Proarrow.Optic |
| unRep | Proarrow.Profunctor.Representable, Proarrow |
| unRepCostar | Proarrow.Profunctor.Representable |
| unRift | Proarrow.Profunctor.Instance.Rift |
| unsafeLinear | Proarrow.Category.Instance.Linear |
| unShowP | Proarrow.Testing |
| unStar | Proarrow.Profunctor.Instance.Star |
| unStr | Proarrow.Category.Monoidal.Strictified |
| unSub | Proarrow.Category.Instance.Sub |
| untambara | Proarrow.Profunctor.Instance.PastroTambara |
| untangle | Proarrow.Tools.Diagrams.Svg |
| unTensor | Proarrow.Category.Promonoidal |
| Untest | Proarrow.Testing.Laws.Run |
| untestOb | Proarrow.Testing.Laws.Run |
| untestOb2 | Proarrow.Testing.Laws.Run |
| untestOb3 | Proarrow.Testing.Laws.Run |
| untestTestOb | Proarrow.Testing.Laws.Run |
| untestTestOb2 | Proarrow.Testing.Laws.Run |
| unto | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| unUnOp | Proarrow.Category.Instance.Opposite |
| unup | Proarrow.Category.Instance.Duploid |
| unVec | Proarrow.Tools.Diagrams.Dot |
| unWrapped | Proarrow.Profunctor.Instance.Wrapped |
| unwrapRep | Proarrow.Optic.Kaleidoscope |
| unYoneda | Proarrow.Profunctor.Instance.Yoneda |
| Up | Proarrow.Category.Instance.Duploid |
| up | Proarrow.Category.Instance.Duploid |
| Ur | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| urWith | Proarrow.Category.Instance.Linear |
| v1Optic | Proarrow.Optic.MonoidalTraversal |
| VacuousOb | Proarrow.Core, Proarrow.Object |
| vArr | Proarrow.Squares |
| vCombine | Proarrow.Squares |
| vCombineAll | Proarrow.Squares |
| Vec | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| verticals | Proarrow.Tools.Diagrams.Svg |
| vId | Proarrow.Squares |
| view | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| visible | Proarrow.Tools.Diagrams.Svg |
| VOID | Proarrow.Category.Instance.Zero |
| vSplit | Proarrow.Squares |
| vSplitAll | Proarrow.Squares |
| vUnitor | Proarrow.Squares |
| vUnitorInv | Proarrow.Squares |
| W | Proarrow.Tools.Diagrams.Svg |
| Walk | Proarrow.Category.Enriched.Thin.Composition |
| walkAt | Proarrow.Category.Enriched.Thin.Composition |
| WalkRow | Proarrow.Category.Enriched.Thin.Composition |
| Walks | Proarrow.Category.Enriched.Thin.Composition |
| weakenTight | Proarrow.Path |
| WeightOf | Proarrow.Profunctor.Instance.Edges |
| whiskerL | Proarrow.Path |
| whiskerR | Proarrow.Path |
| widen | Proarrow.Category.Instance.Free |
| width | Proarrow.Tools.Diagrams.Svg |
| Wire | Proarrow.Tools.Diagrams.Svg |
| wireAt | Proarrow.Tools.Diagrams.Dot |
| WireId | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Svg |
| wireInfo | Proarrow.Tools.Diagrams.Svg |
| WireKind | Proarrow.Tools.Diagrams.Svg |
| wireKinds | Proarrow.Tools.Diagrams.Svg |
| wires | Proarrow.Tools.Diagrams.Svg |
| Wiring | Proarrow.Tools.Diagrams.Svg |
| wiringGeo | Proarrow.Tools.Diagrams.Svg |
| With | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| withActP | Proarrow.Optic.Action |
| withAlgP | Proarrow.Optic.Action |
| withArr | Proarrow.Category.Enriched.Thin |
| withArrComp | Proarrow.Category.Enriched.Thin.Composition |
| withAssoc | Proarrow.Path |
| withAssocMult | Proarrow.Category.Instance.Mat |
| withAssocPlus | Proarrow.Category.Instance.Mat |
| withAtLookup | Proarrow.Category.Enriched.Thin |
| withCollageL | Proarrow.Category.Instance.Collage |
| withCollageR | Proarrow.Category.Instance.Collage |
| withDist | Proarrow.Category.Instance.Mat |
| withDualAppend | Proarrow.Tools.Diagrams.Svg |
| withDualDual | Proarrow.Tools.Diagrams.Svg |
| withDualDualW | Proarrow.Tools.Diagrams.Svg |
| withEntry | Proarrow.Category.Enriched.Thin |
| withEq | |
| 1 (Function) | Proarrow.Category.Enriched.Thin |
| 2 (Function) | Proarrow.Category.Instance.Discrete |
| withEraseAppend | Proarrow.Tools.Diagrams.Svg |
| withEraseAppendCons | Proarrow.Tools.Diagrams.Svg |
| withEraseDual | Proarrow.Tools.Diagrams.Svg |
| withEraseDualCons | Proarrow.Tools.Diagrams.Svg |
| withFoldOb | Proarrow.Path |
| withFoldRep | Proarrow.Path |
| withGlass | Proarrow.Optic.Glass, Proarrow.Optics, Proarrow |
| withGrate | Proarrow.Optic.Grate, Proarrow.Optics, Proarrow |
| withIndex | Proarrow.Category.Enriched.Thin |
| withIsList2 | Proarrow.Category.Monoidal.Strictified |
| withIsListDual | Proarrow.Tools.Diagrams.Svg |
| withIsListErase | Proarrow.Tools.Diagrams.Svg |
| withIsListEraseCons | Proarrow.Tools.Diagrams.Svg |
| withIsNat | Proarrow.Category.Instance.Mat |
| withIso | Proarrow.Optic.Iso, Proarrow.Optics, Proarrow |
| withKnownDualW | Proarrow.Tools.Diagrams.Svg |
| withLegs | Proarrow.Optic |
| withLens | Proarrow.Optic.Lens, Proarrow.Optics, Proarrow |
| withLookupMapWrap | Proarrow.Category.Enriched.Thin |
| withLowerIdOb | Proarrow.Category.Instance.Free |
| withLowerOb | Proarrow.Category.Instance.Free |
| withMappedOb | Proarrow.Functor |
| withMonLens | Proarrow.Optic.MonoidalLens, Proarrow.Optics, Proarrow |
| withMonLensP | Proarrow.Optic.MonoidalLens |
| withMultNat | Proarrow.Category.Instance.Mat |
| withMultSucc | Proarrow.Category.Instance.Mat |
| withMultSym | Proarrow.Category.Instance.Mat |
| withNatEqRefl | Proarrow.Category.Enriched.Thin |
| withNegOb | Proarrow.Category.Instance.Duploid |
| withOb | Proarrow.Category.Enriched.Thin |
| withOb2 | Proarrow.Category.Monoidal |
| withObAppend | Proarrow.Path |
| withObCoExp | Proarrow.Category.Monoidal.Coclosed |
| withObCopower | Proarrow.Colimit.Copower |
| withObCoprod | Proarrow.Colimit.BinaryCoproduct |
| withObCorep | Proarrow.Profunctor.Corepresentable |
| withObDual | Proarrow.Category.Monoidal.StarAutonomous |
| withObExp | Proarrow.Category.Monoidal.Closed |
| withObF | Proarrow.Functor |
| withObFold | Proarrow.Category.Monoidal.Strictified |
| withObIx | Proarrow.Category.Internal |
| withObMatVec | Proarrow.Category.Enriched.Thin.Composition |
| withObNFold | Proarrow.Category.Monoidal |
| withObPower | Proarrow.Limit.Power |
| withObProd | Proarrow.Limit.BinaryProduct |
| withObRep | Proarrow.Profunctor.Representable |
| withObRow | Proarrow.Category.Enriched.Thin.Composition |
| withObs | Proarrow.Category.Monoidal.Strictified |
| withObSel | Proarrow.Optic.Glass |
| withObStep | Proarrow.Category.Enriched.Thin.Composition |
| withObWalks | Proarrow.Category.Enriched.Thin.Composition |
| withObWeight | Proarrow.Profunctor.Instance.Edges |
| withOrdObjects | Proarrow.Category.Instance.Ordinal |
| withPlusIsNat | Proarrow.Category.Instance.Cost |
| withPlusNat | Proarrow.Category.Instance.Mat |
| withPlusSucc | Proarrow.Category.Instance.Mat |
| withPlusSym | Proarrow.Category.Instance.Mat |
| withPosOb | Proarrow.Category.Instance.Duploid |
| withPrism | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| withProdOptic | Proarrow.Optic.Prod |
| withProdP | Proarrow.Optic.Prod |
| withProObj | Proarrow.Category.Enriched |
| withRightUnit | Proarrow.Tools.Diagrams.Svg |
| withSheafTables | Proarrow.Category.Enriched.Finitary.Sheaf |
| WithShow | Proarrow.Category.Instance.Free |
| withSides | Proarrow.Tools.Laws |
| withSieve | Proarrow.Category.Enriched.Finitary.Sheaf |
| withSubobject | Proarrow.Category.Enriched.Finitary.Topos |
| withSumL | Proarrow.Optic.Sum |
| withSumOpticL | Proarrow.Optic.Sum |
| withSumOpticR | Proarrow.Optic.Sum |
| withSumR | Proarrow.Optic.Sum |
| withTables | Proarrow.Category.Enriched.Finitary.Topos |
| withTabulated | Proarrow.Category.Enriched.Finitary.Topos |
| withTabulatedSheaf | Proarrow.Category.Enriched.Finitary.Sheaf |
| WithTestOb | Proarrow.Testing |
| WithTestOb2 | Proarrow.Testing |
| WithTestObCoprod | Proarrow.Testing |
| WithTestObCorep | Proarrow.Testing |
| WithTestObDual | Proarrow.Testing |
| WithTestObExp | Proarrow.Testing |
| WithTestObProd | Proarrow.Testing |
| WithTestObRep | Proarrow.Testing |
| withTracer | Proarrow.Optic.Tracer |
| withTracerP | Proarrow.Optic.Tracer |
| withWrapAtLookup | Proarrow.Category.Enriched.Thin |
| Witness | Proarrow.Testing.Laws.Run |
| witness | Proarrow.Testing.Laws.Run |
| Witnesses | Proarrow.Testing.Laws.Run |
| WNil | Proarrow.Testing.Laws.Run |
| wrapFinite | Proarrow.Category.Enriched.Thin |
| Wrapped | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Wrapped |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Wrapped |
| wrapped | Proarrow.Profunctor.Instance.Wrapped |
| WrappedOb | Proarrow.Core |
| WrapRep | |
| 1 (Type/Class) | Proarrow.Optic.Kaleidoscope |
| 2 (Data Constructor) | Proarrow.Optic.Kaleidoscope |
| Writer | |
| 1 (Type/Class) | Proarrow.Promonad.Writer |
| 2 (Data Constructor) | Proarrow.Promonad.Writer |
| writerComp | Proarrow.Promonad.Writer |
| writerDay | Proarrow.Promonad.Writer |
| WriterT | |
| 1 (Type/Class) | Proarrow.Promonad.Writer |
| 2 (Data Constructor) | Proarrow.Promonad.Writer |
| X | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fam |
| 2 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| xCopy | Proarrow.Category.Instance.ZX |
| xDisc | Proarrow.Category.Instance.ZX |
| xSpider | Proarrow.Category.Instance.ZX |
| Y | Proarrow.Category.Instance.Simplex |
| Yes | Proarrow.Category.Enriched.Thin |
| Yo | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Yoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Yoneda |
| Yoneda | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Yoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Yoneda |
| yoneda | Proarrow.Profunctor.Instance.Yoneda |
| Z | Proarrow.Category.Instance.Simplex |
| zCopy | Proarrow.Category.Instance.ZX |
| zDisc | Proarrow.Category.Instance.ZX |
| ZEQ | Proarrow.Category.Instance.Ordinal |
| Zero | Proarrow.Category.Instance.Zero |
| zero | |
| 1 (Function) | Proarrow.Colimit.Initial |
| 2 (Function) | Proarrow.Colimit.NaturalNumbers |
| 3 (Function) | Proarrow.Category.Instance.Mat |
| 4 (Function) | Proarrow.Category.Instance.FinRel |
| zeroState | Proarrow.Category.Instance.ZX |
| ZeroW | |
| 1 (Type/Class) | Proarrow.Optic.Traversal |
| 2 (Data Constructor) | Proarrow.Optic.Traversal |
| zipV3 | Proarrow.Tools.Diagrams.Dot |
| zipWithOf | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| zipWithP | Proarrow.Optic.Grate |
| ZLT | Proarrow.Category.Instance.Ordinal |
| zSpider | Proarrow.Category.Instance.ZX |
| ZX | |
| 1 (Type/Class) | Proarrow.Category.Instance.ZX |
| 2 (Data Constructor) | Proarrow.Category.Instance.ZX |
| ZZ | Proarrow.Category.Instance.Simplex |
| \\ | Proarrow.Core, Proarrow |
| ^ | Proarrow.Limit.Power |
| ^. | Proarrow.Optic.Getter, Proarrow.Optics, Proarrow |
| ^? | Proarrow.Optic.AffineFold, Proarrow.Optics, Proarrow |
| ^^^ | Proarrow.Category.Monoidal.Closed |
| |> | Proarrow.Profunctor.Instance.Ran |
| || | Proarrow.Colimit.BinaryCoproduct |
| ||| | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Function) | Proarrow.Squares |
| ~> | Proarrow.Core, Proarrow |
| ~~> | Proarrow.Category.Monoidal.Closed |
| • | Proarrow.Category.Instance.Duploid |
| ◦ | Proarrow.Category.Instance.Duploid |