| ! | Proarrow.Category.Instance.Nat |
| !~> | Proarrow.Category.Instance.Linear |
| $ | Proarrow.Tools.CCC |
| % | Proarrow.Profunctor.Representable |
| %% | Proarrow.Profunctor.Corepresentable |
| %~ | Proarrow.Category.Monoidal.Optic |
| && | Proarrow.Object.BinaryProduct |
| &&& | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Object.BinaryProduct |
| * | Proarrow.Category.Instance.Mat |
| *! | |
| 1 (Type/Class) | Proarrow.Object.BinaryProduct |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| ** | Proarrow.Category.Monoidal |
| **! | Proarrow.Category.Monoidal |
| *** | Proarrow.Object.BinaryProduct |
| *. | Proarrow.Object.Copower |
| + | |
| 1 (Type/Class) | Proarrow.Object.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| 3 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 4 (Type/Class) | Proarrow.Category.Instance.Mat |
| ++ | Proarrow.Category.Monoidal.Strictified |
| +++ | |
| 1 (Function) | Proarrow.Object.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| +-> | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| --> | |
| 1 (Type/Class) | Proarrow.Object.Exponential |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| . | Proarrow.Core, Proarrow.Promonad, Proarrow |
| .? | Proarrow.Category.Monoidal.Optic |
| .~ | Proarrow.Category.Monoidal.Optic |
| .~> | Proarrow.Functor, Proarrow |
| // | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| :& | Proarrow.Tools.CCC |
| :&&&: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cat |
| :&&: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fam |
| 2 (Data Constructor) | Proarrow.Category.Instance.Fam |
| :**: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Data Constructor) | Proarrow.Category.Instance.Product |
| :*.: | |
| 1 (Type/Class) | Proarrow.Object.Copower |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| :*: | |
| 1 (Type/Class) | Proarrow.Profunctor.Product |
| 2 (Data Constructor) | Proarrow.Profunctor.Product |
| :++: | Proarrow.Category.Instance.Coproduct |
| :+: | Proarrow.Profunctor.Coproduct |
| :- | Proarrow.Category.Instance.Constraint |
| :.: | |
| 1 (Type/Class) | Proarrow.Profunctor.Composition |
| 2 (Data Constructor) | Proarrow.Profunctor.Composition |
| ::: | Proarrow.Category.Bicategory.Strictified |
| :=: | Proarrow.Tools.Laws |
| :=> | Proarrow.Category.Instance.Constraint |
| :^: | |
| 1 (Type/Class) | Proarrow.Object.Power |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| :|||: | Proarrow.Category.Instance.Cat |
| :~> | Proarrow.Core |
| :~>: | |
| 1 (Type/Class) | Proarrow.Profunctor.Exponential |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| <| | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Rift |
| <~~ | Proarrow.Object.Coexponential |
| == | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| === | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| ?. | Proarrow.Category.Monoidal.Optic |
| @ | Proarrow.Functor, Proarrow, Proarrow |
| A | Proarrow.Category.Instance.Ap |
| 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.Action |
| action | Proarrow.Monoid, Proarrow |
| ActIsCoprod | Proarrow.Object.BinaryCoproduct |
| ActIsProd | Proarrow.Object.BinaryProduct |
| ActIsProd3 | Proarrow.Object.BinaryProduct |
| ActIsTensor | Proarrow.Category.Monoidal.Action |
| ActIsTensor3 | Proarrow.Category.Monoidal.Action |
| adjFromConverse | Proarrow.Category.Instance.Rel |
| adjToConverse | Proarrow.Category.Instance.Rel |
| Adjunction | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| 3 (Type/Class) | Proarrow.Adjunction |
| 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 |
| All | Proarrow.Category.Instance.Free |
| alt | Proarrow.Category.Monoidal.Applicative |
| Alternative | Proarrow.Category.Monoidal.Applicative |
| ana | Proarrow.Profunctor.Fix |
| Any | Proarrow.Core |
| anyArr | |
| 1 (Function) | Proarrow.Category.Enriched.ThinCategory |
| 2 (Function) | Proarrow.Category.Instance.Discrete |
| 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.Object.Exponential |
| 2 (Function) | Proarrow.Category.Monoidal.Applicative |
| app | Proarrow.Category.Instance.Mat |
| append | |
| 1 (Function) | Proarrow.Category.Bicategory.Strictified |
| 2 (Function) | Proarrow.Category.Instance.Mat |
| Applicative | Proarrow.Category.Monoidal.Applicative |
| Apply | Proarrow.Object.Exponential |
| apply | Proarrow.Object.Exponential |
| applySA | Proarrow.Object.Dual |
| Arr | Proarrow.Category.Instance.Discrete |
| arr | |
| 1 (Function) | Proarrow.Core |
| 2 (Function) | Proarrow.Category.Enriched.ThinCategory |
| 3 (Function) | Proarrow.Category.Instance.Ap |
| 4 (Function) | Proarrow.Category.Instance.Kleisli |
| arr' | Proarrow.Category.Enriched.ThinCategory |
| arrCoprod | Proarrow.Category.Instance.Collage |
| ArrowIsId | Proarrow.Category.Enriched.ThinCategory |
| arrowIsIdProof | Proarrow.Category.Enriched.ThinCategory |
| asCocat | Proarrow.Category.Instance.Linear |
| asImplication | Proarrow.Category.Instance.Rel |
| AsLeftAdjoint | |
| 1 (Type/Class) | Proarrow.Universal, Proarrow |
| 2 (Data Constructor) | Proarrow.Universal, Proarrow |
| asObj | |
| 1 (Function) | Proarrow.Category.Monoidal.Strictified |
| 2 (Function) | 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 |
| AssertEq | Proarrow.Tools.Laws |
| Assoc | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| Associator | Proarrow.Category.Monoidal |
| associator | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| associator' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| AssociatorInv | Proarrow.Category.Monoidal |
| associatorInv | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| associatorInv' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| associatorProd | Proarrow.Object.BinaryProduct |
| associatorProdInv | Proarrow.Object.BinaryProduct |
| asSPath | Proarrow.Category.Bicategory.Strictified |
| Bicategory | Proarrow.Category.Bicategory |
| BiCCC | Proarrow.Object.Exponential |
| Bidiscrete | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Bidiscrete |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Bidiscrete |
| bimap | Proarrow.Category.Instance.Nat |
| Bimodule | Proarrow.Category.Bicategory |
| bipara | Proarrow.Category.Equipment.Quintet |
| BiParaSq | Proarrow.Category.Equipment.Quintet |
| Bitstring | Proarrow.Category.Instance.ZX |
| 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 |
| BS | Proarrow.Category.Instance.ZX |
| C | Proarrow.Category.Instance.Cost |
| CanEqShow | Proarrow.Category.Instance.Free |
| cap | Proarrow.Category.Instance.ZX |
| Cart | Proarrow.Category.Equipment |
| Cartesian | Proarrow.Object.BinaryProduct |
| CAT | Proarrow.Core, Proarrow.Category, Proarrow |
| Cat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cat |
| cata | Proarrow.Profunctor.Fix |
| CatAsComonoid | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| Category | |
| 1 (Type/Class) | Proarrow.Core |
| 2 (Type/Class) | Proarrow.Category.Bicategory.CategoryAsBi |
| CategoryOf | Proarrow.Core, Proarrow.Category, Proarrow |
| CCC | Proarrow.Object.Exponential |
| CD | Proarrow.Category.Instance.Discrete |
| CF | Proarrow.Category.Bicategory.Prof |
| CHA | Proarrow.Category.Monoidal.Optic |
| ChaL | Proarrow.Category.Monoidal.Optic |
| ChaR | Proarrow.Category.Monoidal.Optic |
| CHART | Proarrow.Category.Monoidal.Optic |
| ChartCat | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| choose | Proarrow.Category.Limit |
| Classifying | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| Clone | Proarrow.Category.Enriched |
| Closed | Proarrow.Object.Exponential |
| 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.Star |
| coact | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Category.Monoidal.Action |
| Coadjunction | Proarrow.Category.Bicategory.Relative |
| Coalgebra | Proarrow.Category.Bicategory.Relative |
| Cocartesian | Proarrow.Object.BinaryCoproduct |
| CoCCC | Proarrow.Object.Coexponential |
| cochoose | Proarrow.Category.Colimit |
| Coclosed | Proarrow.Object.Coexponential |
| Codensity | Proarrow.Category.Bicategory.Kan |
| codiag | Proarrow.Object.BinaryCoproduct |
| CODISCRETE | Proarrow.Category.Instance.Discrete |
| Codiscrete | |
| 1 (Type/Class) | Proarrow.Category.Enriched.ThinCategory |
| 2 (Type/Class) | Proarrow.Category.Instance.Discrete |
| CodiscreteProfunctor | Proarrow.Category.Enriched.ThinCategory |
| Coend | |
| 1 (Type/Class) | Proarrow.Category.Colimit |
| 2 (Data Constructor) | Proarrow.Category.Colimit |
| CoendLimit | |
| 1 (Type/Class) | Proarrow.Category.Colimit |
| 2 (Data Constructor) | Proarrow.Category.Colimit |
| coepsilon | Proarrow.Category.Bicategory.Relative |
| coeta | Proarrow.Category.Bicategory.Relative |
| coeval | Proarrow.Object.Coexponential |
| coevalUniv | Proarrow.Object.Coexponential |
| Cofree | Proarrow.Profunctor.Cofree |
| CofreeSub | Proarrow.Profunctor.Cofree |
| coindex | Proarrow.Profunctor.Corepresentable |
| coinj | Proarrow.Category.Bicategory.Kan |
| COK | Proarrow.Category.Bicategory.Co |
| Colimit | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Category.Colimit |
| colimit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Category.Colimit |
| 3 (Function) | Proarrow.Squares.Limit |
| colimitUniv | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Category.Colimit |
| 3 (Function) | Proarrow.Squares.Limit |
| colimitUniv' | Proarrow.Squares.Limit |
| COLLAGE | Proarrow.Category.Instance.Collage |
| Collage | Proarrow.Category.Instance.Collage |
| combine | |
| 1 (Function) | Proarrow.Category.Instance.ZX |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| CombineDual | Proarrow.Category.Instance.Cat |
| combineDual | Proarrow.Object.Dual |
| ComConAdjunction | Proarrow.Category.Equipment |
| comConCounit | Proarrow.Category.Equipment |
| comConUnit | Proarrow.Category.Equipment |
| CommutativeMonoid | Proarrow.Monoid, Proarrow |
| Comonad | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| Comonoid | Proarrow.Monoid, Proarrow |
| ComonoidAsCat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| Comp | Proarrow.Profunctor.Free |
| comp | |
| 1 (Function) | Proarrow.Object.Exponential |
| 2 (Function) | Proarrow.Category.Enriched |
| CompactClosed | Proarrow.Object.Dual |
| compactClosedCoact | Proarrow.Object.Dual |
| compactClosedTrace | Proarrow.Object.Dual |
| Companion | Proarrow.Category.Equipment |
| companionFold | Proarrow.Category.Bicategory.Strictified |
| compFromCompose | Proarrow.Category.Equipment |
| compFromId | Proarrow.Category.Equipment |
| compId | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| compose | Proarrow.Category.Promonoidal |
| composeActs | Proarrow.Category.Monoidal.Action |
| composeCostar | Proarrow.Profunctor.Costar |
| composeRan | Proarrow.Category.Bicategory.Kan |
| composeRift | Proarrow.Category.Bicategory.Kan |
| composeStar | Proarrow.Profunctor.Star |
| compPt | Proarrow.Category.Instance.PointedHask |
| compSelf | Proarrow.Category.Enriched |
| compToCompose | Proarrow.Category.Equipment |
| compToId | Proarrow.Category.Equipment |
| comult | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Monoid, Proarrow |
| comultAct | Proarrow.Monoid, Proarrow |
| concatFold | |
| 1 (Function) | Proarrow.Category.Monoidal.Strictified |
| 2 (Function) | Proarrow.Category.Bicategory.Strictified |
| concatMap | Proarrow.Category.Instance.Mat |
| conjFromCompose | Proarrow.Category.Equipment |
| conjFromId | Proarrow.Category.Equipment |
| conjId | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| Conjoint | Proarrow.Category.Equipment |
| conjToCompose | Proarrow.Category.Equipment |
| conjToId | Proarrow.Category.Equipment |
| Cons | |
| 1 (Data Constructor) | Proarrow.Profunctor.List |
| 2 (Data Constructor) | Proarrow.Category.Instance.Mat |
| 3 (Data Constructor) | Proarrow.Profunctor.Fix |
| Constant | |
| 1 (Type/Class) | Proarrow.Profunctor.Constant |
| 2 (Data Constructor) | Proarrow.Profunctor.Constant |
| ConstIn | |
| 1 (Type/Class) | Proarrow.Profunctor.Constant |
| 2 (Data Constructor) | Proarrow.Profunctor.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 |
| copair | Proarrow.Category.Equipment.Stateful |
| copar | Proarrow.Object.BinaryCoproduct |
| copar0 | Proarrow.Object.BinaryCoproduct |
| Copower | |
| 1 (Data Constructor) | Proarrow.Object.Copower |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| copower | Proarrow.Object.Copower |
| Copowered | Proarrow.Object.Copower |
| CopowerLimit | |
| 1 (Type/Class) | Proarrow.Category.Colimit |
| 2 (Data Constructor) | Proarrow.Category.Colimit |
| COPR | Proarrow.Object.BinaryCoproduct |
| Copresheaf | Proarrow.Functor, Proarrow |
| COPROD | Proarrow.Object.BinaryCoproduct |
| Coprod | |
| 1 (Type/Class) | Proarrow.Object.BinaryCoproduct |
| 2 (Data Constructor) | Proarrow.Object.BinaryCoproduct |
| CoprodAction | Proarrow.Object.BinaryCoproduct |
| CoprodDom | Proarrow.Profunctor.Star |
| CoprodH | Proarrow.Category.Equipment.Limit |
| coprodObj | Proarrow.Category.Equipment.Limit |
| COPRODUCT | Proarrow.Category.Instance.Coproduct |
| Coproduct | Proarrow.Category.Equipment.Limit |
| coproduct | Proarrow.Profunctor.Coproduct |
| CoproductColimit | |
| 1 (Type/Class) | Proarrow.Category.Colimit |
| 2 (Data Constructor) | Proarrow.Category.Colimit |
| coprodUniv | Proarrow.Category.Equipment.Limit |
| CoprodV | Proarrow.Category.Equipment.Limit |
| copy | Proarrow.Monoid, Proarrow |
| CopyDiscard | Proarrow.Monoid, Proarrow |
| COREP | Proarrow.Category.Instance.Sub |
| Corep | |
| 1 (Type/Class) | Proarrow.Profunctor.Corepresentable |
| 2 (Data Constructor) | Proarrow.Profunctor.Corepresentable |
| COREPK | Proarrow.Category.Instance.Sub |
| 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 |
| corun | Proarrow.Category.Bicategory.Kan |
| COST | Proarrow.Category.Instance.Cost |
| Costar | |
| 1 (Type/Class) | Proarrow.Profunctor.Costar |
| 2 (Data Constructor) | Proarrow.Profunctor.Costar |
| costArr | Proarrow.Category.Instance.Cost |
| costrength | Proarrow.Profunctor.Costar |
| Costrong | Proarrow.Category.Monoidal.Action |
| cotabulate | Proarrow.Profunctor.Corepresentable |
| cotabulatorFactorize | Proarrow.Category.Bicategory.Prof |
| CotabulatorFactorizer | Proarrow.Category.Bicategory.Prof |
| Cotraversable | Proarrow.Category.Monoidal.Distributive |
| cotraverse | Proarrow.Category.Monoidal.Distributive |
| counit | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Relative |
| 3 (Function) | Proarrow.Monoid, Proarrow |
| 4 (Function) | Proarrow.Adjunction |
| 5 (Function) | Proarrow.Category.Instance.Linear |
| 6 (Function) | Proarrow.Squares.Limit |
| counitAct | Proarrow.Monoid, Proarrow |
| counitRep | Proarrow.Adjunction |
| counitUr | Proarrow.Category.Instance.Linear |
| Coyoneda | |
| 1 (Type/Class) | Proarrow.Profunctor.Coyoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Coyoneda |
| coyoneda | Proarrow.Profunctor.Coyoneda |
| crossing | Proarrow.Category.Equipment.Stateful |
| cup | Proarrow.Category.Instance.ZX |
| Curry | |
| 1 (Data Constructor) | Proarrow.Object.Exponential |
| 2 (Type/Class) | Proarrow.Category.Instance.Cat |
| 3 (Data Constructor) | Proarrow.Category.Instance.Cat |
| curry | Proarrow.Object.Exponential |
| currySA | Proarrow.Object.Dual |
| D | Proarrow.Category.Instance.Discrete |
| Dagger | Proarrow.Category.Enriched.Dagger |
| dagger | Proarrow.Category.Enriched.Dagger |
| DaggerProfunctor | Proarrow.Category.Enriched.Dagger |
| Day | |
| 1 (Type/Class) | Proarrow.Category.Promonoidal |
| 2 (Data Constructor) | Proarrow.Category.Promonoidal |
| 3 (Type/Class) | Proarrow.Profunctor.Day |
| 4 (Data Constructor) | Proarrow.Profunctor.Day |
| DayExp | |
| 1 (Type/Class) | Proarrow.Profunctor.Day |
| 2 (Data Constructor) | Proarrow.Profunctor.Day |
| DayUnit | |
| 1 (Type/Class) | Proarrow.Profunctor.Day |
| 2 (Data Constructor) | Proarrow.Profunctor.Day |
| decompose | Proarrow.Category.Promonoidal |
| decomposeActs | Proarrow.Category.Monoidal.Action |
| delta | Proarrow.Category.Bicategory |
| Density | Proarrow.Category.Bicategory.Kan |
| DEP | Proarrow.Category.Instance.Fam |
| DEP_ | Proarrow.Category.Instance.Fam |
| diag | Proarrow.Object.BinaryProduct |
| 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 |
| discard | Proarrow.Monoid, Proarrow |
| DISCRETE | Proarrow.Category.Instance.Discrete |
| Discrete | |
| 1 (Type/Class) | Proarrow.Category.Enriched.ThinCategory |
| 2 (Type/Class) | Proarrow.Category.Instance.Discrete |
| DiscreteK | Proarrow.Category.Bicategory.Bidiscrete |
| DiscreteProfunctor | Proarrow.Category.Enriched.ThinCategory |
| distL | Proarrow.Category.Monoidal.Distributive |
| distL0 | Proarrow.Category.Monoidal.Distributive |
| distLInv | Proarrow.Category.Monoidal.Distributive |
| distLProd | Proarrow.Category.Monoidal.Distributive |
| distR | Proarrow.Category.Monoidal.Distributive |
| distR0 | Proarrow.Category.Monoidal.Distributive |
| DistribDual | Proarrow.Category.Instance.Cat |
| distribDual | Proarrow.Object.Dual |
| 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.Linear |
| doubleNeg | Proarrow.Object.Dual |
| doubleNegInv | Proarrow.Object.Dual |
| Dual | Proarrow.Object.Dual |
| dual | Proarrow.Object.Dual |
| dualInv | Proarrow.Object.Dual |
| dualityCounit | Proarrow.Object.Dual |
| dualityCounitSA | Proarrow.Object.Dual |
| dualityUnit | Proarrow.Object.Dual |
| dualityUnitSA | Proarrow.Object.Dual |
| dualObj | Proarrow.Object.Dual |
| DualUnit | Proarrow.Category.Instance.Cat |
| dualUnit | Proarrow.Object.Dual |
| dualUnitInv | Proarrow.Object.Dual |
| duoidal | Proarrow.Profunctor.Day |
| duplicate | Proarrow.Promonad, Proarrow |
| dupUr | Proarrow.Category.Instance.Linear |
| DX | Proarrow.Category.Instance.Fam |
| E | Proarrow.Category.Monoidal.Endo |
| Eff | Proarrow.Profunctor.Free |
| either | Proarrow.Tools.CCC |
| El | Proarrow.Object.Terminal |
| Elem | |
| 1 (Type/Class) | Proarrow.Category.Instance.Free |
| 2 (Type/Class) | Proarrow.Tools.Laws |
| 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.Fix |
| embed' | Proarrow.Profunctor.Fix |
| empty | Proarrow.Category.Monoidal.Applicative |
| End | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Data Constructor) | Proarrow.Category.Limit |
| EndLimit | Proarrow.Category.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 |
| EqTypes | Proarrow.Tools.Laws |
| 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 |
| Exp | |
| 1 (Data Constructor) | Proarrow.Profunctor.Exponential |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| Exponential | Proarrow.Object.Exponential |
| ExpSA | Proarrow.Object.Dual |
| expSA | Proarrow.Object.Dual |
| extract | Proarrow.Promonad, Proarrow |
| F | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Object.Terminal |
| 3 (Data Constructor) | Proarrow.Object.Initial |
| 4 (Data Constructor) | Proarrow.Object.BinaryProduct |
| 5 (Data Constructor) | Proarrow.Object.BinaryCoproduct |
| 6 (Data Constructor) | Proarrow.Tools.CCC |
| F2T | Proarrow.Category.Instance.Bool |
| FAM | Proarrow.Category.Instance.Fam |
| Fam | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fam |
| 2 (Data Constructor) | Proarrow.Category.Instance.Fam |
| filterSparse | Proarrow.Category.Instance.ZX |
| FIN | Proarrow.Category.Instance.Fin |
| Fin | Proarrow.Category.Instance.Simplex |
| FIN0 | Proarrow.Category.Instance.Fin |
| FIN1 | Proarrow.Category.Instance.Fin |
| FIN2 | Proarrow.Category.Instance.Fin |
| FIN3 | Proarrow.Category.Instance.Fin |
| first | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Object.BinaryProduct |
| 3 (Function) | Proarrow.Category.Instance.Nat |
| first' | Proarrow.Category.Monoidal.Action |
| Fix | Proarrow.Profunctor.Fix |
| FK | Proarrow.Tools.CCC |
| FlipApp | |
| 1 (Type/Class) | Proarrow.Squares |
| 2 (Data Constructor) | Proarrow.Squares |
| flipCompanion | Proarrow.Category.Equipment |
| flipCompanionInv | Proarrow.Category.Equipment |
| flipConjoint | Proarrow.Category.Equipment |
| flipConjointInv | Proarrow.Category.Equipment |
| flipCorep | Proarrow.Profunctor.Representable |
| flipRan | Proarrow.Profunctor.Ran |
| flipRanInv | Proarrow.Profunctor.Ran |
| flipRep | Proarrow.Profunctor.Representable |
| flipRetroSq | Proarrow.Category.Bicategory.Op |
| flipRift | Proarrow.Profunctor.Rift |
| flipRiftInv | Proarrow.Profunctor.Rift |
| flipSq | Proarrow.Category.Bicategory.Op |
| FLS | Proarrow.Category.Instance.Bool |
| Fls | Proarrow.Category.Instance.Bool |
| fmap | Proarrow.Functor, Proarrow |
| Fold | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| 2 (Type/Class) | Proarrow.Profunctor.Fold |
| 3 (Data Constructor) | Proarrow.Profunctor.Fold |
| 4 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| fold | |
| 1 (Function) | Proarrow.Category.Instance.Free |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| 3 (Function) | Proarrow.Category.Bicategory.Strictified |
| 4 (Function) | Proarrow.Profunctor.Free |
| foldCompanion | Proarrow.Category.Bicategory.Strictified |
| foldList | Proarrow.Profunctor.List |
| 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 |
| FREE | Proarrow.Category.Instance.Free |
| Free | |
| 1 (Type/Class) | Proarrow.Category.Instance.Free |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| 3 (Type/Class) | Proarrow.Profunctor.Free |
| FreePromonad | Proarrow.Profunctor.Free |
| FreeSub | Proarrow.Profunctor.Free |
| FromAdjunction | |
| 1 (Type/Class) | Proarrow.Universal, Proarrow |
| 2 (Data Constructor) | Proarrow.Universal, Proarrow |
| FromAll | Proarrow.Category.Instance.Free |
| fromInt | Proarrow.Category.Instance.IntConstruction |
| fromLeft | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| fromLimitAdj | Proarrow.Category.Equipment.Limit |
| fromList | Proarrow.Profunctor.Fix |
| FromProfunctor | |
| 1 (Type/Class) | Proarrow.Functor, Proarrow |
| 2 (Data Constructor) | Proarrow.Functor, Proarrow |
| fromRight | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| fromSelfAct | Proarrow.Category.Monoidal.Action |
| FS | Proarrow.Category.Instance.Fin |
| Fs | Proarrow.Category.Instance.Simplex |
| Fst | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Category.Instance.Product |
| 3 (Data Constructor) | Proarrow.Object.BinaryProduct |
| 4 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 5 (Type/Class) | Proarrow.Category.Bicategory.Product |
| fst | |
| 1 (Function) | Proarrow.Object.BinaryProduct |
| 2 (Function) | Proarrow.Category.Bicategory.Product |
| fst' | Proarrow.Object.BinaryProduct |
| FstCat | Proarrow.Category.Instance.Cat |
| fstK | Proarrow.Category.Instance.Product |
| fstObj | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Category.Equipment.Limit |
| fstP | Proarrow.Profunctor.Product |
| FUN | Proarrow.Category.Bicategory.Prof |
| Functional | Proarrow.Category.Instance.Rel |
| Functor | Proarrow.Functor, Proarrow |
| FunctorForRep | Proarrow.Functor, Proarrow |
| FUNK | Proarrow.Category.Bicategory.Prof |
| FZ | Proarrow.Category.Instance.Fin |
| Fz | Proarrow.Category.Instance.Simplex |
| G | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Object.BinaryProduct |
| 3 (Data Constructor) | Proarrow.Object.BinaryCoproduct |
| GenElt | |
| 1 (Type/Class) | Proarrow.Monoid, Proarrow |
| 2 (Data Constructor) | Proarrow.Monoid, Proarrow |
| getNeg | Proarrow.Category.Instance.Linear |
| ghzState | Proarrow.Category.Instance.ZX |
| GTE | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cost |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cost |
| H | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Object.BinaryProduct |
| 3 (Data Constructor) | Proarrow.Object.BinaryCoproduct |
| hadamard | Proarrow.Category.Instance.ZX |
| hArr | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| HasArrow | Proarrow.Category.Enriched.ThinCategory |
| HasArrow' | Proarrow.Category.Enriched.ThinCategory |
| HasArrowCollage | Proarrow.Category.Instance.Collage |
| HasBinaryCoproducts | |
| 1 (Type/Class) | Proarrow.Object.BinaryCoproduct |
| 2 (Type/Class) | Proarrow.Category.Equipment.Limit |
| HasBinaryProducts | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Object.BinaryProduct |
| 3 (Type/Class) | Proarrow.Category.Equipment.Limit |
| HasCofree | Proarrow.Profunctor.Cofree |
| HasColimits | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Category.Colimit |
| HasCompanions | Proarrow.Category.Equipment |
| HasCoproducts | Proarrow.Object.BinaryCoproduct |
| HasCostArrow | Proarrow.Category.Instance.Cost |
| HasFree | Proarrow.Profunctor.Free |
| HasFreeK | Proarrow.Profunctor.Free |
| HasInitialObject | |
| 1 (Type/Class) | Proarrow.Object.Initial |
| 2 (Type/Class) | Proarrow.Category.Equipment.Limit |
| Hask | Proarrow.Category.Instance.Hask |
| HaskOptic | Proarrow.Squares |
| HaskValue | |
| 1 (Type/Class) | Proarrow.Profunctor.HaskValue |
| 2 (Data Constructor) | Proarrow.Profunctor.HaskValue |
| HasLimits | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Category.Limit |
| HasProducts | Proarrow.Object.BinaryProduct |
| HasStructure | Proarrow.Category.Instance.Free |
| HasTerminalObject | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Object.Terminal |
| 3 (Type/Class) | Proarrow.Category.Equipment.Limit |
| HasZeroObject | Proarrow.Object.Initial |
| hCombineAll | Proarrow.Squares |
| Here | Proarrow.Tools.Laws |
| hId | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| HK | Proarrow.Category.Bicategory.Hom |
| Hom | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Data Constructor) | Proarrow.Category.Limit |
| 3 (Type/Class) | Proarrow.Category.Colimit |
| 4 (Data Constructor) | Proarrow.Category.Colimit |
| 5 (Data Constructor) | Proarrow.Category.Bicategory.Hom |
| HomK | Proarrow.Category.Bicategory.Hom |
| HomObj | Proarrow.Category.Enriched |
| HomObjIsProduct | Proarrow.Object.Power |
| HomObjOp | Proarrow.Object.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.Fix |
| I | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Data Constructor) | Proarrow.Category.Instance.IntConstruction |
| Id | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.CategoryAsBi |
| 2 (Data Constructor) | Proarrow.Category.Instance.Free |
| 3 (Type/Class) | Proarrow.Profunctor.Identity |
| 4 (Data Constructor) | Proarrow.Profunctor.Identity |
| id | Proarrow.Core, Proarrow.Promonad, Proarrow |
| idLan | Proarrow.Category.Bicategory.Kan |
| idLift | Proarrow.Category.Bicategory.Kan |
| idRan | Proarrow.Category.Bicategory.Kan |
| idRift | Proarrow.Category.Bicategory.Kan |
| In | Proarrow.Profunctor.Fix |
| index | Proarrow.Profunctor.Representable |
| INF | Proarrow.Category.Instance.Cost |
| Inf | Proarrow.Category.Instance.Cost |
| InitF | |
| 1 (Type/Class) | Proarrow.Object.Initial |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| Initial | Proarrow.Object.Initial |
| InitialLimit | |
| 1 (Type/Class) | Proarrow.Category.Colimit |
| 2 (Data Constructor) | Proarrow.Category.Colimit |
| InitialObject | |
| 1 (Type/Class) | Proarrow.Object.Initial |
| 2 (Type/Class) | Proarrow.Category.Equipment.Limit |
| InitialProfunctor | Proarrow.Profunctor.Initial |
| Initiate | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 2 (Type/Class) | Proarrow.Category.Instance.Cat |
| initiate | |
| 1 (Function) | Proarrow.Object.Initial |
| 2 (Function) | Proarrow.Category.Equipment.Limit |
| initiate' | Proarrow.Object.Initial |
| initUniv | Proarrow.Category.Equipment.Limit |
| 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.Category.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Profunctor.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| 4 (Data Constructor) | Proarrow.Category.Instance.Collage |
| InjLP | Proarrow.Category.Instance.Cat |
| InjR | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Profunctor.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| 4 (Data Constructor) | Proarrow.Category.Instance.Collage |
| InjRP | Proarrow.Category.Instance.Cat |
| InL | Proarrow.Category.Instance.Collage |
| InR | Proarrow.Category.Instance.Collage |
| INT | Proarrow.Category.Instance.IntConstruction |
| Int | Proarrow.Category.Instance.IntConstruction |
| IntConstruction | Proarrow.Category.Instance.IntConstruction |
| IntMinus | Proarrow.Category.Instance.IntConstruction |
| IntPlus | Proarrow.Category.Instance.IntConstruction |
| introI | Proarrow.Category.Bicategory.Strictified |
| introO | Proarrow.Category.Bicategory.Strictified |
| 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 |
| IsChart | Proarrow.Category.Monoidal.Optic |
| IsCorepColimit | Proarrow.Category.Colimit |
| IsCost | Proarrow.Category.Instance.Cost |
| isCotabulator | Proarrow.Category.Bicategory.Prof |
| 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 |
| IsLTE | Proarrow.Category.Instance.Fin |
| IsNat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| iso | Proarrow.Tools.Laws |
| IsOb | Proarrow.Category.Bicategory.Sub |
| IsOb0 | Proarrow.Category.Bicategory.Sub |
| IsObI | Proarrow.Category.Bicategory.Sub |
| IsObMult | Proarrow.Category.Instance.Sub |
| IsObO | Proarrow.Category.Bicategory.Sub |
| IsOptic | Proarrow.Category.Monoidal.Optic |
| isoToInt | Proarrow.Category.Instance.IntConstruction |
| IsPath | Proarrow.Category.Bicategory.Strictified |
| IsPresheafSub | Proarrow.Category.Instance.Fam |
| isReflexive | Proarrow.Category.Instance.Rel |
| IsRepresentableLimit | Proarrow.Category.Limit |
| isSurjective | Proarrow.Category.Instance.Rel |
| isTotal | Proarrow.Category.Instance.Rel |
| isZero | Proarrow.Category.Instance.ZX |
| K | Proarrow.Category.Instance.Cat |
| KIND | Proarrow.Category.Instance.Cat |
| 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.Category.Instance.Coproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Collage |
| 3 (Type/Class) | Proarrow.Profunctor.List |
| 4 (Data Constructor) | Proarrow.Category.Instance.Linear |
| 5 (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 |
| lan | Proarrow.Category.Bicategory.Kan |
| lanAlongCompanion | Proarrow.Category.Bicategory.Kan |
| lanAlongCompanionInv | Proarrow.Category.Bicategory.Kan |
| lanComonadDelta | Proarrow.Category.Bicategory.Kan |
| lanComonadEpsilon | Proarrow.Category.Bicategory.Kan |
| lanUniv | Proarrow.Category.Bicategory.Kan |
| Laws | Proarrow.Tools.Laws |
| laws | Proarrow.Tools.Laws |
| laxComp | Proarrow.Category.Bicategory.Prof |
| laxId | Proarrow.Category.Bicategory.Prof |
| LaxProfunctor | Proarrow.Category.Bicategory.Prof |
| left | Proarrow.Object.BinaryCoproduct |
| left' | Proarrow.Object.BinaryCoproduct |
| leftAction | Proarrow.Category.Bicategory |
| leftAdjointPreservesColimits | |
| 1 (Function) | Proarrow.Adjunction |
| 2 (Function) | Proarrow.Squares.Limit |
| leftAdjointPreservesColimitsInv | |
| 1 (Function) | Proarrow.Adjunction |
| 2 (Function) | Proarrow.Squares.Limit |
| leftAdjunct | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Squares.Relative |
| 3 (Function) | Proarrow.Adjunction |
| LeftKanExtension | Proarrow.Category.Bicategory.Kan |
| LeftKanLift | Proarrow.Category.Bicategory.Kan |
| LeftUnitor | Proarrow.Category.Monoidal |
| leftUnitor | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| leftUnitor' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| LeftUnitorInv | Proarrow.Category.Monoidal |
| 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 |
| leftUnitorProd | Proarrow.Object.BinaryProduct |
| leftUnitorProdInv | Proarrow.Object.BinaryProduct |
| leftUnitorWith | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| Lens | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Type/Class) | Proarrow.Squares |
| Lft | |
| 1 (Data Constructor) | Proarrow.Object.BinaryCoproduct |
| 2 (Data Constructor) | Proarrow.Tools.CCC |
| 3 (Type/Class) | Proarrow.Category.Equipment.Limit |
| lft | Proarrow.Object.BinaryCoproduct |
| lft' | Proarrow.Object.BinaryCoproduct |
| LftCat | Proarrow.Category.Instance.Cat |
| lftObj | Proarrow.Category.Equipment.Limit |
| Lift | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Free |
| lift | |
| 1 (Function) | Proarrow.Tools.CCC |
| 2 (Function) | Proarrow.Category.Bicategory.Kan |
| 3 (Function) | Proarrow.Profunctor.Free |
| lift' | Proarrow.Profunctor.Free |
| LiftA2 | Proarrow.Profunctor.Free |
| liftA2 | Proarrow.Category.Monoidal.Applicative |
| liftAlongConjoint | Proarrow.Category.Bicategory.Kan |
| liftAlongConjointInv | 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.Category.Limit |
| limit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Category.Limit |
| 3 (Function) | Proarrow.Squares.Limit |
| LimitAdj | |
| 1 (Type/Class) | Proarrow.Adjunction |
| 2 (Data Constructor) | Proarrow.Adjunction |
| limitUniv | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Category.Limit |
| 3 (Function) | Proarrow.Squares.Limit |
| limitUniv' | Proarrow.Squares.Limit |
| linDist | Proarrow.Object.Dual |
| linDistInv | Proarrow.Object.Dual |
| LINEAR | Proarrow.Category.Instance.Linear |
| Linear | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| LIST | Proarrow.Profunctor.List |
| List | Proarrow.Profunctor.List |
| ListF | Proarrow.Profunctor.Fix |
| lmap | |
| 1 (Function) | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| 2 (Function) | Proarrow.Category.Enriched |
| Lower | Proarrow.Category.Instance.Free |
| lower | |
| 1 (Function) | Proarrow.Object.Exponential |
| 2 (Function) | Proarrow.Profunctor.Cofree |
| lower' | Proarrow.Profunctor.Cofree |
| lrId | |
| 1 (Function) | Proarrow.Category.Instance.Coproduct |
| 2 (Function) | 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 |
| map | Proarrow.Functor, Proarrow |
| mapBase | Proarrow.Object.Power |
| mapCobase | Proarrow.Object.Copower |
| mapColimit | Proarrow.Category.Colimit |
| mapCompanion | Proarrow.Category.Equipment |
| mapCompanionSPath | Proarrow.Category.Bicategory.Strictified |
| mapConjoint | Proarrow.Category.Equipment |
| mapConjointSPath | Proarrow.Category.Bicategory.Strictified |
| mapCopower | Proarrow.Object.Copower |
| mapCorepStar | Proarrow.Profunctor.Representable |
| mapLan | Proarrow.Category.Bicategory.Kan |
| mapLift | Proarrow.Category.Bicategory.Kan |
| mapLimit | |
| 1 (Function) | Proarrow.Category.Equipment.Limit |
| 2 (Function) | Proarrow.Category.Limit |
| mappend | |
| 1 (Function) | Proarrow.Monoid, Proarrow |
| 2 (Function) | Proarrow.Category.Promonoidal |
| mappendAct | Proarrow.Monoid, Proarrow |
| mappendDefault | Proarrow.Category.Instance.PointedHask |
| mapPower | Proarrow.Object.Power |
| mapRan | Proarrow.Category.Bicategory.Kan |
| mapRepCostar | Proarrow.Profunctor.Representable |
| mapRift | Proarrow.Category.Bicategory.Kan |
| Mat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Mat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Mat |
| mat | Proarrow.Category.Instance.Mat |
| matId | Proarrow.Category.Instance.Mat |
| MatK | Proarrow.Category.Instance.Mat |
| maybeLiftsSemigroup | Proarrow.Category.Instance.Constraint |
| mempty | |
| 1 (Function) | Proarrow.Monoid, Proarrow |
| 2 (Function) | Proarrow.Category.Promonoidal |
| memptyAct | Proarrow.Monoid, Proarrow |
| memptyDefault | Proarrow.Category.Instance.PointedHask |
| minusState | Proarrow.Category.Instance.ZX |
| mirror | Proarrow.Category.Instance.ZX |
| MixedOptic | Proarrow.Category.Monoidal.Optic |
| MK | Proarrow.Category.Bicategory.MonoidalAsBi |
| mkAlgebraicLens | Proarrow.Category.Monoidal.Optic |
| mkCons | Proarrow.Profunctor.List |
| mkEndo | Proarrow.Category.Monoidal.Endo |
| mkExponential | Proarrow.Object.Exponential |
| mkHaskOptic | Proarrow.Squares |
| mkLens | |
| 1 (Function) | Proarrow.Category.Monoidal.Optic |
| 2 (Function) | Proarrow.Squares |
| 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.Yoneda |
| ModuleObject | Proarrow.Monoid, Proarrow |
| 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 |
| Monad | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Relative |
| MonK | Proarrow.Category.Bicategory.MonoidalAsBi |
| Monoid | Proarrow.Monoid, Proarrow |
| Monoidal | Proarrow.Category.Monoidal |
| MonoidalAction | Proarrow.Category.Monoidal.Action |
| MonoidalProfunctor | Proarrow.Category.Monoidal |
| MONOIDK | Proarrow.Monoid, Proarrow |
| mu | Proarrow.Category.Bicategory |
| mult | |
| 1 (Function) | Proarrow.Category.Bicategory.Relative |
| 2 (Function) | Proarrow.Squares.Relative |
| 3 (Function) | Proarrow.Category.Equipment.Stateful |
| multDayExp | Proarrow.Profunctor.Day |
| multiplicator | Proarrow.Category.Monoidal.Action |
| multiplicatorInv | Proarrow.Category.Monoidal.Action |
| multQuest | Proarrow.Category.Instance.Linear |
| mupdate | Proarrow.Category.Monoidal.Optic |
| NAT | Proarrow.Category.Instance.Fin |
| Nat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| 3 (Type/Class) | Proarrow.Category.Instance.Nat |
| 4 (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 |
| NatK | Proarrow.Category.Instance.Nat |
| Neg | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| NegComp | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| Nil | |
| 1 (Data Constructor) | Proarrow.Profunctor.List |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| 3 (Data Constructor) | Proarrow.Category.Instance.Mat |
| 4 (Data Constructor) | Proarrow.Profunctor.Fix |
| no | Proarrow.Category.Instance.Zero |
| Not | 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.Composition |
| 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 |
| Obj | |
| 1 (Type/Class) | Proarrow.Core, Proarrow.Object, Proarrow |
| 2 (Data Constructor) | Proarrow.Object, Proarrow |
| obj | Proarrow.Core, Proarrow.Object, Proarrow |
| obj1 | Proarrow.Category.Bicategory.Strictified |
| obj2 | Proarrow.Category.Monoidal |
| object | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| Objs | Proarrow.Object, Proarrow |
| Ok | Proarrow.Category.Instance.Free |
| On | Proarrow.Category.Instance.Sub |
| oneState | Proarrow.Category.Instance.ZX |
| OP | |
| 1 (Data Constructor) | Proarrow.Category.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| Op | |
| 1 (Type/Class) | Proarrow.Category.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Opposite |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Op |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| opact | Proarrow.Category.Bicategory.Relative |
| Opalgebra | Proarrow.Category.Bicategory.Relative |
| OpCorepresentable | Proarrow.Category.Instance.Sub |
| OPK | Proarrow.Category.Bicategory.Op |
| OPPOSITE | Proarrow.Category.Opposite |
| OPT | Proarrow.Category.Monoidal.Optic |
| OPTIC | Proarrow.Category.Monoidal.Optic |
| Optic | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| 3 (Type/Class) | Proarrow.Squares |
| OpticCat | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| OptL | Proarrow.Category.Monoidal.Optic |
| OptR | Proarrow.Category.Monoidal.Optic |
| out | Proarrow.Profunctor.Fix |
| P | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (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.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Instance.Linear |
| 3 (Data Constructor) | Proarrow.Category.Instance.Linear |
| par | Proarrow.Category.Monoidal |
| Par0 | Proarrow.Category.Monoidal |
| par0 | Proarrow.Category.Monoidal |
| parallel | Proarrow.Category.Monoidal.Optic |
| parAppL | Proarrow.Category.Instance.Linear |
| parAppR | Proarrow.Category.Instance.Linear |
| parN | Proarrow.Category.Promonoidal |
| Path | Proarrow.Category.Bicategory.Strictified |
| PCons | Proarrow.Category.Promonoidal |
| pi0 | Proarrow.Category.Equipment.Stateful |
| pi1 | Proarrow.Category.Equipment.Stateful |
| PK | Proarrow.Category.Bicategory.Prof |
| Place | Proarrow.Tools.Laws |
| place | Proarrow.Tools.Laws |
| PLAIN | Proarrow.Category.Bicategory.CategoryAsBi |
| PLAINK | Proarrow.Category.Bicategory.CategoryAsBi |
| PList | Proarrow.Category.Promonoidal |
| plus | Proarrow.Category.Equipment.Stateful |
| plusMonotone | Proarrow.Category.Instance.Cost |
| plusState | Proarrow.Category.Instance.ZX |
| PNil | Proarrow.Category.Promonoidal |
| POINTED | Proarrow.Category.Instance.PointedHask |
| Pointed | Proarrow.Category.Instance.PointedHask |
| PointwiseLeftKanExtension | Proarrow.Profunctor.Rift |
| PointwiseLeftKanLift | Proarrow.Profunctor.Ran |
| PointwiseRightKanExtension | Proarrow.Profunctor.Ran |
| PointwiseRightKanLift | Proarrow.Profunctor.Rift |
| Poly | Proarrow.Category.Instance.Fam |
| Power | |
| 1 (Data Constructor) | Proarrow.Object.Power |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| power | Proarrow.Object.Power |
| Powered | Proarrow.Object.Power |
| PowerLimit | Proarrow.Category.Limit |
| PR | Proarrow.Object.BinaryProduct |
| Prd | Proarrow.Object.BinaryProduct |
| Prelude | |
| 1 (Type/Class) | Proarrow.Functor, Proarrow |
| 2 (Data Constructor) | Proarrow.Functor, Proarrow |
| Preorder | Proarrow.Category.Instance.Rel |
| prepar | Proarrow.Category.Monoidal.Action |
| 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, Proarrow |
| PROD | |
| 1 (Type/Class) | Proarrow.Object.BinaryProduct |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Product |
| Prod | |
| 1 (Type/Class) | Proarrow.Object.BinaryProduct |
| 2 (Data Constructor) | Proarrow.Object.BinaryProduct |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Product |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Product |
| prod | Proarrow.Profunctor.Product |
| ProdAction | Proarrow.Object.BinaryProduct |
| PRODFST | Proarrow.Category.Bicategory.Product |
| ProdH | Proarrow.Category.Equipment.Limit |
| PRODK | Proarrow.Category.Bicategory.Product |
| prodObj | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Category.Equipment.Limit |
| PRODSND | Proarrow.Category.Bicategory.Product |
| Product | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Category.Equipment.Limit |
| ProductLimit | Proarrow.Category.Limit |
| prodUniv | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Category.Equipment.Limit |
| ProdV | Proarrow.Category.Equipment.Limit |
| 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 |
| ProfRep | Proarrow.Category.Bicategory.Prof |
| ProfSq | Proarrow.Category.Bicategory.Prof |
| Profunctor | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| project | Proarrow.Profunctor.Fix |
| project' | Proarrow.Profunctor.Fix |
| 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 |
| Pure | Proarrow.Profunctor.Free |
| pure | Proarrow.Category.Monoidal.Applicative |
| PWLan | Proarrow.Profunctor.Rift |
| PWLift | Proarrow.Profunctor.Ran |
| PWRan | Proarrow.Profunctor.Ran |
| PWRift | Proarrow.Profunctor.Rift |
| Q2 | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Quintet |
| 2 (Data Constructor) | Proarrow.Category.Equipment.Quintet |
| QK | Proarrow.Category.Equipment.Quintet |
| QKK | Proarrow.Category.Equipment.Quintet |
| Quest | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| questPar | Proarrow.Category.Instance.Linear |
| QuintetSq | Proarrow.Category.Equipment.Quintet |
| R | |
| 1 (Type/Class) | Proarrow.Category.Instance.Coproduct |
| 2 (Type/Class) | Proarrow.Category.Instance.Collage |
| 3 (Type/Class) | Proarrow.Category.Monoidal.Rev |
| 4 (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.Profunctor.Ran |
| 5 (Data Constructor) | Proarrow.Profunctor.Ran |
| ran | Proarrow.Category.Bicategory.Kan |
| ranAlongConjoint | Proarrow.Category.Bicategory.Kan |
| ranAlongConjointInv | Proarrow.Category.Bicategory.Kan |
| ranCompose | Proarrow.Profunctor.Ran |
| ranComposeInv | Proarrow.Profunctor.Ran |
| ranHom | Proarrow.Profunctor.Ran |
| ranHomInv | Proarrow.Profunctor.Ran |
| ranMonadEta | Proarrow.Category.Bicategory.Kan |
| ranMonadMu | Proarrow.Category.Bicategory.Kan |
| ranUniv | Proarrow.Category.Bicategory.Kan |
| Reader | |
| 1 (Type/Class) | Proarrow.Promonad.Reader |
| 2 (Data Constructor) | Proarrow.Promonad.Reader |
| rebaseLan | Proarrow.Category.Bicategory.Kan |
| rebaseLift | Proarrow.Category.Bicategory.Kan |
| rebaseRan | Proarrow.Category.Bicategory.Kan |
| rebaseRift | Proarrow.Category.Bicategory.Kan |
| Refl | Proarrow.Category.Instance.Discrete |
| Reflexive | Proarrow.Category.Instance.Rel |
| reifyExp | Proarrow.Category.Instance.Constraint |
| Relation | Proarrow.Category.Instance.Rel |
| REP | Proarrow.Category.Instance.Sub |
| Rep | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable |
| reparam | Proarrow.Category.Equipment.Quintet |
| RepCostar | |
| 1 (Type/Class) | Proarrow.Profunctor.Representable |
| 2 (Data Constructor) | Proarrow.Profunctor.Representable |
| repeat | Proarrow.Category.Instance.Mat |
| REPK | Proarrow.Category.Instance.Sub |
| Replace | Proarrow.Category.Monoidal.Optic |
| Replacing | Proarrow.Category.Monoidal.Optic |
| Replicate | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| repMap | Proarrow.Profunctor.Representable |
| repObj | Proarrow.Profunctor.Representable |
| Representable | Proarrow.Profunctor.Representable |
| reprIsFunctional | Proarrow.Category.Instance.Rel |
| reprIsTotal | Proarrow.Category.Instance.Rel |
| Retract | Proarrow.Profunctor.Free |
| retract | |
| 1 (Function) | Proarrow.Category.Instance.Free |
| 2 (Function) | Proarrow.Profunctor.Free |
| retract' | Proarrow.Profunctor.Free |
| retractAp | Proarrow.Profunctor.Free |
| retractK | Proarrow.Profunctor.Free |
| RetroSq | |
| 1 (Type/Class) | Proarrow.Category.Equipment |
| 2 (Data Constructor) | Proarrow.Category.Equipment |
| REV | Proarrow.Category.Monoidal.Rev |
| Rev | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Rev |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Rev |
| Rgt | |
| 1 (Data Constructor) | Proarrow.Object.BinaryCoproduct |
| 2 (Data Constructor) | Proarrow.Tools.CCC |
| 3 (Type/Class) | Proarrow.Category.Equipment.Limit |
| rgt | Proarrow.Object.BinaryCoproduct |
| rgt' | Proarrow.Object.BinaryCoproduct |
| RgtCat | Proarrow.Category.Instance.Cat |
| rgtObj | Proarrow.Category.Equipment.Limit |
| Rift | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Rift |
| 3 (Data Constructor) | Proarrow.Profunctor.Rift |
| rift | Proarrow.Category.Bicategory.Kan |
| riftAlongCompanion | Proarrow.Category.Bicategory.Kan |
| riftAlongCompanionInv | Proarrow.Category.Bicategory.Kan |
| riftCompose | Proarrow.Profunctor.Rift |
| riftComposeInv | Proarrow.Profunctor.Rift |
| riftMonadEta | Proarrow.Category.Bicategory.Kan |
| riftMonadMu | Proarrow.Category.Bicategory.Kan |
| riftUniv | Proarrow.Category.Bicategory.Kan |
| right | Proarrow.Object.BinaryCoproduct |
| right' | Proarrow.Object.BinaryCoproduct |
| 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.Category.Bicategory |
| 2 (Function) | Proarrow.Squares.Relative |
| 3 (Function) | Proarrow.Adjunction |
| RightKanExtension | Proarrow.Category.Bicategory.Kan |
| RightKanLift | Proarrow.Category.Bicategory.Kan |
| RightUnitor | Proarrow.Category.Monoidal |
| rightUnitor | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| rightUnitor' | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| RightUnitorInv | Proarrow.Category.Monoidal |
| 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 |
| rightUnitorProd | Proarrow.Object.BinaryProduct |
| rightUnitorProdInv | Proarrow.Object.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 | Proarrow.Category.Bicategory.Kan |
| runCont | Proarrow.Promonad.Cont |
| runRan | |
| 1 (Function) | Proarrow.Category.Instance.Nat |
| 2 (Function) | Proarrow.Profunctor.Ran |
| runRanProf | Proarrow.Profunctor.Ran |
| runRift | Proarrow.Profunctor.Rift |
| runRiftProf | Proarrow.Profunctor.Rift |
| S | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fin |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 3 (Type/Class) | Proarrow.Category.Instance.Mat |
| SC | Proarrow.Category.Instance.Cost |
| SCons | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Strictified |
| SCost | Proarrow.Category.Instance.Cost |
| second | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Object.BinaryProduct |
| second' | Proarrow.Category.Monoidal.Action |
| section | Proarrow.Profunctor.Cofree |
| section' | Proarrow.Profunctor.Cofree |
| SelfAction | Proarrow.Category.Monoidal.Action |
| Semicartesian | Proarrow.Object.Terminal |
| SFin | Proarrow.Category.Instance.Fin |
| Show2 | Proarrow.Category.Instance.Free |
| showPostComp | Proarrow.Category.Instance.Free |
| sigma0 | Proarrow.Category.Equipment.Stateful |
| sigma1 | Proarrow.Category.Equipment.Stateful |
| 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.Monoidal.Strictified |
| 2 (Function) | Proarrow.Category.Bicategory.Strictified |
| singNat | Proarrow.Category.Instance.Simplex |
| singPath | Proarrow.Category.Bicategory.Strictified |
| SList | Proarrow.Category.Monoidal.Strictified |
| sList | Proarrow.Category.Monoidal.Strictified |
| SLT | Proarrow.Category.Instance.Fin |
| SNat | Proarrow.Category.Instance.Simplex |
| Snd | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Category.Instance.Product |
| 3 (Data Constructor) | Proarrow.Object.BinaryProduct |
| 4 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 5 (Type/Class) | Proarrow.Category.Bicategory.Product |
| snd | |
| 1 (Function) | Proarrow.Object.BinaryProduct |
| 2 (Function) | Proarrow.Category.Bicategory.Product |
| snd' | Proarrow.Object.BinaryProduct |
| SndCat | Proarrow.Category.Instance.Cat |
| sndK | Proarrow.Category.Instance.Product |
| sndObj | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Category.Equipment.Limit |
| sndP | Proarrow.Profunctor.Product |
| SNil | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Strictified |
| SparseMatrix | Proarrow.Category.Instance.ZX |
| SPath | Proarrow.Category.Bicategory.Strictified |
| split | |
| 1 (Function) | Proarrow.Category.Instance.ZX |
| 2 (Function) | Proarrow.Category.Instance.Mat |
| splitFold | |
| 1 (Function) | Proarrow.Category.Monoidal.Strictified |
| 2 (Function) | Proarrow.Category.Bicategory.Strictified |
| SQ | Proarrow.Category.Equipment |
| Sq | |
| 1 (Type/Class) | Proarrow.Category.Equipment |
| 2 (Data Constructor) | Proarrow.Category.Equipment |
| SQ' | Proarrow.Category.Equipment |
| src | Proarrow.Core, Proarrow.Object, Proarrow |
| 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 | Proarrow.Category.Bicategory.Strictified |
| Star | |
| 1 (Type/Class) | Proarrow.Profunctor.Star |
| 2 (Data Constructor) | Proarrow.Profunctor.Star |
| StarAutonomous | Proarrow.Object.Dual |
| State | |
| 1 (Type/Class) | Proarrow.Promonad.State |
| 2 (Data Constructor) | Proarrow.Promonad.State |
| Str | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Free |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Strictified |
| 3 (Data Constructor) | Proarrow.Category.Bicategory.Strictified |
| strength | Proarrow.Profunctor.Star |
| Strictified | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| Strong | Proarrow.Category.Monoidal.Action |
| StrongCoprod | Proarrow.Object.BinaryCoproduct |
| strongPar0 | Proarrow.Category.Monoidal.Action |
| StrongProd | Proarrow.Object.BinaryProduct |
| Struct | Proarrow.Category.Instance.Free, Proarrow.Category.Monoidal, Proarrow.Object.Terminal, Proarrow.Object.Initial, Proarrow.Object.BinaryProduct, Proarrow.Object.BinaryCoproduct, Proarrow.Object.Exponential |
| STSq | |
| 1 (Data Constructor) | Proarrow.Category.Equipment.Stateful |
| 2 (Type/Class) | Proarrow.Category.Equipment.Stateful |
| STT | Proarrow.Category.Equipment.Stateful |
| StT | |
| 1 (Type/Class) | Proarrow.Category.Equipment.Stateful |
| 2 (Data Constructor) | Proarrow.Category.Equipment.Stateful |
| 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 |
| 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 |
| Sum | Proarrow.Object.BinaryCoproduct |
| Supplies | Proarrow.Category, Proarrow |
| Surjective | Proarrow.Category.Instance.Rel |
| Swap | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Instance.Cat |
| swap | Proarrow.Category.Monoidal |
| swap' | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Monoidal.Strictified |
| swap1 | Proarrow.Category.Monoidal.Strictified |
| swap1Inv | Proarrow.Category.Monoidal.Strictified |
| swapCoprod | Proarrow.Object.BinaryCoproduct |
| swapCoprod' | Proarrow.Object.BinaryCoproduct |
| swapFst | Proarrow.Category.Monoidal |
| swapInner | Proarrow.Category.Monoidal |
| swapInner' | Proarrow.Category.Monoidal |
| swapOuter | Proarrow.Category.Monoidal |
| swapProd | Proarrow.Object.BinaryProduct |
| swapProd' | Proarrow.Object.BinaryProduct |
| swapSnd | Proarrow.Category.Monoidal |
| Sym | |
| 1 (Type/Class) | Proarrow.Tools.Laws |
| 2 (Data Constructor) | Proarrow.Tools.Laws |
| Symmetric | Proarrow.Category.Instance.Rel |
| SymMonoidal | Proarrow.Category.Monoidal |
| SZ | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Fin |
| 2 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| tabulate | Proarrow.Profunctor.Representable |
| Tensor | |
| 1 (Type/Class) | Proarrow.Category.Promonoidal |
| 2 (Data Constructor) | Proarrow.Category.Promonoidal |
| TensorIsCoproduct | Proarrow.Object.BinaryCoproduct |
| TensorIsProduct | Proarrow.Object.BinaryProduct |
| Term | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fam |
| 2 (Data Constructor) | Proarrow.Category.Instance.Fam |
| TermF | |
| 1 (Type/Class) | Proarrow.Object.Terminal |
| 2 (Type/Class) | Proarrow.Tools.CCC |
| Terminal | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Terminal |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Terminal |
| TerminalLimit | Proarrow.Category.Limit |
| TerminalObject | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Object.Terminal |
| 3 (Type/Class) | Proarrow.Category.Equipment.Limit |
| TerminalProfunctor | |
| 1 (Type/Class) | Proarrow.Profunctor.Terminal |
| 2 (Data Constructor) | Proarrow.Profunctor.Terminal |
| TerminalProfunctor' | Proarrow.Profunctor.Terminal |
| Terminate | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Data Constructor) | Proarrow.Object.Terminal |
| 3 (Type/Class) | Proarrow.Category.Equipment.Limit |
| 4 (Type/Class) | Proarrow.Category.Instance.Cat |
| terminate | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Object.Terminal |
| 3 (Function) | Proarrow.Category.Equipment.Limit |
| terminate' | Proarrow.Object.Terminal |
| termUniv | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Category.Equipment.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 |
| There | Proarrow.Tools.Laws |
| These | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (Data Constructor) | Proarrow.Category.Instance.PointedHask |
| Thin | Proarrow.Category.Enriched.ThinCategory |
| ThinProfunctor | Proarrow.Category.Enriched.ThinCategory |
| This | Proarrow.Category.Instance.PointedHask |
| toCCC | Proarrow.Tools.CCC |
| toHask | Proarrow.Category.Instance.PointedHask |
| toInt | Proarrow.Category.Instance.IntConstruction |
| toLeft | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| toLimitAdj | Proarrow.Category.Equipment.Limit |
| toList | Proarrow.Profunctor.Fix |
| Top | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| toRight | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| toSelfAct | Proarrow.Category.Monoidal.Action |
| Total | Proarrow.Category.Instance.Rel |
| trace | Proarrow.Category.Monoidal.Action |
| TracedMonoidal | Proarrow.Category.Monoidal.Action |
| TracedMonoidal' | Proarrow.Category.Instance.IntConstruction |
| transpose | Proarrow.Category.Instance.ZX |
| trav | Proarrow.Profunctor.Fold |
| Traversable | Proarrow.Category.Monoidal.Distributive |
| Traversal | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Type/Class) | Proarrow.Squares |
| traverse | Proarrow.Category.Monoidal.Distributive |
| traversing | Proarrow.Category.Monoidal.Optic |
| trivialCorep | Proarrow.Profunctor.Corepresentable |
| trivialRep | Proarrow.Profunctor.Representable |
| TRU | Proarrow.Category.Instance.Bool |
| Tru | Proarrow.Category.Instance.Bool |
| Type | Proarrow.Category.Instance.Hask |
| UN | Proarrow.Core |
| unAp | Proarrow.Category.Instance.Ap |
| unAsLeftAdjoint | Proarrow.Universal, Proarrow |
| unAsRightAdjoint | Proarrow.Universal, Proarrow |
| unClassify | Proarrow.Category.Monoidal.Optic |
| unCo | Proarrow.Profunctor.Star |
| unConcatMap | Proarrow.Category.Instance.Mat |
| unCopower | Proarrow.Category.Instance.Nat |
| uncopower | Proarrow.Object.Copower |
| unCoprod | Proarrow.Object.BinaryCoproduct |
| unCorep | Proarrow.Profunctor.Corepresentable |
| unCorepStar | Proarrow.Profunctor.Representable |
| unCostar | Proarrow.Profunctor.Costar |
| unCoyoneda | Proarrow.Profunctor.Coyoneda |
| Uncurry | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cat |
| uncurry | Proarrow.Object.Exponential |
| underlying | Proarrow.Category.Enriched |
| underlyingPt | Proarrow.Category.Instance.PointedHask |
| underlyingSelf | Proarrow.Category.Enriched |
| unEnd | Proarrow.Category.Limit |
| unEntails | Proarrow.Category.Instance.Constraint |
| unFlipApp | Proarrow.Squares |
| unflipCorep | Proarrow.Profunctor.Representable |
| unflipRep | Proarrow.Profunctor.Representable |
| unFromAdjunction | Proarrow.Universal, Proarrow |
| unFromProfunctor | Proarrow.Functor, Proarrow |
| UNFUN | Proarrow.Category.Bicategory.Prof |
| unHomK | Proarrow.Category.Bicategory.Hom |
| unId | Proarrow.Profunctor.Identity |
| unInjR | Proarrow.Category.Instance.Collage |
| unInL | Proarrow.Category.Instance.Collage |
| Unit | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Instance.Unit |
| 3 (Data Constructor) | Proarrow.Category.Instance.Unit |
| 4 (Data Constructor) | Proarrow.Profunctor.Free |
| unit | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Bicategory.Relative |
| 3 (Function) | Proarrow.Squares.Relative |
| 4 (Function) | Proarrow.Adjunction |
| 5 (Function) | Proarrow.Category.Instance.Linear |
| 6 (Function) | Proarrow.Squares.Limit |
| UnitF | Proarrow.Category.Monoidal |
| unitObj | Proarrow.Category.Monoidal |
| unitor | Proarrow.Category.Monoidal.Action |
| unitorInv | Proarrow.Category.Monoidal.Action |
| unitQuest | Proarrow.Category.Instance.Linear |
| unitRep | Proarrow.Adjunction |
| unKleisli | Proarrow.Category.Instance.Kleisli |
| unLinear | Proarrow.Category.Instance.Linear |
| unNat | Proarrow.Category.Instance.Nat |
| unNat' | Proarrow.Category.Instance.Nat |
| UnOp | |
| 1 (Type/Class) | Proarrow.Category.Opposite |
| 2 (Data Constructor) | Proarrow.Category.Opposite |
| unOp | Proarrow.Category.Opposite |
| unPower | |
| 1 (Function) | Proarrow.Object.Power |
| 2 (Function) | Proarrow.Category.Instance.Nat |
| unpower | Proarrow.Object.Power |
| unPrelude | Proarrow.Functor, Proarrow |
| unPreview | Proarrow.Category.Monoidal.Optic |
| unProd | Proarrow.Object.BinaryProduct |
| unProf | Proarrow.Category.Instance.Prof |
| unPt | Proarrow.Category.Instance.PointedHask |
| unRan | Proarrow.Profunctor.Ran |
| unRep | Proarrow.Profunctor.Representable |
| unRepCostar | Proarrow.Profunctor.Representable |
| unReplace | Proarrow.Category.Monoidal.Optic |
| unRift | Proarrow.Profunctor.Rift |
| unsafeLinear | Proarrow.Category.Instance.Linear |
| unStar | Proarrow.Profunctor.Star |
| unStr | |
| 1 (Function) | Proarrow.Category.Monoidal.Strictified |
| 2 (Function) | Proarrow.Category.Bicategory.Strictified |
| unSTSq | Proarrow.Category.Equipment.Stateful |
| unSub | Proarrow.Category.Instance.Sub |
| unTensor | Proarrow.Category.Promonoidal |
| unUnOp | Proarrow.Category.Opposite |
| unUpdate | Proarrow.Category.Monoidal.Optic |
| unView | Proarrow.Category.Monoidal.Optic |
| Unweighted | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Type/Class) | Proarrow.Category.Colimit |
| unWrapped | Proarrow.Profunctor.Wrapped |
| unYoneda | Proarrow.Profunctor.Yoneda |
| 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 |
| VacuusOb | Proarrow.Object, Proarrow |
| Var | Proarrow.Tools.Laws, Proarrow.Category.Monoidal, Proarrow.Object.Terminal, Proarrow.Object.Initial, Proarrow.Object.BinaryProduct, Proarrow.Object.BinaryCoproduct |
| vArr | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| vCombine | Proarrow.Squares |
| vCombineAll | Proarrow.Squares |
| Vec | Proarrow.Category.Instance.Mat |
| vId | |
| 1 (Function) | Proarrow.Category.Equipment |
| 2 (Function) | Proarrow.Squares |
| vId' | Proarrow.Squares |
| Viewing | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| VOID | Proarrow.Category.Instance.Zero |
| vSplit | Proarrow.Squares |
| vSplitAll | Proarrow.Squares |
| vUnitor | Proarrow.Squares |
| vUnitorInv | Proarrow.Squares |
| W | |
| 1 (Type/Class) | Proarrow.Category.Equipment.BiAsEquipment |
| 2 (Data Constructor) | Proarrow.Category.Equipment.BiAsEquipment |
| With | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| withArr | Proarrow.Category.Enriched.ThinCategory |
| withAssocMult | Proarrow.Category.Instance.Mat |
| withAssocPlus | Proarrow.Category.Instance.Mat |
| withCorepOb | Proarrow.Profunctor.Corepresentable |
| withDist | Proarrow.Category.Instance.Mat |
| WithEq | Proarrow.Category.Instance.Free |
| withEq | |
| 1 (Function) | Proarrow.Category.Enriched.ThinCategory |
| 2 (Function) | Proarrow.Category.Instance.Discrete |
| withIsList2 | Proarrow.Category.Monoidal.Strictified |
| withIsPath | Proarrow.Category.Bicategory.Strictified |
| withIsPath2 | Proarrow.Category.Bicategory.Strictified |
| withLowerOb | Proarrow.Category.Instance.Free |
| withMultNat | Proarrow.Category.Instance.Mat |
| withMultSucc | Proarrow.Category.Instance.Mat |
| withMultSym | Proarrow.Category.Instance.Mat |
| withNat | Proarrow.Category.Instance.Mat |
| withOb0s | Proarrow.Category.Bicategory |
| withOb2 | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Category.Monoidal |
| withObAct | Proarrow.Category.Monoidal.Action |
| withObCoExp | Proarrow.Object.Coexponential |
| withObColimit | Proarrow.Category.Equipment.Limit |
| withObCompanion | Proarrow.Category.Equipment |
| withObConjoint | Proarrow.Category.Equipment |
| withObCopower | Proarrow.Object.Copower |
| withObCoprod | Proarrow.Object.BinaryCoproduct |
| withObExp | Proarrow.Object.Exponential |
| withObLimit | Proarrow.Category.Equipment.Limit |
| withObPower | Proarrow.Object.Power |
| withObProd | Proarrow.Object.BinaryProduct |
| withPlusIsNat | |
| 1 (Function) | Proarrow.Category.Instance.ZX |
| 2 (Function) | Proarrow.Category.Instance.Cost |
| withPlusNat | Proarrow.Category.Instance.Mat |
| withPlusSucc | Proarrow.Category.Instance.Mat |
| withPlusSym | Proarrow.Category.Instance.Mat |
| withProObj | Proarrow.Category.Enriched |
| withRepOb | Proarrow.Profunctor.Representable |
| WithShow | Proarrow.Category.Instance.Free |
| WK | Proarrow.Category.Equipment.BiAsEquipment |
| WKK | Proarrow.Category.Equipment.BiAsEquipment |
| Wrapped | |
| 1 (Type/Class) | Proarrow.Profunctor.Wrapped |
| 2 (Data Constructor) | Proarrow.Profunctor.Wrapped |
| Writer | |
| 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.Yoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Yoneda |
| Yoneda | |
| 1 (Type/Class) | Proarrow.Profunctor.Yoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Yoneda |
| yoneda | Proarrow.Profunctor.Yoneda |
| Z | |
| 1 (Type/Class) | Proarrow.Category.Instance.Fin |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 3 (Type/Class) | Proarrow.Category.Instance.Mat |
| zCopy | Proarrow.Category.Instance.ZX |
| zDisc | Proarrow.Category.Instance.ZX |
| ZEQ | Proarrow.Category.Instance.Fin |
| Zero | Proarrow.Category.Instance.Zero |
| zero | |
| 1 (Function) | Proarrow.Object.Initial |
| 2 (Function) | Proarrow.Category.Instance.Mat |
| zeroState | Proarrow.Category.Instance.ZX |
| 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.Object.Power |
| ^. | Proarrow.Category.Monoidal.Optic |
| ^^^ | Proarrow.Object.Exponential |
| |> | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Profunctor.Ran |
| || | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Object.BinaryCoproduct |
| 3 (Function) | Proarrow.Category.Monoidal.Strictified |
| ||| | |
| 1 (Function) | Proarrow.Object.BinaryCoproduct |
| 2 (Function) | Proarrow.Category.Equipment |
| 3 (Function) | Proarrow.Squares |
| ~> | Proarrow.Core, Proarrow.Category, Proarrow, Proarrow |
| ~~> | Proarrow.Object.Exponential |