| ! | |
| 1 (Function) | Proarrow.Category.Instance.Sub |
| 2 (Function) | Proarrow.Category.Instance.Nat |
| 3 (Function) | Proarrow.Tools.Diagrams.Dot |
| !~> | Proarrow.Category.Instance.Linear |
| # | Proarrow.Profunctor.Instance.Constant |
| $ | Proarrow.Tools.CCC |
| % | |
| 1 (Function) | Proarrow.Optic |
| 2 (Type/Class) | Proarrow.Profunctor.Representable |
| %% | Proarrow.Profunctor.Corepresentable |
| %~ | Proarrow.Category.Monoidal.Optic |
| && | Proarrow.Limit.BinaryProduct |
| &&& | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Limit.BinaryProduct |
| 3 (Function) | Proarrow.Category.Monoidal.CopyDiscard |
| * | Proarrow.Category.Instance.Mat |
| *! | |
| 1 (Type/Class) | Proarrow.Limit.BinaryProduct |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| ** | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Monoidal |
| **! | Proarrow.Category.Instance.Free |
| *** | 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 |
| 4 (Type/Class) | Proarrow.Tools.CCC |
| ++ | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| 2 (Function) | Proarrow.Colimit.BinaryCoproduct |
| +++ | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 3 (Function) | Proarrow.Tools.Diagrams.Dot |
| +-> | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| --> | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Closed |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| . | Proarrow.Core, Proarrow.Promonad, Proarrow |
| .-> | Proarrow.Category.Instance.Nat |
| .? | Proarrow.Category.Monoidal.Optic |
| .~ | Proarrow.Category.Monoidal.Optic |
| .~> | Proarrow.Functor, Proarrow |
| // | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| :& | Proarrow.Tools.CCC |
| :&&: | Proarrow.Optic |
| :**: | |
| 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 |
| :-> | Proarrow.Category.Bicategory.LaxFunctor |
| :.: | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Composition |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Composition |
| ::: | Proarrow.Category.Bicategory.Strictified |
| :=> | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Type/Class) | Proarrow.Category.Instance.Constraint |
| :^: | |
| 1 (Type/Class) | Proarrow.Limit.Power |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| :~> | Proarrow.Core |
| :~>: | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Exponential |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| <=> | Proarrow.Category.Enriched.Thin |
| <| | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Rift |
| <~~ | Proarrow.Category.Monoidal.Coclosed |
| == | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| 3 (Function) | Proarrow.Category.Monoidal.Strictified |
| === | Proarrow.Squares |
| ?. | Proarrow.Category.Monoidal.Optic |
| @ | Proarrow.Functor, Proarrow, Proarrow |
| A | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Adj |
| 2 (Type/Class) | Proarrow.Category.Instance.Ap |
| AB | Proarrow.Category.Bicategory.Adj |
| ABK | Proarrow.Category.Bicategory.Adj |
| absorbL | Proarrow.Category.Monoidal.Distributive |
| absorbR | Proarrow.Category.Monoidal.Distributive |
| Absurd | Proarrow.Category.Instance.Zero |
| absurdL | Proarrow.Category.Instance.Fin |
| absurdR | Proarrow.Category.Instance.Fin |
| Act | Proarrow.Category.Monoidal.Action |
| act | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Category.Monoidal.Strength |
| actHom | Proarrow.Category.Monoidal.Action |
| add | Proarrow.Colimit.NaturalNumbers |
| Adj | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Data Constructor) | Proarrow.Category.Bicategory |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Adj |
| 4 (Type/Class) | Proarrow.Adjunction |
| 5 (Data Constructor) | Proarrow.Adjunction |
| adj | Proarrow.Category.Bicategory |
| AdjCap | Proarrow.Category.Bicategory.Adj |
| AdjComonad | Proarrow.Adjunction |
| adjCounit | Proarrow.Category.Bicategory |
| AdjCup | Proarrow.Category.Bicategory.Adj |
| adjFromConverse | Proarrow.Category.Instance.Rel |
| ADJK | Proarrow.Category.Bicategory.Adj |
| AdjL | Proarrow.Category.Bicategory.Adj |
| AdjMonad | Proarrow.Adjunction |
| AdjNil | Proarrow.Category.Bicategory.Adj |
| AdjointEquivalence | Proarrow.Adjunction |
| AdjR | Proarrow.Category.Bicategory.Adj |
| adjToConverse | Proarrow.Category.Instance.Rel |
| adjuncted | Proarrow.Adjunction |
| Adjunction | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| 3 (Type/Class) | Proarrow.Adjunction |
| Adjunction_ | Proarrow.Category.Bicategory |
| adjUnit | Proarrow.Category.Bicategory |
| AK | Proarrow.Category.Bicategory.Adj |
| AlgAction | Proarrow.Category.Monoidal.Optic |
| Algebra | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| 2 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| algebra | Proarrow.Category.Monoidal.Optic |
| AlgebraicLens | Proarrow.Category.Monoidal.Optic |
| Align | Proarrow.Category.Instance.PointedHask |
| alignWith | Proarrow.Category.Instance.PointedHask |
| All | Proarrow.Category.Instance.Free |
| 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.Category.Instance.Ap |
| Ap | |
| 1 (Type/Class) | Proarrow.Category.Instance.Ap |
| 2 (Data Constructor) | Proarrow.Category.Instance.Ap |
| 3 (Type/Class) | Proarrow.Profunctor.Free |
| ap | |
| 1 (Function) | Proarrow.Category.Monoidal.Closed |
| 2 (Function) | Proarrow.Category.Monoidal.Applicative |
| Apex | Proarrow.Profunctor.Instance.Cone |
| App | Proarrow.Category.Instance.Mat |
| app | Proarrow.Category.Instance.Mat |
| append | Proarrow.Category.Bicategory.Strictified |
| Applicative | Proarrow.Category.Monoidal.Applicative |
| Apply | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal.Closed |
| 2 (Type/Class) | Proarrow.Category.Instance.CatFun |
| apply | Proarrow.Category.Monoidal.Closed |
| ApplyAction | Proarrow.Category.Instance.Nat |
| ApplyAction' | Proarrow.Category.Instance.Nat |
| applyHG | Proarrow.Category.Monoidal.Hypergraph |
| applyS | Proarrow.Category.Monoidal.Closed |
| applySA | Proarrow.Category.Monoidal.StarAutonomous |
| Arr | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Discrete |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Arrow |
| 3 (Data Constructor) | Proarrow.Profunctor.Instance.Arrow |
| arr | |
| 1 (Function) | Proarrow.Core |
| 2 (Function) | Proarrow.Category.Enriched.Thin |
| 3 (Function) | Proarrow.Category.Instance.Ap |
| 4 (Function) | Proarrow.Category.Instance.Span |
| 5 (Function) | Proarrow.Category.Instance.Cospan |
| 6 (Function) | Proarrow.Category.Instance.FinRel |
| 7 (Function) | Proarrow.Category.Instance.Mat |
| 8 (Function) | Proarrow.Category.Instance.Kleisli |
| arr' | |
| 1 (Function) | Proarrow.Category.Enriched.Thin |
| 2 (Function) | Proarrow.Category.Instance.Mat |
| arrCoprod | Proarrow.Category.Instance.Collage |
| ARROW | |
| 1 (Type/Class) | Proarrow.Category.Instance.Graph |
| 2 (Type/Class) | Proarrow.Category.Instance.Bool |
| arrowIsBottomProof | Proarrow.Category.Enriched.Thin |
| ArrowIsId | Proarrow.Category.Enriched.Thin |
| arrowIsIdProof | Proarrow.Category.Enriched.Thin |
| asCocat | Proarrow.Category.Instance.Linear |
| asImplication | Proarrow.Category.Instance.Rel |
| ask | Proarrow.Promonad.Reader |
| AsLeftAdjoint | |
| 1 (Type/Class) | Proarrow.Universal, Proarrow |
| 2 (Data Constructor) | Proarrow.Universal, Proarrow |
| asObj | Proarrow.Category.Bicategory.Strictified |
| AsPresheaf | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fam |
| 2 (Data Constructor) | Proarrow.Category.Instance.Fam |
| AsRightAdjoint | |
| 1 (Type/Class) | Proarrow.Universal, Proarrow |
| 2 (Data Constructor) | Proarrow.Universal, Proarrow |
| Assoc | Proarrow.Category.Bicategory.Strictified |
| Associator | Proarrow.Category.Instance.Free |
| associator | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| associator' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| associatorCoprod | Proarrow.Colimit.BinaryCoproduct |
| associatorCoprodInv | Proarrow.Colimit.BinaryCoproduct |
| associatorDefault | Proarrow.Category.Monoidal |
| AssociatorInv | Proarrow.Category.Instance.Free |
| associatorInv | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| associatorInv' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| associatorIso | Proarrow.Category.Monoidal |
| associatorProd | Proarrow.Limit.BinaryProduct |
| associatorProdInv | Proarrow.Limit.BinaryProduct |
| At1 | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| At2 | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| B | |
| 1 (Data Constructor) | Proarrow.Category.Instance.BiAsCategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Adj |
| baseTraverse | Proarrow.Category.Monoidal.Distributive |
| BI | Proarrow.Category.Instance.BiAsCategory |
| Bi | |
| 1 (Type/Class) | Proarrow.Category.Instance.BiAsCategory |
| 2 (Data Constructor) | Proarrow.Category.Instance.BiAsCategory |
| Bicategory | Proarrow.Category.Bicategory |
| BiCCC | Proarrow.Category.Monoidal.Closed |
| Bidiscrete | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Bidiscrete |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Bidiscrete |
| bimap | Proarrow.Category.Instance.Nat |
| Bimodule | Proarrow.Category.Bicategory |
| bind | Proarrow.Promonad |
| 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 |
| boolArr | Proarrow.Category.Instance.Bool |
| Booleans | Proarrow.Category.Instance.Bool |
| boolId | Proarrow.Category.Instance.Bool |
| Bottom | Proarrow.Category.Instance.Zero |
| branch | Proarrow.Category.Monoidal.Distributive |
| BS | |
| 1 (Data Constructor) | Proarrow.Category.Instance.ZX |
| 2 (Data Constructor) | Proarrow.Category.Instance.FinRel |
| C | Proarrow.Category.Instance.Cost |
| C0 | Proarrow.Category.Internal |
| C1 | Proarrow.Category.Internal |
| CanEqShow | Proarrow.Category.Instance.Free |
| cap | |
| 1 (Function) | Proarrow.Category.Monoidal.Hypergraph |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| capS | Proarrow.Category.Monoidal.Hypergraph |
| Cartesian | Proarrow.Limit.BinaryProduct |
| CAT | Proarrow.Core, Proarrow.Category, Proarrow |
| Cat | |
| 1 (Type/Class) | Proarrow.Category.Instance.CatProf |
| 2 (Data Constructor) | Proarrow.Category.Instance.CatProf |
| cata | Proarrow.Profunctor.Instance.Fix |
| CatAsComonoid | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| CategoryOf | Proarrow.Core, Proarrow.Category, Proarrow |
| CCC | Proarrow.Category.Monoidal.Closed |
| CD | Proarrow.Category.Instance.Discrete |
| censor | Proarrow.Promonad.Writer |
| CheckBiproduct | Proarrow.Colimit.BinaryCoproduct |
| checkCodiscreteProfunctor | Proarrow.Category.Instance.Product |
| checkDiscrete | Proarrow.Category.Instance.Product |
| classifyGraph | Proarrow.Category.Topos |
| classifyImage | Proarrow.Category.Topos |
| Classifying | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| classifyKernelPair | Proarrow.Category.Topos |
| Clone | Proarrow.Category.Enriched |
| Closed | Proarrow.Category.Monoidal.Closed |
| cnot | Proarrow.Category.Instance.ZX |
| CNSTRNT | Proarrow.Category.Instance.Constraint |
| CO | Proarrow.Category.Bicategory.Co |
| Co | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Co |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Co |
| 3 (Data Constructor) | Proarrow.Profunctor.Instance.Star |
| coact | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Category.Monoidal.Strength |
| coactCC | Proarrow.Category.Monoidal.CompactClosed |
| Coadjunction | Proarrow.Category.Bicategory.Relative |
| Coalgebra | Proarrow.Category.Bicategory.Relative |
| Coapex | Proarrow.Profunctor.Instance.Cocone |
| coarr | |
| 1 (Function) | Proarrow.Category.Instance.Span |
| 2 (Function) | Proarrow.Category.Instance.Cospan |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| Cocartesian | Proarrow.Colimit.BinaryCoproduct |
| CoCCC | Proarrow.Category.Monoidal.Coclosed |
| Coclosed | Proarrow.Category.Monoidal.Coclosed |
| Cocone | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Cocone |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Cocone |
| Codensity | Proarrow.Category.Bicategory.Kan |
| 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 |
| coepsilon | Proarrow.Category.Bicategory.Relative |
| coequalize | Proarrow.Colimit.Coequalizer |
| coequalizerDefault | Proarrow.Colimit.Pushout |
| coeta | Proarrow.Category.Bicategory.Relative |
| 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 |
| coinj | Proarrow.Category.Bicategory.Kan |
| COK | Proarrow.Category.Bicategory.Co |
| cokernel | Proarrow.Colimit.Coequalizer |
| cokernelPair | Proarrow.Colimit.Pushout |
| Coleg | Proarrow.Profunctor.Instance.Cocone |
| Colimit | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| colimit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Colimit |
| 3 (Function) | Proarrow.Squares.Limit |
| colimitFromLimitAdj | Proarrow.Category.Equipment.Limit |
| colimitToLimitAdj | Proarrow.Category.Equipment.Limit |
| colimitUniv | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Colimit |
| 3 (Function) | Proarrow.Squares.Limit |
| COLLAGE | Proarrow.Category.Instance.Collage |
| Collage | Proarrow.Category.Instance.Collage |
| CollageAsCoprod | Proarrow.Category.Instance.Collage |
| collageUniv | Proarrow.Category.Instance.Collage |
| combine | |
| 1 (Function) | Proarrow.Monoid, Proarrow |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| combineAll | Proarrow.Category.Bicategory.Strictified |
| CombineDual | Proarrow.Category.Instance.CatProf |
| combineDual | Proarrow.Category.Monoidal.CompactClosed |
| combineDualS | Proarrow.Category.Monoidal.CompactClosed |
| combines | Proarrow.Category.Instance.FinRel |
| COMMA | Proarrow.Category.Instance.Graph |
| commSquare | Proarrow.Category.Instance.Bool |
| CommutativeMonoid | Proarrow.Monoid, Proarrow |
| Comonad | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| 3 (Type/Class) | Proarrow.Promonad |
| Comonoid | Proarrow.Monoid, Proarrow |
| ComonoidAsCat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| Comp | |
| 1 (Type/Class) | Proarrow.Category.Instance.BiAsCategory |
| 2 (Data Constructor) | Proarrow.Profunctor.Free |
| comp | |
| 1 (Function) | Proarrow.Category.Monoidal.Closed |
| 2 (Function) | Proarrow.Category.Enriched |
| CompactClosed | Proarrow.Category.Monoidal.CompactClosed |
| compAsRan | Proarrow.Profunctor.Instance.Ran |
| compAsRift | Proarrow.Profunctor.Instance.Rift |
| compComp | Proarrow.Profunctor.Instance.Composition |
| compOptic | Proarrow.Category.Monoidal.Optic |
| compose | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Category.Internal |
| composeActs | Proarrow.Category.Monoidal.Action |
| composeCostar | Proarrow.Profunctor.Instance.Costar |
| composeRan | Proarrow.Category.Bicategory.Kan |
| composeRift | Proarrow.Category.Bicategory.Kan |
| composeStar | Proarrow.Profunctor.Instance.Star |
| compPt | Proarrow.Category.Instance.PointedHask |
| compS | Proarrow.Category.Monoidal.Closed |
| compSelf | Proarrow.Category.Enriched |
| comult | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| comultAct | Proarrow.Monoid, Proarrow |
| comultS | Proarrow.Monoid, Proarrow |
| concatFold | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 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 |
| Constant | Proarrow.Profunctor.Instance.Constant |
| CONSTRAINT | Proarrow.Category.Instance.Constraint |
| Cont | |
| 1 (Type/Class) | Proarrow.Promonad.Cont |
| 2 (Data Constructor) | Proarrow.Promonad.Cont |
| 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 |
| coopact | Proarrow.Category.Bicategory.Relative |
| Coopalgebra | Proarrow.Category.Bicategory.Relative |
| 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, Proarrow |
| 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.Profunctor.Instance.Coproduct |
| CoproductColimit | Proarrow.Colimit |
| copy | Proarrow.Category.Monoidal.CopyDiscard |
| CopyDiscard | Proarrow.Category.Monoidal.CopyDiscard |
| copyS | Proarrow.Category.Monoidal.CopyDiscard |
| COREP | Proarrow.Category.Instance.Rep |
| Corep | |
| 1 (Type/Class) | Proarrow.Profunctor.Corepresentable |
| 2 (Data Constructor) | Proarrow.Profunctor.Corepresentable |
| corep | Proarrow.Profunctor.Corepresentable |
| COREPK | Proarrow.Category.Instance.Rep |
| corepMap | Proarrow.Profunctor.Corepresentable |
| corepObj | Proarrow.Profunctor.Corepresentable |
| Corepresentable | Proarrow.Profunctor.Corepresentable |
| CorepStar | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable |
| corepUniv | Proarrow.Profunctor.Corepresentable |
| corun | Proarrow.Category.Bicategory.Kan |
| 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 |
| costArr | Proarrow.Category.Instance.Cost |
| Costate | Proarrow.Category.Monoidal |
| costrength | Proarrow.Category.Monoidal.Strength |
| Costrong | Proarrow.Category.Monoidal.Strength |
| cotabulate | Proarrow.Profunctor.Corepresentable |
| cotabulated | Proarrow.Profunctor.Corepresentable |
| Cotight | Proarrow.Category.Equipment |
| CotightAdj | Proarrow.Category.Bicategory.Adj |
| CotightAdjoint | Proarrow.Category.Equipment |
| Cotraversable | Proarrow.Category.Monoidal.Distributive |
| cotraverse | Proarrow.Category.Monoidal.Distributive |
| cotraverseReader | Proarrow.Promonad.Reader |
| counit | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Relative |
| 3 (Function) | Proarrow.Monoid, Proarrow |
| 4 (Function) | Proarrow.Category.Instance.Linear |
| 5 (Function) | Proarrow.Adjunction |
| 6 (Function) | Proarrow.Squares |
| counitAct | Proarrow.Monoid, Proarrow |
| counitAdj | Proarrow.Tools.Diagrams.Dot |
| counitIso | Proarrow.Adjunction |
| counitRep | Proarrow.Adjunction |
| counitS | Proarrow.Monoid, Proarrow |
| counitUr | Proarrow.Category.Instance.Linear |
| CountLR | Proarrow.Category.Bicategory.Adj |
| CountLR' | Proarrow.Category.Bicategory.Adj |
| CountRL | Proarrow.Category.Bicategory.Adj |
| CountRL' | Proarrow.Category.Bicategory.Adj |
| Coyoneda | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Coyoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Coyoneda |
| coyoneda | Proarrow.Profunctor.Instance.Coyoneda |
| crossing | Proarrow.Category.Equipment.Stateful |
| CS | Proarrow.Category.Instance.Cospan |
| cup | |
| 1 (Function) | Proarrow.Category.Monoidal.Hypergraph |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| cupS | Proarrow.Category.Monoidal.Hypergraph |
| Curry | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal.Closed |
| 2 (Type/Class) | Proarrow.Category.Instance.CatProf |
| 3 (Data Constructor) | Proarrow.Category.Instance.CatProf |
| 4 (Type/Class) | Proarrow.Category.Instance.CatFun |
| curry | Proarrow.Category.Monoidal.Closed |
| CurryH | Proarrow.Category.Instance.CatFun |
| curryHG | Proarrow.Category.Monoidal.Hypergraph |
| curryS | Proarrow.Category.Monoidal.Closed |
| curryS' | Proarrow.Category.Monoidal.Closed |
| currySA | Proarrow.Category.Monoidal.StarAutonomous |
| D | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Discrete |
| 2 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 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 |
| DayUnit | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Day |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Day |
| decompose | Proarrow.Category.Promonoidal |
| decomposeActs | Proarrow.Category.Monoidal.Action |
| defaultFactorize | Proarrow.Category.Topos |
| defaultFactorizeDual | Proarrow.Category.Topos |
| delta | Proarrow.Category.Bicategory |
| Density | Proarrow.Category.Bicategory.Kan |
| DEP | Proarrow.Category.Instance.Fam |
| DEP_ | Proarrow.Category.Instance.Fam |
| Diag | Proarrow.Category.Instance.Product |
| diag | Proarrow.Limit.BinaryProduct |
| diagonalElement | Proarrow.Category.Instance.Graph |
| dimap | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| dimapCorep | Proarrow.Profunctor.Corepresentable |
| dimapDefault | Proarrow.Core, Proarrow.Category, Proarrow |
| dimapLan | Proarrow.Category.Bicategory.Kan |
| dimapLax | Proarrow.Category.Bicategory.Prof |
| dimapLift | Proarrow.Category.Bicategory.Kan |
| dimapRan | Proarrow.Category.Bicategory.Kan |
| dimapRep | Proarrow.Profunctor.Representable |
| dimapRift | Proarrow.Category.Bicategory.Kan |
| dimension | Proarrow.Category.Monoidal.CompactClosed |
| Direp | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Direp |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Direp |
| discard | Proarrow.Category.Monoidal.CopyDiscard |
| 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 |
| DiscreteK | Proarrow.Category.Bicategory.Bidiscrete |
| DiscreteProfunctor | Proarrow.Category.Enriched.Thin |
| distL | Proarrow.Category.Monoidal.Distributive |
| distLClosed | Proarrow.Category.Monoidal.Distributive |
| distLInv | Proarrow.Category.Monoidal.Distributive |
| distLProd | Proarrow.Category.Monoidal.Distributive |
| distR | Proarrow.Category.Monoidal.Distributive |
| distRClosed | Proarrow.Category.Monoidal.Distributive |
| DistribDual | Proarrow.Category.Instance.CatProf |
| distribDual | Proarrow.Category.Monoidal.CompactClosed |
| distribDualInv | Proarrow.Category.Monoidal.CompactClosed |
| Distributive | Proarrow.Category.Monoidal.Distributive |
| DistributiveProfunctor | Proarrow.Category.Monoidal.Distributive |
| distRInv | Proarrow.Category.Monoidal.Distributive |
| distRProd | Proarrow.Category.Monoidal.Distributive |
| DK | Proarrow.Category.Bicategory.Bidiscrete |
| Dn | Proarrow.Category.Instance.Duploid |
| dn | Proarrow.Category.Instance.Linear |
| 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 |
| doubleNegInv | Proarrow.Category.Monoidal.StarAutonomous |
| doubleNegIso | Proarrow.Category.Monoidal.StarAutonomous |
| down | Proarrow.Category.Instance.Duploid |
| Dual | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.StarAutonomous |
| 2 (Type/Class) | Proarrow.Category.Bicategory.MonoidalAsBi |
| dual | Proarrow.Category.Monoidal.StarAutonomous |
| dualAdj | Proarrow.Category.Bicategory.MonoidalAsBi |
| dualAdj' | Proarrow.Category.Bicategory.MonoidalAsBi |
| dualHG | Proarrow.Category.Monoidal.Hypergraph |
| dualInv | Proarrow.Category.Monoidal.StarAutonomous |
| dualityCounit | Proarrow.Category.Monoidal.CompactClosed |
| dualityCounitS | Proarrow.Category.Monoidal.CompactClosed |
| dualityCounitSA | Proarrow.Category.Monoidal.StarAutonomous |
| dualityUnit | Proarrow.Category.Monoidal.CompactClosed |
| dualityUnitS | Proarrow.Category.Monoidal.CompactClosed |
| dualityUnitSA | Proarrow.Category.Monoidal.StarAutonomous |
| dualObj | Proarrow.Category.Monoidal.StarAutonomous |
| DualUnit | Proarrow.Category.Instance.CatProf |
| dualUnit | Proarrow.Category.Monoidal.CompactClosed |
| dualUnitInv | Proarrow.Category.Monoidal.CompactClosed |
| 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.Endo |
| edges | Proarrow.Tools.Diagrams.Dot |
| Eff | Proarrow.Profunctor.Free |
| either | Proarrow.Tools.CCC |
| eitherF | Proarrow.Tools.Diagrams.Dot |
| El | Proarrow.Limit.Terminal |
| Elem | Proarrow.Category.Instance.Free |
| ElementaryTopos | Proarrow.Category.Topos |
| ELEMENTS | Proarrow.Category.Instance.Graph |
| elimI | Proarrow.Category.Bicategory.Strictified |
| elimO | Proarrow.Category.Bicategory.Strictified |
| EMB | Proarrow.Category.Instance.Free |
| Emb | Proarrow.Category.Instance.Free |
| emb | Proarrow.Category.Instance.Free |
| Embed | 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.Endo |
| Endo | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Endo |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Endo |
| Enriched | Proarrow.Category.Enriched |
| enriched | Proarrow.Category.Enriched |
| EnrichedProfunctor | Proarrow.Category.Enriched |
| enrichedPt | Proarrow.Category.Instance.PointedHask |
| enrichedSelf | Proarrow.Category.Enriched |
| Entails | Proarrow.Category.Instance.Constraint |
| entails | Proarrow.Category.Instance.Constraint |
| enumAll | Proarrow.Category.Instance.ZX |
| epsilon | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Relative |
| 3 (Function) | Proarrow.Category.Instance.ZX |
| Eq2 | Proarrow.Category.Instance.Free |
| eqIsSuperOrd | Proarrow.Category.Instance.Constraint |
| equalize | Proarrow.Limit.Equalizer |
| equalizerDefault | Proarrow.Limit.Pullback |
| Equipment | Proarrow.Category.Equipment |
| Equivalence | Proarrow.Category.Instance.Rel |
| eta | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Relative |
| ex2prof | Proarrow.Category.Monoidal.Optic |
| exfalso | Proarrow.Category.Enriched.Thin |
| ExOptic | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| Exp | |
| 1 (Type/Class) | Proarrow.Category.Instance.FinSet |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Exponential |
| 3 (Data Constructor) | Proarrow.Category.Instance.Nat |
| exp | Proarrow.Category.Instance.FinSet |
| ExpHG | Proarrow.Category.Monoidal.Hypergraph |
| ExpRep | Proarrow.Category.Monoidal.Closed |
| ExpSA | Proarrow.Category.Monoidal.StarAutonomous |
| expSA | Proarrow.Category.Monoidal.StarAutonomous |
| extend | Proarrow.Promonad |
| extendRep | Proarrow.Adjunction |
| extract | Proarrow.Promonad |
| F | Proarrow.Tools.CCC |
| F2T | Proarrow.Category.Instance.Bool |
| factorCoequalizer | Proarrow.Colimit.Coequalizer |
| factorEqualizer | Proarrow.Limit.Equalizer |
| factorize | Proarrow.Category.Topos |
| false | Proarrow.Category.Topos |
| FAM | Proarrow.Category.Instance.Fam |
| Fam | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fam |
| 2 (Data Constructor) | Proarrow.Category.Instance.Fam |
| fanIn | Proarrow.Category.Monoidal.Hypergraph |
| fanInS | Proarrow.Category.Monoidal.Hypergraph |
| fanOut | Proarrow.Category.Monoidal.Hypergraph |
| fanOutS | Proarrow.Category.Monoidal.Hypergraph |
| FF | Proarrow.Category.Instance.Bool |
| Filterable | Proarrow.Category.Instance.PointedHask |
| filterSparse | Proarrow.Category.Instance.ZX |
| FIN | Proarrow.Category.Instance.Fin |
| Fin | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| FIN0 | Proarrow.Category.Instance.Fin |
| FIN1 | Proarrow.Category.Instance.Fin |
| FIN2 | Proarrow.Category.Instance.Fin |
| FIN3 | Proarrow.Category.Instance.Fin |
| findArr | Proarrow.Category.Instance.FinSet |
| findIndex | Proarrow.Category.Instance.FinSet |
| findIso | Proarrow.Category.Instance.FinSet |
| Finite | Proarrow.Category.Internal |
| 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 |
| FK | Proarrow.Tools.CCC |
| FlipApp | |
| 1 (Type/Class) | Proarrow.Squares |
| 2 (Data Constructor) | Proarrow.Squares |
| flipCorep | Proarrow.Profunctor.Representable |
| flipLeftAdjoint | Proarrow.Category.Bicategory |
| flipLeftAdjointInv | Proarrow.Category.Bicategory |
| flipRan | Proarrow.Profunctor.Instance.Ran |
| flipRanInv | Proarrow.Profunctor.Instance.Ran |
| flipRep | Proarrow.Profunctor.Representable |
| flipRift | Proarrow.Profunctor.Instance.Rift |
| flipRiftInv | Proarrow.Profunctor.Instance.Rift |
| flipRightAdjoint | Proarrow.Category.Bicategory |
| flipRightAdjointInv | Proarrow.Category.Bicategory |
| FLS | Proarrow.Category.Instance.Bool |
| Fls | Proarrow.Category.Instance.Bool |
| fmap | Proarrow.Functor, Proarrow |
| fmapDefault | Proarrow.Category.Monoidal.Applicative |
| Fold | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| 2 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| 3 (Type/Class) | Proarrow.Profunctor.Instance.Fold |
| 4 (Data Constructor) | Proarrow.Profunctor.Instance.Fold |
| fold | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| 3 (Function) | Proarrow.Category.Instance.Free |
| foldFreePromonad | Proarrow.Profunctor.Free |
| foldList | Proarrow.Profunctor.Instance.List |
| foldMap | Proarrow.Profunctor.Free |
| foldStructure | Proarrow.Category.Instance.Free |
| Forget | |
| 1 (Type/Class) | Proarrow.Category.Instance.Sub |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 3 (Type/Class) | Proarrow.Category.Instance.Linear |
| FR | Proarrow.Category.Instance.FinRel |
| FREE | Proarrow.Category.Instance.Free |
| Free | |
| 1 (Type/Class) | Proarrow.Category.Instance.Free |
| 2 (Type/Class) | Proarrow.Profunctor.Free |
| 3 (Type/Class) | Proarrow.Tools.CCC |
| freeComp | Proarrow.Profunctor.Free |
| freeMap | Proarrow.Profunctor.Free |
| FreePromonad | Proarrow.Profunctor.Free |
| freePromonadAlg | Proarrow.Profunctor.Free |
| Frobenius | Proarrow.Category.Monoidal.Hypergraph |
| FromAdjunction | |
| 1 (Type/Class) | Proarrow.Universal, Proarrow |
| 2 (Data Constructor) | Proarrow.Universal, Proarrow |
| FromAll | Proarrow.Category.Instance.Free |
| fromBools | Proarrow.Category.Instance.FinRel |
| fromInt | Proarrow.Category.Instance.IntConstruction |
| fromLeft | Proarrow.Squares |
| fromLinear | Proarrow.Category.Instance.Duploid |
| fromList | Proarrow.Profunctor.Instance.Fix |
| 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, Proarrow |
| 2 (Data Constructor) | Proarrow.Functor, Proarrow |
| fromRight | Proarrow.Squares |
| fromSimplex | Proarrow.Category.Bicategory.Adj |
| fromSimplexOp | Proarrow.Category.Bicategory.Adj |
| fromThunkable | Proarrow.Category.Instance.Duploid |
| fromVLLens | Proarrow.Category.Monoidal.Optic |
| fromWeightedOptic | Proarrow.Profunctor.Instance.PastroTambara |
| FS | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fin |
| 2 (Type/Class) | Proarrow.Category.Instance.FinSet |
| Fst | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 3 (Data Constructor) | Proarrow.Limit.BinaryProduct |
| fst | |
| 1 (Function) | Proarrow.Category.Bicategory.Product |
| 2 (Function) | Proarrow.Limit.BinaryProduct |
| 3 (Function) | Proarrow.Category.Monoidal.CopyDiscard |
| fst' | Proarrow.Limit.BinaryProduct |
| fstK | Proarrow.Category.Instance.Product |
| fstObj | Proarrow.Category.Bicategory.Limit |
| fstP | Proarrow.Profunctor.Instance.Product |
| FT | Proarrow.Category.Instance.Bool |
| FUN | |
| 1 (Type/Class) | Proarrow.Category.Instance.Sub |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Prof |
| Fun | Proarrow.Category.Instance.FinRel |
| Functional | Proarrow.Category.Instance.Rel |
| Functor | Proarrow.Functor, Proarrow |
| FunctorForRep | Proarrow.Functor, Proarrow |
| FUNK | Proarrow.Category.Bicategory.Prof |
| FZ | Proarrow.Category.Instance.Fin |
| GaloisConnection | Proarrow.Adjunction |
| GenArrow | |
| 1 (Type/Class) | Proarrow.Category.Enriched |
| 2 (Data Constructor) | Proarrow.Category.Enriched |
| GenElt | |
| 1 (Type/Class) | Proarrow.Monoid, Proarrow |
| 2 (Data Constructor) | Proarrow.Monoid, Proarrow |
| get | Proarrow.Promonad.State |
| getData | Proarrow.Tools.Diagrams.Dot |
| getNeg | Proarrow.Category.Instance.Linear |
| ghzState | Proarrow.Category.Instance.ZX |
| GR | Proarrow.Category.Instance.Graph |
| GRAPH | Proarrow.Category.Instance.Graph |
| Graph | |
| 1 (Type/Class) | Proarrow.Category.Instance.Graph |
| 2 (Data Constructor) | Proarrow.Category.Instance.Graph |
| graphUniv | Proarrow.Category.Instance.Graph |
| 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 |
| HasArrowRep | Proarrow.Category.Instance.Rep |
| HasBinaryCoproducts | Proarrow.Colimit.BinaryCoproduct |
| HasBinaryProducts | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Limit.BinaryProduct |
| HasBiproducts | Proarrow.Colimit.BinaryCoproduct |
| HasCoequalizers | Proarrow.Colimit.Coequalizer |
| HasCofree | Proarrow.Profunctor.Cofree |
| HasColimits | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| HasCoproducts | Proarrow.Colimit.BinaryCoproduct |
| HasCostArrow | Proarrow.Category.Instance.Cost |
| HasEpiMonoFactorization | Proarrow.Category.Topos |
| HasEqualizers | Proarrow.Limit.Equalizer |
| HasFiniteColimits | Proarrow.Category.Topos |
| HasFiniteLimits | Proarrow.Category.Topos |
| HasFree | Proarrow.Profunctor.Free |
| HasFreeK | Proarrow.Profunctor.Free |
| HasIdArrow | Proarrow.Category.Bicategory.ThinCategoryAsBi |
| HasInitialObject | Proarrow.Colimit.Initial |
| Hask | Proarrow.Category.Instance.Hask |
| haskAdjIsCurryAdj | Proarrow.Adjunction |
| HaskOptic | Proarrow.Squares |
| HaskTraversal | Proarrow.Category.Monoidal.Optic |
| haskTraversing | Proarrow.Category.Monoidal.Optic |
| HaskValue | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.HaskValue |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.HaskValue |
| HasLimits | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Limit |
| HasNoArrow | Proarrow.Category.Enriched.Thin |
| HasParamNNO | Proarrow.Colimit.NaturalNumbers |
| HasProducts | Proarrow.Limit.BinaryProduct |
| HasPullbacks | Proarrow.Limit.Pullback |
| HasPushouts | Proarrow.Colimit.Pushout |
| HasStructure | Proarrow.Category.Instance.Free |
| HasSubobjectClassifier | Proarrow.Category.Topos |
| HasTerminalObject | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Limit.Terminal |
| HasZeroObject | Proarrow.Colimit.Initial |
| hCombineAll | Proarrow.Squares |
| hId | Proarrow.Squares |
| HK | Proarrow.Category.Bicategory.Hom |
| Hom | |
| 1 (Type/Class) | Proarrow.Core |
| 2 (Type/Class) | Proarrow.Limit |
| 3 (Data Constructor) | Proarrow.Limit |
| 4 (Type/Class) | Proarrow.Colimit |
| 5 (Data Constructor) | Proarrow.Colimit |
| 6 (Data Constructor) | Proarrow.Category.Bicategory.Hom |
| HomK | Proarrow.Category.Bicategory.Hom |
| HomObj | Proarrow.Category.Enriched |
| HomObjIsProduct | Proarrow.Limit.Power |
| HomObjOp | Proarrow.Colimit.Copower |
| HomSelf | Proarrow.Category.Enriched |
| HomW | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Hom |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Hom |
| hSplitAll | Proarrow.Squares |
| hylo | Proarrow.Profunctor.Instance.Fix |
| Hypergraph | Proarrow.Category.Monoidal.Hypergraph |
| I | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Data Constructor) | Proarrow.Category.Instance.IntConstruction |
| Id | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Identity |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Identity |
| 3 (Data Constructor) | Proarrow.Category.Instance.Free |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.ThinCategoryAsBi |
| id | Proarrow.Core, Proarrow.Promonad, Proarrow |
| identity | Proarrow.Category.Internal |
| idLan | Proarrow.Category.Bicategory.Kan |
| idLift | Proarrow.Category.Bicategory.Kan |
| idRan | Proarrow.Category.Bicategory.Kan |
| idRift | Proarrow.Category.Bicategory.Kan |
| implies | |
| 1 (Function) | Proarrow.Optic |
| 2 (Function) | Proarrow.Category.Topos |
| In | Proarrow.Profunctor.Instance.Fix |
| index | Proarrow.Profunctor.Representable |
| INF | Proarrow.Category.Instance.Cost |
| Inf | Proarrow.Category.Instance.Cost |
| InitF | |
| 1 (Type/Class) | Proarrow.Colimit.Initial |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| Initial | Proarrow.Colimit.Initial |
| InitialObject | Proarrow.Colimit.Initial |
| InitialProfunctor | Proarrow.Profunctor.Instance.Initial |
| 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 |
| inj | Proarrow.Category.Bicategory.Kan |
| Injective | Proarrow.Category.Instance.Rel |
| InjL | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| InjR | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| InL | Proarrow.Category.Instance.Collage |
| 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 |
| InternalIn | Proarrow.Category.Internal |
| IntMinus | Proarrow.Category.Instance.IntConstruction |
| IntPlus | Proarrow.Category.Instance.IntConstruction |
| introI | Proarrow.Category.Bicategory.Strictified |
| introO | Proarrow.Category.Bicategory.Strictified |
| InvertableOptic | Proarrow.Optic |
| involuted | Proarrow.Adjunction |
| Involution | Proarrow.Adjunction |
| iObj | Proarrow.Category.Bicategory |
| ip0 | Proarrow.Category.Equipment.Stateful |
| ip1 | Proarrow.Category.Equipment.Stateful |
| Is | Proarrow.Core |
| IsBool | Proarrow.Category.Instance.Bool |
| IsBoolArr | Proarrow.Category.Instance.Bool |
| IsCorepColimit | Proarrow.Colimit |
| IsCost | Proarrow.Category.Instance.Cost |
| IsCotight | |
| 1 (Type/Class) | Proarrow.Category.Equipment |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Adj |
| isEpi | Proarrow.Colimit.Pushout |
| isEq | Proarrow.Category.Topos |
| IsFin | Proarrow.Category.Instance.Fin |
| IsFreeOb | Proarrow.Category.Instance.Free |
| isFunctional | Proarrow.Category.Instance.Rel |
| IsFunctorial | Proarrow.Category.Bicategory.Prof |
| 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 |
| IsLRPath | Proarrow.Category.Bicategory.Adj |
| IsLTE | Proarrow.Category.Instance.Fin |
| isMono | Proarrow.Limit.Pullback |
| IsNat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| isNilOrL | Proarrow.Category.Bicategory.Adj |
| isNilOrR | Proarrow.Category.Bicategory.Adj |
| IsNormal | Proarrow.Category.Bicategory.LaxFunctor |
| Iso | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Type/Class) | Proarrow.Squares |
| iso | Proarrow.Optic |
| Iso' | Proarrow.Optic |
| IsOb | Proarrow.Category.Bicategory.Sub, Proarrow.Category.Equipment |
| IsOb0 | Proarrow.Category.Bicategory.Sub |
| IsObI | Proarrow.Category.Bicategory.Sub |
| IsObMult | Proarrow.Category.Instance.Sub |
| IsOptic | Proarrow.Squares |
| isoToInt | Proarrow.Category.Instance.IntConstruction |
| IsPath | Proarrow.Category.Bicategory.Strictified |
| IsPN | Proarrow.Category.Instance.Duploid |
| IsPresheafSub | Proarrow.Category.Instance.Fam |
| IsReader | Proarrow.Category.Equipment.Stateful |
| isReflexive | Proarrow.Category.Instance.Rel |
| IsRepresentableLimit | Proarrow.Limit |
| isSurjective | Proarrow.Category.Instance.Rel |
| IsTight | |
| 1 (Type/Class) | Proarrow.Category.Equipment |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Adj |
| isTotal | Proarrow.Category.Instance.Rel |
| isTransitive | Proarrow.Category.Instance.Rel |
| IsWriter | Proarrow.Category.Equipment.Stateful |
| isZero | Proarrow.Category.Instance.ZX |
| ixed | Proarrow.Tools.Diagrams.Dot |
| ixs | Proarrow.Tools.Diagrams.Dot |
| K | Proarrow.Category.Instance.CatProf |
| k1Optic | Proarrow.Category.Monoidal.Optic |
| kernel | Proarrow.Limit.Equalizer |
| kernelPair | Proarrow.Limit.Pullback |
| Key | |
| 1 (Type/Class) | Proarrow.Profunctor.Corepresentable |
| 2 (Type/Class) | Proarrow.Profunctor.Representable |
| KIND | Proarrow.Category.Instance.CatProf |
| Kind | Proarrow.Core |
| KL | Proarrow.Category.Instance.Kleisli |
| KlCat | Proarrow.Category.Monoidal.Optic |
| 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 |
| L | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.List |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Adj |
| 3 (Data Constructor) | Proarrow.Category.Instance.Linear |
| 4 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 5 (Type/Class) | Proarrow.Category.Instance.Collage |
| 6 (Type/Class) | Proarrow.Universal, Proarrow, Proarrow |
| L2R | Proarrow.Category.Instance.Collage |
| lam | Proarrow.Tools.CCC |
| Lan | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| 3 (Data Constructor) | Proarrow.Category.Instance.Nat |
| 4 (Type/Class) | Proarrow.Colimit |
| 5 (Data Constructor) | Proarrow.Colimit |
| lan | Proarrow.Category.Bicategory.Kan |
| lanAlongLeftAdjoint | Proarrow.Category.Bicategory.Kan |
| lanAlongLeftAdjointInv | Proarrow.Category.Bicategory.Kan |
| lanComonadDelta | Proarrow.Category.Bicategory.Kan |
| lanComonadEpsilon | Proarrow.Category.Bicategory.Kan |
| lanUniv | Proarrow.Category.Bicategory.Kan |
| laxComp | |
| 1 (Function) | Proarrow.Category.Bicategory.LaxFunctor |
| 2 (Function) | Proarrow.Category.Bicategory.Prof |
| LaxFunctor | Proarrow.Category.Bicategory.LaxFunctor |
| laxId | |
| 1 (Function) | Proarrow.Category.Bicategory.LaxFunctor |
| 2 (Function) | Proarrow.Category.Bicategory.Prof |
| LaxProfunctor | Proarrow.Category.Bicategory.Prof |
| left | Proarrow.Colimit.BinaryCoproduct |
| left' | Proarrow.Category.Monoidal.Strength |
| leftAction | Proarrow.Category.Bicategory |
| leftAdjointPreservesColimits | Proarrow.Adjunction |
| leftAdjointPreservesColimitsInv | Proarrow.Adjunction |
| leftAdjunct | |
| 1 (Function) | Proarrow.Adjunction |
| 2 (Function) | Proarrow.Squares.Relative |
| LeftKanExtension | Proarrow.Category.Bicategory.Kan |
| LeftKanLift | Proarrow.Category.Bicategory.Kan |
| LeftUnitor | Proarrow.Category.Instance.Free |
| leftUnitor | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| leftUnitor' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| leftUnitorCoprod | Proarrow.Colimit.BinaryCoproduct |
| leftUnitorCoprodInv | Proarrow.Colimit.BinaryCoproduct |
| LeftUnitorInv | Proarrow.Category.Instance.Free |
| leftUnitorInv | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| leftUnitorInv' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| leftUnitorInvWith | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| leftUnitorIso | Proarrow.Category.Monoidal |
| leftUnitorProd | Proarrow.Limit.BinaryProduct |
| leftUnitorProdInv | Proarrow.Limit.BinaryProduct |
| leftUnitorWith | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| Leg | Proarrow.Profunctor.Instance.Cone |
| len | Proarrow.Tools.Diagrams.Dot |
| Lens | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Type/Class) | Proarrow.Squares |
| Lft | |
| 1 (Data Constructor) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 3 (Data Constructor) | Proarrow.Tools.CCC |
| lft | Proarrow.Colimit.BinaryCoproduct |
| lft' | Proarrow.Colimit.BinaryCoproduct |
| Lift | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Free |
| lift | |
| 1 (Function) | Proarrow.Category.Bicategory.Kan |
| 2 (Function) | Proarrow.Profunctor.Free |
| 3 (Function) | Proarrow.Tools.CCC |
| LiftA2 | Proarrow.Profunctor.Free |
| liftA2 | Proarrow.Category.Monoidal.Applicative |
| liftA3 | Proarrow.Category.Monoidal.Applicative |
| liftAlongRightAdjoint | Proarrow.Category.Bicategory.Kan |
| liftAlongRightAdjointInv | Proarrow.Category.Bicategory.Kan |
| liftComonadDelta | Proarrow.Category.Bicategory.Kan |
| liftComonadEpsilon | Proarrow.Category.Bicategory.Kan |
| LIFTEDF | Proarrow.Category.Instance.Kleisli |
| LiftF | Proarrow.Category.Instance.Kleisli |
| liftK | Proarrow.Profunctor.Free |
| liftUniv | Proarrow.Category.Bicategory.Kan |
| Limit | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Limit |
| limit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Limit |
| 3 (Function) | Proarrow.Squares.Limit |
| LimitAdj | |
| 1 (Type/Class) | Proarrow.Adjunction |
| 2 (Data Constructor) | Proarrow.Adjunction |
| limitFromLimitAdj | Proarrow.Category.Equipment.Limit |
| limitToLimitAdj | Proarrow.Category.Equipment.Limit |
| limitUniv | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Limit |
| 3 (Function) | Proarrow.Squares.Limit |
| limitUniv' | Proarrow.Squares.Limit |
| linDist | Proarrow.Category.Monoidal.StarAutonomous |
| linDistHG | Proarrow.Category.Monoidal.Hypergraph |
| linDistInv | Proarrow.Category.Monoidal.StarAutonomous |
| linDistInvHG | Proarrow.Category.Monoidal.Hypergraph |
| linDistInvS | Proarrow.Category.Monoidal.StarAutonomous |
| linDistS | Proarrow.Category.Monoidal.StarAutonomous |
| line | Proarrow.Tools.Diagrams.Dot |
| 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.Profunctor, Proarrow |
| 2 (Function) | Proarrow.Category.Enriched |
| local | Proarrow.Promonad.Reader |
| Lower | Proarrow.Category.Instance.Free |
| lower | |
| 1 (Function) | Proarrow.Category.Monoidal.Closed |
| 2 (Function) | Proarrow.Profunctor.Cofree |
| lowerS | Proarrow.Category.Monoidal.Closed |
| lrCase | Proarrow.Category.Instance.Coproduct |
| lrId | Proarrow.Category.Instance.Collage |
| LTE | Proarrow.Category.Instance.Fin |
| lte | Proarrow.Category.Instance.Fin |
| lteTrans | Proarrow.Category.Instance.Cost |
| M | |
| 1 (Type/Class) | Proarrow.Monoid, Proarrow, Proarrow |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| m1Optic | Proarrow.Category.Monoidal.Optic |
| map | Proarrow.Functor, Proarrow |
| Map0 | Proarrow.Category.Bicategory.LaxFunctor |
| Map1 | Proarrow.Category.Bicategory.LaxFunctor |
| map2 | Proarrow.Category.Bicategory.LaxFunctor |
| mapBase | Proarrow.Limit.Power |
| mapCobase | Proarrow.Colimit.Copower |
| mapColimit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Colimit |
| mapCopower | Proarrow.Colimit.Copower |
| mapCorepStar | Proarrow.Profunctor.Representable |
| mapDown | Proarrow.Category.Instance.Duploid |
| mapLan | Proarrow.Category.Bicategory.Kan |
| mapLift | Proarrow.Category.Bicategory.Kan |
| mapLimit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Limit |
| mapMaybe | Proarrow.Category.Instance.PointedHask |
| mappend | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| mappendAct | Proarrow.Monoid, Proarrow |
| mappendDefault | Proarrow.Category.Instance.PointedHask |
| mappendS | Proarrow.Monoid, Proarrow |
| mapPower | Proarrow.Limit.Power |
| mapRan | Proarrow.Category.Bicategory.Kan |
| mapRepCostar | Proarrow.Profunctor.Representable |
| mapRift | Proarrow.Category.Bicategory.Kan |
| mapUp | Proarrow.Category.Instance.Duploid |
| Mat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Mat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Mat |
| matId | Proarrow.Category.Instance.Mat |
| MatK | Proarrow.Category.Instance.Mat |
| MatrixSize | Proarrow.Category.Instance.ZX |
| maybeLiftsSemigroup | Proarrow.Category.Instance.Constraint |
| mempty | |
| 1 (Function) | Proarrow.Category.Promonoidal |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| memptyAct | Proarrow.Monoid, Proarrow |
| memptyDefault | Proarrow.Category.Instance.PointedHask |
| memptyS | Proarrow.Monoid, Proarrow |
| minusState | Proarrow.Category.Instance.ZX |
| mirror | Proarrow.Category.Instance.ZX |
| MK | Proarrow.Category.Bicategory.MonoidalAsBi |
| mkAlgebraicLens | Proarrow.Category.Monoidal.Optic |
| mkCons | Proarrow.Profunctor.Instance.List |
| mkEndo | Proarrow.Category.Monoidal.Endo |
| mkExponential | Proarrow.Category.Monoidal.Closed |
| mkExponentialS | Proarrow.Category.Monoidal.Closed |
| mkHaskOptic | Proarrow.Squares |
| mkIso | Proarrow.Squares |
| mkLens | |
| 1 (Function) | Proarrow.Category.Monoidal.Optic |
| 2 (Function) | Proarrow.Squares |
| mkMonoidal | Proarrow.Category.Monoidal.Optic |
| mkPar | Proarrow.Category.Instance.Linear |
| mkPrism | |
| 1 (Function) | Proarrow.Category.Monoidal.Optic |
| 2 (Function) | Proarrow.Squares |
| mkProfOptic | Proarrow.Squares |
| mkTraversal | Proarrow.Squares |
| mkWith | Proarrow.Category.Instance.Linear |
| mkYoneda | Proarrow.Profunctor.Instance.Yoneda |
| Mon | |
| 1 (Type/Class) | Proarrow.Monoid, Proarrow |
| 2 (Data Constructor) | Proarrow.Monoid, Proarrow |
| Mon2 | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.MonoidalAsBi |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.MonoidalAsBi |
| monActDefault | Proarrow.Category.Monoidal.Strength |
| Monad | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| 3 (Type/Class) | Proarrow.Promonad |
| MonFunctor | Proarrow.Category.Bicategory.MonoidalAsBi |
| MonK | Proarrow.Category.Bicategory.MonoidalAsBi |
| Monoid | Proarrow.Monoid, Proarrow |
| Monoidal | Proarrow.Category.Monoidal |
| MonoidalAction | Proarrow.Category.Monoidal.Action |
| MonoidalOptic | Proarrow.Category.Monoidal.Optic |
| MonoidalProfunctor | Proarrow.Category.Monoidal |
| MONOIDK | Proarrow.Monoid, Proarrow |
| MonStrong | Proarrow.Category.Monoidal.Strength |
| mu | Proarrow.Category.Bicategory |
| mult | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Category.Instance.FinSet |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| 4 (Function) | Proarrow.Category.Equipment.Stateful |
| 5 (Function) | Proarrow.Squares.Relative |
| multDayExp | Proarrow.Profunctor.Instance.Day |
| multiplicator | Proarrow.Category.Monoidal.Action |
| multiplicatorInv | Proarrow.Category.Monoidal.Action |
| multOptic | Proarrow.Category.Monoidal.Optic |
| multQuest | Proarrow.Category.Instance.Linear |
| MultRep | Proarrow.Category.Monoidal |
| mupdate | Proarrow.Category.Monoidal.Optic |
| N | Proarrow.Category.Instance.Duploid |
| names | Proarrow.Tools.Diagrams.Dot |
| NAT | Proarrow.Category.Instance.Fin |
| 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 |
| 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 |
| NFold | Proarrow.Category.Monoidal.Hypergraph |
| NFoldS | Proarrow.Category.Monoidal.Hypergraph |
| Nil | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.List |
| 3 (Data Constructor) | Proarrow.Profunctor.Instance.Fix |
| nil | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Function) | Proarrow.Category.Instance.PointedHask |
| NNO | Proarrow.Colimit.NaturalNumbers |
| NNOS | Proarrow.Category.Instance.CatProf |
| NNOUniv | Proarrow.Category.Instance.CatProf |
| nnoUniv | Proarrow.Colimit.NaturalNumbers |
| NNOZ | Proarrow.Category.Instance.CatProf |
| no | Proarrow.Category.Instance.Zero |
| NoAction | Proarrow.Category.Monoidal.Action |
| node | Proarrow.Tools.Diagrams.Dot |
| node' | Proarrow.Tools.Diagrams.Dot |
| nodeOpts | Proarrow.Tools.Diagrams.Dot |
| NonTrivialProfunctor | Proarrow.Category.Instance.Bool |
| normalize | Proarrow.Tools.Diagrams.Dot |
| NormalLaxFunctor | Proarrow.Category.Bicategory.LaxFunctor |
| Not | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Closed |
| 2 (Type/Class) | Proarrow.Category.Instance.Linear |
| not | |
| 1 (Function) | Proarrow.Category.Instance.ZX |
| 2 (Function) | Proarrow.Category.Instance.Linear |
| not' | Proarrow.Category.Instance.Linear |
| notQuest | Proarrow.Category.Instance.Linear |
| NT | Proarrow.Category.Instance.Nat |
| O | Proarrow.Category.Bicategory |
| o | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Profunctor.Instance.Composition |
| O1 | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| O2 | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| OB | Proarrow.Core |
| Ob | Proarrow.Core, Proarrow.Category, Proarrow, Proarrow |
| Ob' | |
| 1 (Type/Class) | Proarrow.Object, Proarrow |
| 2 (Type/Class) | Proarrow.Category.Bicategory |
| Ob0 | Proarrow.Category.Bicategory |
| Ob0' | Proarrow.Category.Bicategory |
| ObDual | Proarrow.Category.Monoidal.StarAutonomous |
| Obj | |
| 1 (Type/Class) | Proarrow.Core, Proarrow.Object, Proarrow |
| 2 (Data Constructor) | Proarrow.Object, Proarrow |
| obj | Proarrow.Core, Proarrow.Object, Proarrow |
| obj1 | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Strictified |
| 3 (Function) | Proarrow.Category.Monoidal.Strictified |
| obj2 | Proarrow.Category.Monoidal |
| ObjDict | |
| 1 (Type/Class) | Proarrow.Object, Proarrow |
| 2 (Data Constructor) | Proarrow.Object, Proarrow |
| objDicts | Proarrow.Object, Proarrow |
| object | Proarrow.Squares |
| Objs | Proarrow.Object, Proarrow |
| Obs | Proarrow.Category.Monoidal.Strictified |
| Ok | Proarrow.Category.Instance.Free |
| Omega | Proarrow.Category.Topos |
| On | Proarrow.Category.Instance.Sub |
| one | Proarrow.Category.Monoidal |
| oneState | Proarrow.Category.Instance.ZX |
| oneV | Proarrow.Category.Instance.Mat |
| OP | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| Op | |
| 1 (Type/Class) | Proarrow.Category.Instance.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Instance.Opposite |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Op |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| opact | Proarrow.Category.Bicategory.Relative |
| OpAction | Proarrow.Category.Monoidal.Action |
| Opalgebra | Proarrow.Category.Bicategory.Relative |
| OpCorepresentable | Proarrow.Category.Instance.Rep |
| OPK | Proarrow.Category.Bicategory.Op |
| OPPOSITE | Proarrow.Category.Instance.Opposite |
| OPT | Proarrow.Optic |
| OPTIC | Proarrow.Optic |
| Optic | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Data Constructor) | Proarrow.Optic |
| 3 (Type/Class) | Proarrow.Squares |
| Optic' | Proarrow.Optic |
| Optic_ | Proarrow.Optic |
| OptL | Proarrow.Optic |
| OptR | Proarrow.Optic |
| or | Proarrow.Category.Topos |
| out | Proarrow.Profunctor.Instance.Fix |
| outputs | Proarrow.Tools.Diagrams.Dot |
| over | Proarrow.Optic |
| P | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (Type/Class) | Proarrow.Category.Instance.Duploid |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Prof, Proarrow.Category.Bicategory.Hom |
| pairFst | Proarrow.Category.Instance.Linear |
| pairSnd | Proarrow.Category.Instance.Linear |
| Par | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Free |
| 2 (Type/Class) | Proarrow.Category.Instance.Linear |
| 3 (Data Constructor) | Proarrow.Category.Instance.Linear |
| Par0 | Proarrow.Category.Instance.Free |
| par0Corep | Proarrow.Category.Monoidal |
| par0Rep | Proarrow.Category.Monoidal |
| par1Optic | Proarrow.Category.Monoidal.Optic |
| parAppL | Proarrow.Category.Instance.Linear |
| parAppR | Proarrow.Category.Instance.Linear |
| parCorep | Proarrow.Category.Monoidal |
| 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 | Proarrow.Category.Bicategory.Strictified |
| PCons | Proarrow.Category.Promonoidal |
| pi0 | Proarrow.Category.Equipment.Stateful |
| pi1 | Proarrow.Category.Equipment.Stateful |
| Pick | Proarrow.Category.Instance.Simplex |
| pick | Proarrow.Category.Instance.FinRel |
| PK | Proarrow.Category.Bicategory.Prof |
| PList | Proarrow.Category.Promonoidal |
| plusMonotone | Proarrow.Category.Instance.Cost |
| plusOptic | Proarrow.Category.Monoidal.Optic |
| plusState | Proarrow.Category.Instance.ZX |
| pn | Proarrow.Category.Instance.Duploid |
| PNil | Proarrow.Category.Promonoidal |
| POINTED | Proarrow.Category.Instance.PointedHask |
| Pointed | Proarrow.Category.Instance.PointedHask |
| 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 | Proarrow.Tools.Diagrams.Dot |
| Pos | Proarrow.Category.Instance.Duploid |
| Power | |
| 1 (Data Constructor) | Proarrow.Limit.Power |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| power | Proarrow.Limit.Power |
| Powered | Proarrow.Limit.Power |
| PowerLimit | Proarrow.Limit |
| PR | Proarrow.Limit.BinaryProduct |
| Prd | Proarrow.Limit.BinaryProduct |
| 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, Proarrow |
| Previewing | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| Prism | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Type/Class) | Proarrow.Squares |
| Proadjunction | Proarrow.Adjunction |
| Procomonad | Proarrow.Promonad |
| PROD | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Product |
| 2 (Type/Class) | Proarrow.Limit.BinaryProduct |
| Prod | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Product |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Product |
| 3 (Type/Class) | Proarrow.Limit.BinaryProduct |
| 4 (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 |
| PRODFST | Proarrow.Category.Bicategory.Product |
| PRODK | Proarrow.Category.Bicategory.Product |
| prodObj | Proarrow.Category.Bicategory.Limit |
| PRODSND | Proarrow.Category.Bicategory.Product |
| Product | Proarrow.Category.Bicategory.Limit |
| ProductLimit | Proarrow.Limit |
| prodUniv | Proarrow.Category.Bicategory.Limit |
| produplicate | Proarrow.Promonad |
| proextract | Proarrow.Promonad |
| Prof | |
| 1 (Type/Class) | Proarrow.Category.Instance.Prof |
| 2 (Data Constructor) | Proarrow.Category.Instance.Prof |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Prof |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Prof |
| prof2ex | Proarrow.Category.Monoidal.Optic |
| PROFK | Proarrow.Category.Bicategory.Prof |
| ProfOptic | Proarrow.Squares |
| Profunctor | Proarrow.Core, Proarrow.Profunctor, 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 |
| Promonad | Proarrow.Core, Proarrow.Promonad, Proarrow |
| Promonoid | Proarrow.Category.Promonoidal |
| PromonoidalProfunctor | Proarrow.Category.Promonoidal |
| ProObj | Proarrow.Category.Enriched |
| PROTENSOR | Proarrow.Category.Promonoidal |
| Protensor | Proarrow.Category.Promonoidal |
| Pt | Proarrow.Category.Instance.PointedHask |
| Pullback | Proarrow.Category.Instance.Cospan |
| pullback | Proarrow.Limit.Pullback |
| pullbackDefault | Proarrow.Limit.Equalizer |
| Pure | Proarrow.Profunctor.Free |
| pure | Proarrow.Category.Monoidal.Applicative |
| push | Proarrow.Category.Instance.FinRel |
| Pushout | Proarrow.Category.Instance.Cospan |
| pushout | Proarrow.Colimit.Pushout |
| pushoutDefault | Proarrow.Colimit.Coequalizer |
| put | Proarrow.Promonad.State |
| PWLan | Proarrow.Profunctor.Instance.Rift |
| PWLift | Proarrow.Profunctor.Instance.Ran |
| PWRan | Proarrow.Profunctor.Instance.Ran |
| PWRift | Proarrow.Profunctor.Instance.Rift |
| Quest | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| questPar | Proarrow.Category.Instance.Linear |
| R | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Rev |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Adj |
| 3 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 4 (Type/Class) | Proarrow.Category.Instance.Collage |
| 5 (Type/Class) | Proarrow.Universal, Proarrow, Proarrow |
| Ran | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| 3 (Data Constructor) | Proarrow.Category.Instance.Nat |
| 4 (Type/Class) | Proarrow.Limit |
| 5 (Data Constructor) | Proarrow.Limit |
| 6 (Type/Class) | Proarrow.Profunctor.Instance.Ran |
| 7 (Data Constructor) | Proarrow.Profunctor.Instance.Ran |
| ran | Proarrow.Category.Bicategory.Kan |
| ranAlongRightAdjoint | Proarrow.Category.Bicategory.Kan |
| ranAlongRightAdjointInv | Proarrow.Category.Bicategory.Kan |
| ranCompose | Proarrow.Profunctor.Instance.Ran |
| ranComposeInv | Proarrow.Profunctor.Instance.Ran |
| ranHom | Proarrow.Profunctor.Instance.Ran |
| ranHomInv | Proarrow.Profunctor.Instance.Ran |
| ranMonadEta | Proarrow.Category.Bicategory.Kan |
| ranMonadMu | Proarrow.Category.Bicategory.Kan |
| ranUniv | |
| 1 (Function) | Proarrow.Category.Bicategory.Kan |
| 2 (Function) | Proarrow.Profunctor.Instance.Ran |
| Re | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Data Constructor) | Proarrow.Optic |
| re | Proarrow.Optic |
| Reader | |
| 1 (Type/Class) | Proarrow.Promonad.Reader |
| 2 (Data Constructor) | Proarrow.Promonad.Reader |
| readerComp | Proarrow.Promonad.Reader |
| readerDay | Proarrow.Promonad.Reader |
| ReaderT | |
| 1 (Type/Class) | Proarrow.Promonad.Reader |
| 2 (Data Constructor) | Proarrow.Promonad.Reader |
| rebaseLan | Proarrow.Category.Bicategory.Kan |
| rebaseLift | Proarrow.Category.Bicategory.Kan |
| rebaseRan | Proarrow.Category.Bicategory.Kan |
| rebaseRift | Proarrow.Category.Bicategory.Kan |
| rec1Optic | Proarrow.Category.Monoidal.Optic |
| Refl | Proarrow.Category.Instance.Discrete |
| Reflexive | Proarrow.Category.Instance.Rel |
| reifyExp | Proarrow.Category.Instance.Constraint |
| 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 |
| REP | Proarrow.Category.Instance.Rep |
| Rep | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable |
| rep | Proarrow.Profunctor.Representable |
| RepCostar | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable |
| REPK | Proarrow.Category.Instance.Rep |
| Replace | Proarrow.Category.Monoidal.Optic |
| Replacing | Proarrow.Category.Monoidal.Optic |
| Replicate | Proarrow.Category.Instance.Simplex |
| RepLR | Proarrow.Category.Bicategory.Adj |
| repMap | Proarrow.Profunctor.Representable |
| repObj | Proarrow.Profunctor.Representable |
| Representable | Proarrow.Profunctor.Representable |
| RepresentableCopresheaf | Proarrow.Profunctor.Corepresentable |
| RepresentablePresheaf | Proarrow.Profunctor.Representable |
| reprIsFunctional | Proarrow.Category.Instance.Rel |
| reprIsTotal | Proarrow.Category.Instance.Rel |
| RepRL | Proarrow.Category.Bicategory.Adj |
| repTraverse | Proarrow.Category.Monoidal.Distributive |
| repUniv | Proarrow.Profunctor.Representable |
| Retract | Proarrow.Profunctor.Free |
| retract | |
| 1 (Function) | Proarrow.Category.Instance.Free |
| 2 (Function) | Proarrow.Profunctor.Free |
| retractAp | Proarrow.Profunctor.Free |
| retractK | Proarrow.Profunctor.Free |
| return | Proarrow.Promonad |
| REV | Proarrow.Category.Monoidal.Rev |
| Rev | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Rev |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Rev |
| review | Proarrow.Profunctor.Instance.Constant |
| Rgt | |
| 1 (Data Constructor) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 3 (Data Constructor) | Proarrow.Tools.CCC |
| rgt | Proarrow.Colimit.BinaryCoproduct |
| rgt' | Proarrow.Colimit.BinaryCoproduct |
| Rift | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Rift |
| 3 (Data Constructor) | Proarrow.Profunctor.Instance.Rift |
| rift | Proarrow.Category.Bicategory.Kan |
| riftAlongLeftAdjoint | Proarrow.Category.Bicategory.Kan |
| riftAlongLeftAdjointInv | Proarrow.Category.Bicategory.Kan |
| riftCompose | Proarrow.Profunctor.Instance.Rift |
| riftComposeInv | Proarrow.Profunctor.Instance.Rift |
| riftHom | Proarrow.Profunctor.Instance.Rift |
| riftHomInv | Proarrow.Profunctor.Instance.Rift |
| riftMonadEta | Proarrow.Category.Bicategory.Kan |
| riftMonadMu | Proarrow.Category.Bicategory.Kan |
| riftUniv | |
| 1 (Function) | Proarrow.Category.Bicategory.Kan |
| 2 (Function) | Proarrow.Profunctor.Instance.Rift |
| right | Proarrow.Colimit.BinaryCoproduct |
| right' | Proarrow.Category.Monoidal.Strength |
| rightAction | Proarrow.Category.Bicategory |
| rightAdjointPreservesLimits | |
| 1 (Function) | Proarrow.Adjunction |
| 2 (Function) | Proarrow.Squares.Limit |
| rightAdjointPreservesLimitsInv | |
| 1 (Function) | Proarrow.Adjunction |
| 2 (Function) | Proarrow.Squares.Limit |
| rightAdjunct | |
| 1 (Function) | Proarrow.Adjunction |
| 2 (Function) | Proarrow.Squares.Relative |
| RightKanExtension | Proarrow.Category.Bicategory.Kan |
| RightKanLift | Proarrow.Category.Bicategory.Kan |
| RightUnitor | Proarrow.Category.Instance.Free |
| rightUnitor | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| rightUnitor' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| rightUnitorCoprod | Proarrow.Colimit.BinaryCoproduct |
| rightUnitorCoprodInv | Proarrow.Colimit.BinaryCoproduct |
| RightUnitorInv | Proarrow.Category.Instance.Free |
| rightUnitorInv | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| rightUnitorInv' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| rightUnitorInvWith | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| rightUnitorIso | Proarrow.Category.Monoidal |
| rightUnitorProd | Proarrow.Limit.BinaryProduct |
| rightUnitorProdInv | Proarrow.Limit.BinaryProduct |
| rightUnitorWith | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| rmap | |
| 1 (Function) | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| 2 (Function) | Proarrow.Category.Enriched |
| Rules | Proarrow.Category.Instance.Simplex |
| run | |
| 1 (Function) | Proarrow.Category.Bicategory.Kan |
| 2 (Function) | Proarrow.Tools.Diagrams.Dot |
| runCont | Proarrow.Promonad.Cont |
| runRan | |
| 1 (Function) | Proarrow.Category.Instance.Nat |
| 2 (Function) | Proarrow.Limit |
| 3 (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 |
| runWriterT | Proarrow.Promonad.Writer |
| S | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Fin |
| SAdj | Proarrow.Category.Bicategory.Adj |
| SC | Proarrow.Category.Instance.Cost |
| Scalar | Proarrow.Category.Monoidal |
| SCons | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Strictified |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| SCost | Proarrow.Category.Instance.Cost |
| SDuploidObj | Proarrow.Category.Instance.Duploid |
| second | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Limit.BinaryProduct |
| second' | Proarrow.Category.Monoidal.Strength |
| section | Proarrow.Profunctor.Cofree |
| SelfAdjoint | Proarrow.Adjunction |
| SelfAdjointPoint | Proarrow.Adjunction |
| Semicartesian | Proarrow.Limit.Terminal |
| seq | Proarrow.Squares |
| SFin | Proarrow.Category.Instance.Fin |
| shift | Proarrow.Tools.Diagrams.Dot |
| shiftN | Proarrow.Category.Instance.FinRel |
| Show2 | Proarrow.Category.Instance.Free |
| showPostComp | Proarrow.Category.Instance.Free |
| Simplex | Proarrow.Category.Instance.Simplex |
| SINF | Proarrow.Category.Instance.Cost |
| sing | Proarrow.Category.Instance.Cost |
| singFin | Proarrow.Category.Instance.Fin |
| singleton | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| singNat | Proarrow.Category.Instance.Simplex |
| singPath | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Category.Bicategory.Adj |
| Sink | Proarrow.Profunctor.Instance.Cocone |
| SL | Proarrow.Category.Bicategory.Adj |
| SList | Proarrow.Category.Monoidal.Strictified |
| sList | Proarrow.Category.Monoidal.Strictified |
| SLL | Proarrow.Category.Bicategory.Adj |
| SLT | Proarrow.Category.Instance.Fin |
| SN | Proarrow.Category.Instance.Duploid |
| SNat | Proarrow.Category.Instance.Simplex |
| Snd | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 3 (Data Constructor) | Proarrow.Limit.BinaryProduct |
| snd | |
| 1 (Function) | Proarrow.Category.Bicategory.Product |
| 2 (Function) | Proarrow.Limit.BinaryProduct |
| 3 (Function) | Proarrow.Category.Monoidal.CopyDiscard |
| snd' | Proarrow.Limit.BinaryProduct |
| sndK | Proarrow.Category.Instance.Product |
| sndObj | Proarrow.Category.Bicategory.Limit |
| sndP | Proarrow.Profunctor.Instance.Product |
| SNil | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Strictified |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| 3 (Data Constructor) | Proarrow.Category.Bicategory.Adj |
| SNilL | Proarrow.Category.Bicategory.Adj |
| SNilOrL | Proarrow.Category.Bicategory.Adj |
| SNilOrR | Proarrow.Category.Bicategory.Adj |
| SNilR | Proarrow.Category.Bicategory.Adj |
| Sort | Proarrow.Category.Bicategory.LaxFunctor |
| source | Proarrow.Category.Internal |
| SP | |
| 1 (Data Constructor) | 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.Category.Bicategory.Strictified |
| spider | Proarrow.Category.Monoidal.Hypergraph |
| spiderS | Proarrow.Category.Monoidal.Hypergraph |
| split | |
| 1 (Function) | Proarrow.Category.Instance.ZX |
| 2 (Function) | Proarrow.Category.Instance.FinRel |
| 3 (Function) | Proarrow.Tools.Diagrams.Dot |
| splitAll | Proarrow.Category.Bicategory.Strictified |
| splitFold | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| splitMany | Proarrow.Category.Monoidal.Strictified |
| splits | Proarrow.Category.Instance.FinRel |
| SQ | Proarrow.Squares |
| Sq | |
| 1 (Type/Class) | Proarrow.Squares |
| 2 (Data Constructor) | Proarrow.Squares |
| SQ' | Proarrow.Squares |
| Sq' | Proarrow.Squares |
| SR | Proarrow.Category.Bicategory.Adj |
| src | Proarrow.Core, Proarrow.Object, Proarrow |
| SRR | Proarrow.Category.Bicategory.Adj |
| SS | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Fin |
| 2 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| SSing | Proarrow.Category.Monoidal.Strictified |
| ST | Proarrow.Category.Equipment.Stateful |
| St | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Strictified |
| 2 (Data Constructor) | Proarrow.Category.Instance.Free |
| 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 |
| starTraverse | Proarrow.Profunctor.Instance.Star |
| State | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Promonad.State |
| 3 (Type/Class) | Proarrow.Promonad.State |
| StateT | |
| 1 (Type/Class) | Proarrow.Promonad.State |
| 2 (Data Constructor) | Proarrow.Promonad.State |
| stCounit | Proarrow.Category.Bicategory.Strictified |
| Str | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Strictified |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| strength | Proarrow.Category.Monoidal.Strength |
| Strictified | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| 2 (Type/Class) | 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.Instance.Free, Proarrow.Limit.Terminal, Proarrow.Colimit.Initial, Proarrow.Limit.BinaryProduct, Proarrow.Colimit.BinaryCoproduct, Proarrow.Category.Monoidal.Closed |
| STSq | Proarrow.Category.Equipment.Stateful |
| STT | Proarrow.Category.Equipment.Stateful |
| StT | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Stateful |
| 2 (Data Constructor) | Proarrow.Category.Equipment.Stateful |
| STT' | Proarrow.Category.Equipment.Stateful |
| stUnit | Proarrow.Category.Bicategory.Strictified |
| SUB | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Sub |
| 2 (Type/Class) | Proarrow.Category.Instance.Sub |
| Sub | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Sub |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Sub |
| 3 (Type/Class) | Proarrow.Category.Instance.Sub |
| 4 (Data Constructor) | Proarrow.Category.Instance.Sub |
| SubAction | Proarrow.Category.Monoidal.Action |
| SubAction' | Proarrow.Category.Monoidal.Action |
| SUBCAT | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Sub |
| 2 (Type/Class) | Proarrow.Category.Instance.Sub |
| SubMonoidal | Proarrow.Category.Instance.Sub |
| suc | Proarrow.Category.Instance.Simplex |
| Succ | Proarrow.Category.Instance.CatProf |
| succ | Proarrow.Colimit.NaturalNumbers |
| Sum | Proarrow.Colimit.BinaryCoproduct |
| sum | Proarrow.Colimit.BinaryCoproduct |
| Supplies | Proarrow.Category, Proarrow |
| Surjective | Proarrow.Category.Instance.Rel |
| Swap | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Free |
| 2 (Type/Class) | Proarrow.Category.Instance.CatProf |
| 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 |
| swapInner | Proarrow.Category.Monoidal |
| swapInner' | Proarrow.Category.Monoidal |
| swapNode | Proarrow.Tools.Diagrams.Dot |
| swapOuter | Proarrow.Category.Monoidal |
| swapProd | Proarrow.Limit.BinaryProduct |
| swapSnd | Proarrow.Category.Monoidal |
| Symmetric | Proarrow.Category.Instance.Rel |
| SymMonoidal | Proarrow.Category.Monoidal |
| SymRefl | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| SZ | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Fin |
| 2 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| tabulate | Proarrow.Profunctor.Representable |
| tabulated | Proarrow.Profunctor.Representable |
| tabulatedCopresheaf | Proarrow.Profunctor.Corepresentable |
| tabulatedPresheaf | Proarrow.Profunctor.Representable |
| 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 |
| TensorIsCoproduct | Proarrow.Colimit.BinaryCoproduct |
| TensorIsProduct | Proarrow.Limit.BinaryProduct |
| TermF | |
| 1 (Type/Class) | Proarrow.Limit.Terminal |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| Terminal | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Terminal |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Terminal |
| TerminalObject | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Limit.Terminal |
| TerminalProfunctor | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Terminal |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Terminal |
| TerminalProfunctor' | Proarrow.Profunctor.Instance.Terminal |
| Terminate | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Data Constructor) | Proarrow.Limit.Terminal |
| terminate | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Limit.Terminal |
| terminate' | Proarrow.Limit.Terminal |
| termUniv | Proarrow.Category.Bicategory.Limit |
| termUnivArr | Proarrow.Universal, Proarrow |
| TermUniversal | Proarrow.Universal, Proarrow |
| termUnivProp | Proarrow.Universal, Proarrow |
| Test | Proarrow.Profunctor.Cofree |
| test | Proarrow.Profunctor.Cofree |
| tgt | Proarrow.Core, Proarrow.Object, Proarrow |
| That | Proarrow.Category.Instance.PointedHask |
| These | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (Data Constructor) | Proarrow.Category.Instance.PointedHask |
| THIN | Proarrow.Category.Bicategory.ThinCategoryAsBi |
| Thin | Proarrow.Category.Enriched.Thin |
| Thin' | Proarrow.Category.Bicategory.ThinCategoryAsBi |
| ThinCategory | Proarrow.Category.Bicategory.ThinCategoryAsBi |
| thinCoequalize | Proarrow.Colimit.Coequalizer |
| thinEqualize | Proarrow.Limit.Equalizer |
| thinFactorCoequalizer | Proarrow.Colimit.Coequalizer |
| thinFactorEqualizer | Proarrow.Limit.Equalizer |
| ThinFunctor | Proarrow.Category.Bicategory.ThinCategoryAsBi |
| THINK | Proarrow.Category.Bicategory.ThinCategoryAsBi |
| ThinProfunctor | Proarrow.Category.Enriched.Thin |
| thinPullback | Proarrow.Limit.Pullback |
| thinPushout | Proarrow.Colimit.Pushout |
| This | Proarrow.Category.Instance.PointedHask |
| Tight | Proarrow.Category.Equipment |
| TightAdj | Proarrow.Category.Bicategory.Adj |
| TightAdjoint | Proarrow.Category.Equipment |
| TightPair | Proarrow.Category.Equipment |
| toBools | Proarrow.Category.Instance.FinRel |
| toCCC | Proarrow.Tools.CCC |
| toEl | Proarrow.Category.Monoidal.Closed |
| toHask | Proarrow.Category.Instance.PointedHask |
| toInt | Proarrow.Category.Instance.IntConstruction |
| toLeft | Proarrow.Squares |
| toList | Proarrow.Profunctor.Instance.Fix |
| toMatrix | Proarrow.Category.Instance.ZX |
| Top | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| toRight | Proarrow.Squares |
| toSimplex | Proarrow.Category.Bicategory.Adj |
| toSimplexOp | Proarrow.Category.Bicategory.Adj |
| Total | Proarrow.Category.Instance.Rel |
| toVLLens | Proarrow.Category.Monoidal.Optic |
| trace | Proarrow.Category.Monoidal.Strength |
| traceCC | Proarrow.Category.Monoidal.CompactClosed |
| traceCCS | Proarrow.Category.Monoidal.CompactClosed |
| TracedMonoidal | Proarrow.Category.Monoidal.Strength |
| traceHG | Proarrow.Category.Monoidal.Hypergraph |
| Transitive | Proarrow.Category.Instance.Rel |
| transpose | Proarrow.Category.Instance.ZX |
| trav | Proarrow.Profunctor.Instance.Fold |
| Traversable | Proarrow.Category.Monoidal.Distributive |
| Traversal | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Type/Class) | Proarrow.Squares |
| traverse | Proarrow.Category.Monoidal.Distributive |
| traverseWriter | Proarrow.Promonad.Writer |
| traversing | Proarrow.Category.Monoidal.Optic |
| 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.Category.Monoidal.Optic |
| UN | Proarrow.Core |
| unAp | Proarrow.Category.Instance.Ap |
| unArr | Proarrow.Profunctor.Instance.Arrow |
| unAsLeftAdjoint | Proarrow.Universal, Proarrow |
| unAsRightAdjoint | Proarrow.Universal, Proarrow |
| unClassify | Proarrow.Category.Monoidal.Optic |
| 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 |
| unCorepStar | Proarrow.Profunctor.Representable |
| unCostar | Proarrow.Profunctor.Instance.Costar |
| unCoyoneda | Proarrow.Profunctor.Instance.Coyoneda |
| Uncurry | |
| 1 (Type/Class) | Proarrow.Category.Instance.CatProf |
| 2 (Data Constructor) | Proarrow.Category.Instance.CatProf |
| uncurry | Proarrow.Category.Monoidal.Closed |
| uncurryS | Proarrow.Category.Monoidal.Closed |
| uncurryS' | Proarrow.Category.Monoidal.Closed |
| underlying | Proarrow.Category.Enriched |
| underlyingPt | Proarrow.Category.Instance.PointedHask |
| underlyingSelf | Proarrow.Category.Enriched |
| undown | Proarrow.Category.Instance.Duploid |
| unEnd | Proarrow.Limit |
| unEntails | Proarrow.Category.Instance.Constraint |
| unExp | Proarrow.Category.Instance.FinSet |
| unFin | Proarrow.Tools.Diagrams.Dot |
| unFinRel | Proarrow.Category.Instance.FinRel |
| unFinSet | Proarrow.Category.Instance.FinSet |
| unFlipApp | Proarrow.Squares |
| unflipCorep | Proarrow.Profunctor.Representable |
| unflipRep | Proarrow.Profunctor.Representable |
| unfoldMap | Proarrow.Profunctor.Cofree |
| unFromAdjunction | Proarrow.Universal, Proarrow |
| unFromPointed | Proarrow.Category.Instance.PointedHask |
| unFromProd | Proarrow.Limit.BinaryProduct |
| unFromProfunctor | Proarrow.Functor, Proarrow |
| UNFUN | Proarrow.Category.Bicategory.Prof |
| unHomK | Proarrow.Category.Bicategory.Hom |
| 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.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Relative |
| 3 (Function) | Proarrow.Category.Instance.Linear |
| 4 (Function) | Proarrow.Adjunction |
| 5 (Function) | Proarrow.Squares |
| 6 (Function) | Proarrow.Squares.Relative |
| unitAdj | Proarrow.Tools.Diagrams.Dot |
| UnitF | Proarrow.Category.Instance.Free |
| unitIso | Proarrow.Adjunction |
| unitObj | Proarrow.Category.Monoidal |
| unitor | Proarrow.Category.Monoidal.Action |
| unitorInv | Proarrow.Category.Monoidal.Action |
| unitQuest | Proarrow.Category.Instance.Linear |
| UnitRep | Proarrow.Category.Monoidal |
| unitRep | Proarrow.Adjunction |
| 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 |
| unpar0Corep | Proarrow.Category.Monoidal |
| unpar0Rep | Proarrow.Category.Monoidal |
| unparCorep | Proarrow.Category.Monoidal |
| unparRep | Proarrow.Category.Monoidal |
| 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 |
| unPreview | Proarrow.Category.Monoidal.Optic |
| unProd | Proarrow.Limit.BinaryProduct |
| unProf | |
| 1 (Function) | Proarrow.Category.Instance.Prof |
| 2 (Function) | Proarrow.Category.Bicategory.Prof |
| unPt | Proarrow.Category.Instance.PointedHask |
| unRan | Proarrow.Profunctor.Instance.Ran |
| unRe | Proarrow.Optic |
| unRep | Proarrow.Profunctor.Representable |
| unRepCostar | Proarrow.Profunctor.Representable |
| unReplace | Proarrow.Category.Monoidal.Optic |
| unRift | Proarrow.Profunctor.Instance.Rift |
| unsafeLinear | Proarrow.Category.Instance.Linear |
| unStar | Proarrow.Profunctor.Instance.Star |
| unStr | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| unSub | Proarrow.Category.Instance.Sub |
| untambara | Proarrow.Profunctor.Instance.PastroTambara |
| unTensor | Proarrow.Category.Promonoidal |
| unUnOp | Proarrow.Category.Instance.Opposite |
| unup | Proarrow.Category.Instance.Duploid |
| unUpdate | Proarrow.Category.Monoidal.Optic |
| unVec | Proarrow.Tools.Diagrams.Dot |
| Unweighted | |
| 1 (Type/Class) | Proarrow.Limit |
| 2 (Type/Class) | Proarrow.Colimit |
| unWrapped | Proarrow.Profunctor.Instance.Wrapped |
| unWrappedOptic | Proarrow.Optic |
| unYoneda | Proarrow.Profunctor.Instance.Yoneda |
| Up | Proarrow.Category.Instance.Duploid |
| up | Proarrow.Category.Instance.Duploid |
| Update | Proarrow.Category.Monoidal.Optic |
| Updating | Proarrow.Category.Monoidal.Optic |
| Ur | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| urWith | Proarrow.Category.Instance.Linear |
| v1Optic | Proarrow.Category.Monoidal.Optic |
| VacuusOb | Proarrow.Object, Proarrow |
| vArr | Proarrow.Squares |
| vCombine | Proarrow.Squares |
| vCombineAll | Proarrow.Squares |
| Vec | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Dot |
| 2 (Data Constructor) | Proarrow.Tools.Diagrams.Dot |
| vId | Proarrow.Squares |
| view | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Profunctor.Instance.Constant |
| VLLens | Proarrow.Category.Monoidal.Optic |
| VOID | Proarrow.Category.Instance.Zero |
| vSplit | Proarrow.Squares |
| vSplitAll | Proarrow.Squares |
| vUnitor | Proarrow.Squares |
| vUnitorInv | Proarrow.Squares |
| With | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| withAdj | Proarrow.Category.Bicategory |
| withArr | Proarrow.Category.Enriched.Thin |
| withAssocMult | Proarrow.Category.Instance.Mat |
| withAssocPlus | Proarrow.Category.Instance.Mat |
| withCotightAdjoint | Proarrow.Category.Equipment |
| withDist | Proarrow.Category.Instance.Mat |
| WithEq | Proarrow.Category.Instance.Free |
| withEq | |
| 1 (Function) | Proarrow.Category.Enriched.Thin |
| 2 (Function) | Proarrow.Category.Instance.Discrete |
| withIsList2 | Proarrow.Category.Monoidal.Strictified |
| withIsNat | Proarrow.Category.Instance.Mat |
| withIsObTagFold | Proarrow.Category.Bicategory.Strictified |
| withIsPath | Proarrow.Category.Bicategory.Strictified |
| withIsPath2 | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Category.Bicategory.Adj |
| withLowerOb | Proarrow.Category.Instance.Free |
| withMap0Ob0 | Proarrow.Category.Bicategory.LaxFunctor |
| withMap1Ob | Proarrow.Category.Bicategory.LaxFunctor |
| withMappedOb | Proarrow.Functor, Proarrow |
| withMultNat | Proarrow.Category.Instance.Mat |
| withMultSucc | Proarrow.Category.Instance.Mat |
| withMultSym | Proarrow.Category.Instance.Mat |
| withNegOb | Proarrow.Category.Instance.Duploid |
| withOb0s | Proarrow.Category.Bicategory |
| withOb2 | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| withObCoExp | Proarrow.Category.Monoidal.Coclosed |
| withObColimit | Proarrow.Category.Equipment.Limit |
| withObCopower | Proarrow.Colimit.Copower |
| withObCoprod | Proarrow.Colimit.BinaryCoproduct |
| withObCorep | Proarrow.Profunctor.Corepresentable |
| withObExp | Proarrow.Category.Monoidal.Closed |
| withObFold | Proarrow.Category.Monoidal.Strictified |
| withObLimit | Proarrow.Category.Equipment.Limit |
| withObNFold | Proarrow.Category.Monoidal.Hypergraph |
| WithObO2 | Proarrow.Category.Bicategory.Sub, Proarrow.Category.Equipment |
| withObO2 | Proarrow.Category.Bicategory.Sub, Proarrow.Category.Equipment |
| withObPower | Proarrow.Limit.Power |
| withObProd | Proarrow.Limit.BinaryProduct |
| withObRep | Proarrow.Profunctor.Representable |
| withObs | Proarrow.Category.Monoidal.Strictified |
| withPathO2 | Proarrow.Category.Bicategory.Strictified |
| withPlusIsNat | |
| 1 (Function) | Proarrow.Category.Instance.Cost |
| 2 (Function) | Proarrow.Category.Instance.ZX |
| withPlusNat | Proarrow.Category.Instance.Mat |
| withPlusSucc | Proarrow.Category.Instance.Mat |
| withPlusSym | Proarrow.Category.Instance.Mat |
| withPosOb | Proarrow.Category.Instance.Duploid |
| withProObj | Proarrow.Category.Enriched |
| WithReader | Proarrow.Category.Equipment.Stateful |
| WithShow | Proarrow.Category.Instance.Free |
| withTightAdjoint | Proarrow.Category.Equipment |
| WithWriter | Proarrow.Category.Equipment.Stateful |
| Wrapped | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Wrapped |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Wrapped |
| wrapped | Proarrow.Profunctor.Instance.Wrapped |
| WrappedOb | Proarrow.Core |
| WrappedOptic | |
| 1 (Type/Class) | Proarrow.Optic |
| 2 (Data Constructor) | Proarrow.Optic |
| 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 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Fam |
| xCopy | Proarrow.Category.Instance.ZX |
| xDisc | Proarrow.Category.Instance.ZX |
| xSpider | Proarrow.Category.Instance.ZX |
| Y | Proarrow.Category.Instance.Simplex |
| 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 | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Fin |
| zCopy | Proarrow.Category.Instance.ZX |
| zDisc | Proarrow.Category.Instance.ZX |
| ZEQ | Proarrow.Category.Instance.Fin |
| Zero | Proarrow.Category.Instance.Zero |
| zero | |
| 1 (Function) | Proarrow.Colimit.Initial |
| 2 (Function) | Proarrow.Colimit.NaturalNumbers |
| 3 (Function) | Proarrow.Category.Instance.FinRel |
| 4 (Function) | Proarrow.Category.Instance.Mat |
| zeroState | Proarrow.Category.Instance.ZX |
| zipV3 | Proarrow.Tools.Diagrams.Dot |
| ZLT | Proarrow.Category.Instance.Fin |
| 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.Profunctor, Proarrow |
| \\\ | Proarrow.Category.Bicategory |
| ^ | Proarrow.Limit.Power |
| ^. | Proarrow.Profunctor.Instance.Constant |
| ^^^ | Proarrow.Category.Monoidal.Closed |
| _1 | Proarrow.Category.Monoidal.Optic |
| _2 | Proarrow.Category.Monoidal.Optic |
| |> | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Instance.Ran |
| || | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Colimit.BinaryCoproduct |
| ||| | |
| 1 (Function) | Proarrow.Colimit.BinaryCoproduct |
| 2 (Function) | Proarrow.Squares |
| ~> | Proarrow.Core, Proarrow.Category, Proarrow, Proarrow |
| ~~> | Proarrow.Category.Monoidal.Closed |
| • | Proarrow.Category.Instance.Duploid |
| ◦ | Proarrow.Category.Instance.Duploid |