| % | Proarrow.Profunctor.Representable |
| %% | Proarrow.Profunctor.Corepresentable |
| %~ | Proarrow.Category.Monoidal.Optic |
| %~> | Proarrow.Category.Enriched |
| && | Proarrow.Object.BinaryProduct |
| &&& | Proarrow.Object.BinaryProduct |
| ** | Proarrow.Category.Monoidal |
| *** | Proarrow.Object.BinaryProduct |
| + | Proarrow.Category.Instance.Simplex |
| ++ | Proarrow.Category.Monoidal |
| +++ | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Object.BinaryCoproduct |
| . | Proarrow.Core, Proarrow.Promonad |
| .? | Proarrow.Category.Monoidal.Optic |
| .~ | Proarrow.Category.Monoidal.Optic |
| .~> | Proarrow.Functor, Proarrow |
| // | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| :&&&: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cat |
| :**: | |
| 1 (Type/Class) | Proarrow.Category.Instance.Product |
| 2 (Data Constructor) | Proarrow.Category.Instance.Product |
| :*: | |
| 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 |
| :=> | Proarrow.Category.Instance.Constraint |
| :| | Proarrow.Category.Instance.Free |
| :~> | Proarrow.Core |
| :~>: | Proarrow.Profunctor.Exponential |
| <| | Proarrow.Profunctor.Rift |
| === | Proarrow.Category.Double |
| ?. | Proarrow.Category.Monoidal.Optic |
| Act | Proarrow.Category.Monoidal.Optic |
| act | Proarrow.Category.Monoidal.Optic |
| action | Proarrow.Category.Monoidal.Optic |
| Adjunction | |
| 1 (Type/Class) | Proarrow.Category.Bicategory |
| 2 (Type/Class) | Proarrow.Adjunction, Proarrow |
| Algebra | Proarrow.Category.Monoidal.Optic |
| algebra | Proarrow.Category.Monoidal.Optic |
| AlgebraicLens | Proarrow.Category.Monoidal.Optic |
| Alt | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Applicative |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Applicative |
| alt | Proarrow.Category.Monoidal.Applicative |
| Alternative | Proarrow.Category.Monoidal.Applicative |
| altP | Proarrow.Category.Monoidal.Applicative |
| ana | Proarrow.Profunctor.Fix |
| Any | Proarrow.Core |
| ap | Proarrow.Object.Exponential |
| App | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Applicative |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Applicative |
| apP | Proarrow.Category.Monoidal.Applicative |
| append | Proarrow.Category.Bicategory |
| appendObj | Proarrow.Category.Bicategory |
| Applicative | Proarrow.Category.Monoidal.Applicative |
| Arr | Proarrow.Category.Enriched |
| arr | Proarrow.Core |
| asObj | Proarrow.Category.Bicategory |
| associator | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| associator' | Proarrow.Category.Instance.Simplex |
| associatorInv | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| associatorInv' | Proarrow.Category.Instance.Simplex |
| associatorProd | Proarrow.Object.BinaryProduct |
| associatorProdInv | Proarrow.Object.BinaryProduct |
| asSPath | Proarrow.Category.Bicategory |
| BI | Proarrow.Core |
| Bicategory | Proarrow.Category.Bicategory |
| BicategoryConstraints | Proarrow.Category.Bicategory |
| Bidiscrete | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Bidiscrete |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Bidiscrete |
| bimapComp | Proarrow.Profunctor.Composition |
| Bimodule | Proarrow.Category.Bicategory |
| BIPARA | Proarrow.Category.Enriched.Bipara |
| Bipara | |
| 1 (Type/Class) | Proarrow.Category.Enriched.Bipara |
| 2 (Data Constructor) | Proarrow.Category.Enriched.Bipara |
| BIPARAK | Proarrow.Category.Enriched.Bipara |
| BOOL | Proarrow.Category.Instance.Bool |
| Booleans | Proarrow.Category.Instance.Bool |
| boolId | Proarrow.Category.Instance.Bool |
| 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 |
| Category | Proarrow.Category.Bicategory.CategoryAsBi |
| CategoryOf | Proarrow.Core, Proarrow.Category, Proarrow |
| CATK | Proarrow.Category.Enriched |
| choose | Proarrow.Category.Limit |
| CK | Proarrow.Category.Enriched |
| Classifying | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| Closed | Proarrow.Object.Exponential |
| 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 |
| cochoose | Proarrow.Category.Colimit |
| coindex | Proarrow.Profunctor.Corepresentable |
| COK | Proarrow.Category.Bicategory.Co |
| Colimit | Proarrow.Category.Colimit |
| colimit | Proarrow.Category.Colimit |
| colimitInv | Proarrow.Category.Colimit |
| Collage | Proarrow.Promonad.Collage |
| Comonad | Proarrow.Category.Bicategory |
| Comonoid | Proarrow.Monoid |
| comp | Proarrow.Object.Exponential |
| Companion | Proarrow.Category.Double |
| ComposeConstraint | Proarrow.Category.Bicategory.Prof |
| composeCostar | Proarrow.Profunctor.Costar |
| composeStar | Proarrow.Profunctor.Star |
| comult | Proarrow.Monoid |
| concatFold | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| concatFoldCo | Proarrow.Category.Bicategory.Co |
| concatFoldQ | Proarrow.Category.Double.Quintet |
| Conjoint | Proarrow.Category.Double |
| Cons | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Category.Instance.List |
| 3 (Data Constructor) | Proarrow.Profunctor.Fix |
| CONSTRAINT | Proarrow.Category.Instance.Constraint |
| COPR | Proarrow.Object.BinaryCoproduct |
| COPROD | Proarrow.Object.BinaryCoproduct |
| Coprod | |
| 1 (Type/Class) | Proarrow.Object.BinaryCoproduct |
| 2 (Data Constructor) | Proarrow.Object.BinaryCoproduct |
| COPRODUCT | Proarrow.Category.Instance.Coproduct |
| coproduct | Proarrow.Profunctor.Coproduct |
| CoproductColimit | |
| 1 (Type/Class) | Proarrow.Category.Colimit |
| 2 (Data Constructor) | Proarrow.Category.Colimit |
| coproductId | Proarrow.Category.Instance.Coproduct |
| corepMap | Proarrow.Profunctor.Corepresentable |
| Corepresentable | Proarrow.Profunctor.Corepresentable |
| CoSq | |
| 1 (Type/Class) | Proarrow.Category.Double |
| 2 (Data Constructor) | Proarrow.Category.Double |
| CoSq1 | Proarrow.Category.Double |
| Costar | |
| 1 (Type/Class) | Proarrow.Profunctor.Costar |
| 2 (Data Constructor) | Proarrow.Profunctor.Costar |
| cotabulate | Proarrow.Profunctor.Corepresentable |
| counit | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Adjunction, Proarrow |
| 3 (Function) | Proarrow.Monoid |
| counitFromStarCounit | Proarrow.Adjunction, Proarrow |
| Coyoneda | |
| 1 (Type/Class) | Proarrow.Profunctor.Coyoneda |
| 2 (Data Constructor) | Proarrow.Profunctor.Coyoneda |
| coyoneda | Proarrow.Profunctor.Coyoneda |
| curry | Proarrow.Object.Exponential |
| curry' | Proarrow.Object.Exponential |
| Day | |
| 1 (Type/Class) | Proarrow.Profunctor.Day |
| 2 (Data Constructor) | Proarrow.Profunctor.Day |
| DayAct | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| dayActAsOptic | Proarrow.Category.Monoidal.Optic |
| 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 |
| delta | Proarrow.Category.Bicategory |
| dimap | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| dimapCorep | Proarrow.Profunctor.Corepresentable |
| dimapDefault | Proarrow.Core, Proarrow.Category, Proarrow |
| dimapRep | Proarrow.Profunctor.Representable |
| DiscreteK | Proarrow.Category.Bicategory.Bidiscrete |
| DK | Proarrow.Category.Bicategory.Bidiscrete |
| DOb | Proarrow.Category.Double |
| Double | Proarrow.Category.Double |
| E | Proarrow.Category.Monoidal.Endo |
| ECategory | Proarrow.Category.Enriched |
| ecomp | Proarrow.Category.Enriched |
| eid | Proarrow.Category.Enriched |
| El | Proarrow.Object.Terminal |
| elimI | Proarrow.Category.Bicategory |
| elimO | Proarrow.Category.Bicategory |
| embed | Proarrow.Profunctor.Fix |
| embed' | Proarrow.Profunctor.Fix |
| empty | Proarrow.Category.Monoidal.Applicative |
| emptyP | Proarrow.Category.Monoidal.Applicative |
| End | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Data Constructor) | Proarrow.Category.Limit |
| EndLimit | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Data Constructor) | Proarrow.Category.Limit |
| ENDO | Proarrow.Category.Monoidal.Endo |
| Endo | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Endo |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Endo |
| Entails | Proarrow.Category.Instance.Constraint |
| EOb | Proarrow.Category.Enriched |
| epsilon | Proarrow.Category.Bicategory |
| Equipment | Proarrow.Category.Double |
| eta | Proarrow.Category.Bicategory |
| eval | Proarrow.Object.Exponential |
| eval' | Proarrow.Object.Exponential |
| ex2prof | Proarrow.Category.Monoidal.Optic |
| Exp | Proarrow.Profunctor.Exponential |
| ExponentialFunctor | |
| 1 (Type/Class) | Proarrow.Object.Exponential |
| 2 (Data Constructor) | Proarrow.Object.Exponential |
| F | Proarrow.Category.Instance.Free |
| F2T | Proarrow.Category.Instance.Bool |
| Fin | Proarrow.Category.Instance.Simplex |
| first | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Object.BinaryProduct |
| Fix | Proarrow.Profunctor.Fix |
| FLS | Proarrow.Category.Instance.Bool |
| Fls | Proarrow.Category.Instance.Bool |
| Fold | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Bicategory |
| fold | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| folded | Proarrow.Category.Double |
| Forget | |
| 1 (Type/Class) | Proarrow.Profunctor.Forget |
| 2 (Data Constructor) | Proarrow.Profunctor.Forget |
| 3 (Type/Class) | Proarrow.Category.Instance.Linear |
| 4 (Data Constructor) | Proarrow.Category.Instance.Linear |
| 5 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 6 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| FREE | Proarrow.Category.Instance.Free |
| Free | |
| 1 (Type/Class) | Proarrow.Category.Instance.Free |
| 2 (Type/Class) | Proarrow.Category.Instance.Linear |
| 3 (Data Constructor) | Proarrow.Category.Instance.Linear |
| FreeId | Proarrow.Category.Instance.Free |
| fromLeft | Proarrow.Category.Double |
| fromList | Proarrow.Profunctor.Fix |
| fromRight | Proarrow.Category.Double |
| Fs | Proarrow.Category.Instance.Simplex |
| Fst | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Product |
| 2 (Type/Class) | Proarrow.Category.Instance.Product |
| fst | Proarrow.Object.BinaryProduct |
| fst' | Proarrow.Object.BinaryProduct |
| FstCat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cat |
| fstP | Proarrow.Profunctor.Product |
| Functor | Proarrow.Functor, Proarrow |
| Fz | Proarrow.Category.Instance.Simplex |
| GenElt | |
| 1 (Type/Class) | Proarrow.Monoid |
| 2 (Data Constructor) | Proarrow.Monoid |
| getClassify | Proarrow.Category.Monoidal.Optic |
| getCoprod | Proarrow.Object.BinaryCoproduct |
| getCostar | Proarrow.Profunctor.Costar |
| getEnd | Proarrow.Category.Limit |
| getEntails | Proarrow.Category.Instance.Constraint |
| getForget | Proarrow.Category.Instance.Simplex |
| getHom | Proarrow.Category.Monoidal |
| getId | Proarrow.Profunctor.Identity |
| getNat | Proarrow.Category.Instance.Nat |
| getNat' | Proarrow.Category.Instance.Nat |
| getOp | Proarrow.Category.Opposite |
| getPrecompose | Proarrow.Profunctor.Rift |
| getPrelude | Proarrow.Functor, Proarrow |
| getPreview | Proarrow.Category.Monoidal.Optic |
| getProf | Proarrow.Category.Instance.Prof |
| getRan | Proarrow.Profunctor.Ran |
| getReader | Proarrow.Promonad.Reader |
| getReplace | Proarrow.Category.Monoidal.Optic |
| getRift | Proarrow.Profunctor.Rift |
| getSet | Proarrow.Category.Monoidal.Optic |
| getStar | Proarrow.Profunctor.Star |
| getUpdate | Proarrow.Category.Monoidal.Optic |
| getView | Proarrow.Category.Monoidal.Optic |
| getWriter | Proarrow.Promonad.Writer |
| getYoneda | Proarrow.Profunctor.Yoneda |
| hArr | Proarrow.Category.Double |
| hArr1 | Proarrow.Category.Double |
| HasBinaryCoproducts | Proarrow.Object.BinaryCoproduct |
| HasBinaryProducts | Proarrow.Object.BinaryProduct |
| HasColimits | Proarrow.Category.Colimit |
| HasCoproducts | Proarrow.Object.BinaryCoproduct |
| HasInitialObject | Proarrow.Object.Initial |
| Hask | Proarrow.Category.Instance.Hask |
| HaskLan | Proarrow.Category.Bicategory.Kan |
| HaskRan | Proarrow.Category.Bicategory.Kan |
| HasLimits | Proarrow.Category.Limit |
| HasProducts | Proarrow.Object.BinaryProduct |
| HasTerminalObject | Proarrow.Object.Terminal |
| Hom | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Category.Monoidal |
| 3 (Type/Class) | Proarrow.Category.Limit |
| 4 (Data Constructor) | Proarrow.Category.Limit |
| I | Proarrow.Category.Bicategory |
| Id | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.CategoryAsBi |
| 2 (Type/Class) | Proarrow.Profunctor.Identity |
| 3 (Data Constructor) | Proarrow.Profunctor.Identity |
| id | Proarrow.Core, Proarrow.Promonad |
| IIsOb | Proarrow.Category.Bicategory |
| In | Proarrow.Profunctor.Fix |
| index | Proarrow.Profunctor.Representable |
| InitialLimit | |
| 1 (Type/Class) | Proarrow.Category.Colimit |
| 2 (Data Constructor) | Proarrow.Category.Colimit |
| InitialObject | Proarrow.Object.Initial |
| InitialProfunctor | Proarrow.Profunctor.Initial |
| initiate | Proarrow.Object.Initial |
| initiate' | Proarrow.Object.Initial |
| InjL | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Profunctor.Coproduct |
| InjR | |
| 1 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Profunctor.Coproduct |
| InL | Proarrow.Promonad.Collage |
| InR | Proarrow.Promonad.Collage |
| introI | Proarrow.Category.Bicategory |
| introO | Proarrow.Category.Bicategory |
| Is | Proarrow.Core |
| IsBool | Proarrow.Category.Instance.Bool |
| IsCategoryOf | Proarrow.Core |
| IsCoproduct | Proarrow.Category.Instance.Coproduct |
| IsCorepresentableColimit | Proarrow.Category.Colimit |
| IsList | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Instance.List |
| IsNat | Proarrow.Category.Instance.Simplex |
| IsOb | Proarrow.Category.Bicategory.Sub |
| IsObI | Proarrow.Category.Bicategory.Sub |
| IsObMult | Proarrow.Category.Instance.Sub |
| IsObO | Proarrow.Category.Bicategory.Sub |
| isObPar | Proarrow.Category.Monoidal |
| IsPath | Proarrow.Category.Bicategory |
| IsRepresentableLimit | Proarrow.Category.Limit |
| IsVoid | Proarrow.Category.Instance.Zero |
| 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.List |
| 2 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Linear |
| L2R | Proarrow.Promonad.Collage |
| Lan | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| lan | Proarrow.Category.Bicategory.Kan |
| lanUniv | Proarrow.Category.Bicategory.Kan |
| LCat | Proarrow.Category.Monoidal.Optic |
| left | Proarrow.Object.BinaryCoproduct |
| leftAction | Proarrow.Category.Bicategory |
| leftAdjunct | Proarrow.Adjunction, Proarrow |
| LeftKanExtension | Proarrow.Category.Bicategory.Kan |
| LeftKanLift | Proarrow.Category.Bicategory.Kan |
| leftUnitor | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| leftUnitorInv | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| leftUnitorProd | Proarrow.Object.BinaryProduct |
| leftUnitorProdInv | Proarrow.Object.BinaryProduct |
| Lens | Proarrow.Category.Monoidal.Optic |
| lft | Proarrow.Object.BinaryCoproduct |
| lft' | Proarrow.Object.BinaryCoproduct |
| Lift | Proarrow.Category.Bicategory.Kan |
| lift | Proarrow.Category.Bicategory.Kan |
| lift0 | Proarrow.Category.Monoidal |
| lift2 | Proarrow.Category.Monoidal |
| liftA2 | Proarrow.Category.Monoidal.Applicative |
| liftUniv | Proarrow.Category.Bicategory.Kan |
| Limit | Proarrow.Category.Limit |
| limit | Proarrow.Category.Limit |
| limitInv | Proarrow.Category.Limit |
| LINEAR | Proarrow.Category.Instance.Linear |
| Linear | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| LIST | Proarrow.Category.Instance.List |
| List | |
| 1 (Type/Class) | Proarrow.Category.Instance.List |
| 2 (Type/Class) | Proarrow.Profunctor.Forget |
| 3 (Data Constructor) | Proarrow.Profunctor.Forget |
| ListF | Proarrow.Profunctor.Fix |
| listId | Proarrow.Category.Instance.List |
| lmap | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| map | Proarrow.Functor, Proarrow |
| mapLan | Proarrow.Category.Bicategory.Kan |
| mapLift | Proarrow.Category.Bicategory.Kan |
| mappend | Proarrow.Monoid |
| mapRan | Proarrow.Category.Bicategory.Kan |
| mapRift | Proarrow.Category.Bicategory.Kan |
| maybeLiftsSemigroup | Proarrow.Category.Instance.Constraint |
| MDK | Proarrow.Category.Enriched |
| mempty | Proarrow.Monoid |
| MixedOptic | Proarrow.Category.Monoidal.Optic |
| MK | Proarrow.Category.Bicategory.MonoidalAsBi |
| mkAlgebraicLens | Proarrow.Category.Monoidal.Optic |
| mkCons | Proarrow.Category.Instance.List |
| mkCoprod | Proarrow.Object.BinaryCoproduct |
| mkEndo | Proarrow.Category.Monoidal.Endo |
| mkExponential | Proarrow.Object.Exponential |
| mkLens | Proarrow.Category.Monoidal.Optic |
| mkPrism | Proarrow.Category.Monoidal.Optic |
| mkProd | Proarrow.Object.BinaryProduct |
| ModuleObject | Proarrow.Category.Monoidal.Optic |
| Mon2 | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.MonoidalAsBi |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.MonoidalAsBi |
| Monad | Proarrow.Category.Bicategory |
| MONADK | Proarrow.Category.Enriched |
| MonK | Proarrow.Category.Bicategory.MonoidalAsBi |
| Monoid | Proarrow.Monoid |
| Monoidal | Proarrow.Category.Monoidal |
| MonoidalAction | Proarrow.Category.Monoidal.Optic |
| MonoidalProfunctor | Proarrow.Category.Monoidal |
| mu | Proarrow.Category.Bicategory |
| multiplicator | Proarrow.Category.Monoidal.Optic |
| multiplicatorInv | Proarrow.Category.Monoidal.Optic |
| mupdate | Proarrow.Category.Monoidal.Optic |
| Nat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| 3 (Type/Class) | Proarrow.Category.Instance.Simplex |
| Nat' | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| NatK | Proarrow.Category.Instance.Nat |
| Nil | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Category.Instance.List |
| 3 (Type/Class) | Proarrow.Category.Bicategory |
| 4 (Data Constructor) | Proarrow.Profunctor.Fix |
| 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' | Proarrow.Object, Proarrow |
| Ob0 | Proarrow.Category.Bicategory |
| Obj | Proarrow.Core, Proarrow.Object, Proarrow |
| obj | Proarrow.Core, Proarrow.Object, Proarrow |
| obj1 | Proarrow.Category.Bicategory |
| object | Proarrow.Category.Double |
| OP | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| 2 (Data Constructor) | Proarrow.Category.Opposite |
| Op | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Op |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Op |
| 3 (Type/Class) | Proarrow.Category.Opposite |
| 4 (Data Constructor) | Proarrow.Category.Opposite |
| 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 |
| opticAsDayAct | Proarrow.Category.Monoidal.Optic |
| OpticCat | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| out | Proarrow.Profunctor.Fix |
| par | Proarrow.Category.Monoidal |
| parallel | Proarrow.Category.Monoidal.Optic |
| Path | Proarrow.Category.Bicategory |
| PK | Proarrow.Category.Bicategory.Prof |
| PLAIN | Proarrow.Category.Bicategory.CategoryAsBi |
| PLAINK | Proarrow.Category.Bicategory.CategoryAsBi |
| PR | Proarrow.Object.BinaryProduct |
| Precompose | |
| 1 (Type/Class) | Proarrow.Profunctor.Rift |
| 2 (Data Constructor) | Proarrow.Profunctor.Rift |
| Prelude | |
| 1 (Type/Class) | Proarrow.Functor, Proarrow |
| 2 (Data Constructor) | Proarrow.Functor, Proarrow |
| Previewing | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| Prism | Proarrow.Category.Monoidal.Optic |
| PRO | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| Proalternative | Proarrow.Category.Monoidal.Applicative |
| Proapplicative | Proarrow.Category.Monoidal.Applicative |
| PROD | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Product |
| 2 (Type/Class) | Proarrow.Object.BinaryProduct |
| Prod | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Product |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Product |
| 3 (Type/Class) | Proarrow.Object.BinaryProduct |
| 4 (Data Constructor) | Proarrow.Object.BinaryProduct |
| prod | Proarrow.Profunctor.Product |
| PRODFST | Proarrow.Category.Bicategory.Product |
| PRODK | Proarrow.Category.Bicategory.Product |
| PRODSND | Proarrow.Category.Bicategory.Product |
| ProductLimit | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Data Constructor) | Proarrow.Category.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 |
| ProfC | Proarrow.Category.Bicategory.Prof |
| ProfCl | Proarrow.Category.Bicategory.Prof |
| ProfConstraint | Proarrow.Category.Bicategory.Prof |
| ProfCorepC | Proarrow.Category.Bicategory.Prof |
| PROFK | Proarrow.Category.Bicategory.Prof |
| ProfK | Proarrow.Category.Bicategory.Prof |
| ProfOptic | Proarrow.Category.Monoidal.Optic |
| ProfRepC | Proarrow.Category.Bicategory.Prof |
| Profunctor | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| project | Proarrow.Profunctor.Fix |
| project' | Proarrow.Profunctor.Fix |
| Promonad | Proarrow.Core, Proarrow.Promonad |
| pure | Proarrow.Category.Monoidal.Applicative |
| pureP | Proarrow.Category.Monoidal.Applicative |
| Q | Proarrow.Category.Double.Quintet |
| Q1 | Proarrow.Category.Double.Quintet |
| Q2 | |
| 1 (Type/Class) | Proarrow.Category.Double.Quintet |
| 2 (Data Constructor) | Proarrow.Category.Double.Quintet |
| QK | Proarrow.Category.Double.Quintet |
| QKK | Proarrow.Category.Double.Quintet |
| Quintet | Proarrow.Category.Double.Quintet |
| Quintet1 | Proarrow.Category.Double.Quintet |
| R | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Rev |
| 2 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| Ran | |
| 1 (Data Constructor) | Proarrow.Category.Bicategory.Kan |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Kan |
| 3 (Type/Class) | Proarrow.Profunctor.Ran |
| 4 (Data Constructor) | Proarrow.Profunctor.Ran |
| ran | Proarrow.Category.Bicategory.Kan |
| ranCompose | Proarrow.Profunctor.Ran |
| ranComposeInv | Proarrow.Profunctor.Ran |
| ranUniv | Proarrow.Category.Bicategory.Kan |
| RCat | Proarrow.Category.Monoidal.Optic |
| 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 |
| 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 |
| Representable | Proarrow.Profunctor.Representable |
| REV | Proarrow.Category.Monoidal.Rev |
| Rev | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Rev |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Rev |
| Rewrite | Proarrow.Category.Instance.Free |
| rewriteAfterCons | Proarrow.Category.Instance.Free |
| rgt | Proarrow.Object.BinaryCoproduct |
| rgt' | Proarrow.Object.BinaryCoproduct |
| 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 |
| riftCompose | Proarrow.Profunctor.Rift |
| riftComposeInv | Proarrow.Profunctor.Rift |
| riftUniv | Proarrow.Category.Bicategory.Kan |
| right | Proarrow.Object.BinaryCoproduct |
| rightAction | Proarrow.Category.Bicategory |
| rightAdjunct | Proarrow.Adjunction, Proarrow |
| RightKanExtension | Proarrow.Category.Bicategory.Kan |
| RightKanLift | Proarrow.Category.Bicategory.Kan |
| rightUnitor | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| rightUnitor' | Proarrow.Category.Instance.Simplex |
| rightUnitorInv | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| rightUnitorInv' | Proarrow.Category.Instance.Simplex |
| rightUnitorProd | Proarrow.Object.BinaryProduct |
| rightUnitorProdInv | Proarrow.Object.BinaryProduct |
| rmap | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| runRan | |
| 1 (Function) | Proarrow.Category.Bicategory.Kan |
| 2 (Function) | Proarrow.Profunctor.Ran |
| runRift | Proarrow.Profunctor.Rift |
| S | Proarrow.Category.Instance.Simplex |
| SCons | Proarrow.Category.Bicategory |
| second | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Object.BinaryProduct |
| Setting | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| Simplex | Proarrow.Category.Instance.Simplex |
| singleton | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Double |
| singNat | Proarrow.Category.Instance.Simplex |
| singNat' | Proarrow.Category.Instance.Simplex |
| singObj | Proarrow.Category.Instance.Simplex |
| singPath | Proarrow.Category.Bicategory |
| SList | Proarrow.Category.Monoidal |
| sList | Proarrow.Category.Monoidal |
| SNat | Proarrow.Category.Instance.Simplex |
| Snd | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Product |
| 2 (Type/Class) | Proarrow.Category.Instance.Product |
| snd | Proarrow.Object.BinaryProduct |
| snd' | Proarrow.Object.BinaryProduct |
| SndCat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cat |
| sndP | Proarrow.Profunctor.Product |
| SNil | Proarrow.Category.Bicategory |
| SPath | Proarrow.Category.Bicategory |
| splitFold | |
| 1 (Function) | Proarrow.Category.Monoidal |
| 2 (Function) | Proarrow.Category.Bicategory |
| splitFoldCo | Proarrow.Category.Bicategory.Co |
| splitFoldQ | Proarrow.Category.Double.Quintet |
| SQ | Proarrow.Category.Double |
| Sq | Proarrow.Category.Double, Proarrow.Category.Double, Proarrow.Category.Double.Quintet |
| SQ1 | Proarrow.Category.Double |
| Sq1 | Proarrow.Category.Double, Proarrow.Category.Double, Proarrow.Category.Double.Quintet |
| src | Proarrow.Core, Proarrow.Object, Proarrow |
| SS | Proarrow.Category.Instance.Simplex |
| Star | |
| 1 (Type/Class) | Proarrow.Profunctor.Star |
| 2 (Data Constructor) | Proarrow.Profunctor.Star |
| State | |
| 1 (Type/Class) | Proarrow.Promonad.State |
| 2 (Data Constructor) | Proarrow.Promonad.State |
| Str | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Category.Bicategory |
| Strictified | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Bicategory |
| SUB | |
| 1 (Type/Class) | Proarrow.Category.Instance.Sub |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Sub |
| Sub | |
| 1 (Type/Class) | Proarrow.Category.Instance.Sub |
| 2 (Data Constructor) | Proarrow.Category.Instance.Sub |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Sub |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Sub |
| SUBCAT | |
| 1 (Type/Class) | Proarrow.Category.Instance.Sub |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Sub |
| suc | Proarrow.Category.Instance.Simplex |
| swap | Proarrow.Category.Monoidal |
| swap' | Proarrow.Category.Monoidal |
| swapProd | Proarrow.Object.BinaryProduct |
| SymMonoidal | Proarrow.Category.Monoidal |
| SZ | Proarrow.Category.Instance.Simplex |
| T0 | Proarrow.Category.Bicategory.Terminal |
| T1 | Proarrow.Category.Bicategory.Terminal |
| tabulate | Proarrow.Profunctor.Representable |
| Tambara | Proarrow.Category.Monoidal.Optic |
| tambara | Proarrow.Category.Monoidal.Optic |
| TensorIsProduct | Proarrow.Object.BinaryProduct |
| Terminal | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Terminal |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Terminal |
| TerminalLimit | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Data Constructor) | Proarrow.Category.Limit |
| TerminalObject | Proarrow.Object.Terminal |
| TerminalProfunctor | |
| 1 (Type/Class) | Proarrow.Profunctor.Terminal |
| 2 (Data Constructor) | Proarrow.Profunctor.Terminal |
| TerminalProfunctor' | Proarrow.Profunctor.Terminal |
| Terminate | |
| 1 (Type/Class) | Proarrow.Category.Instance.Cat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Cat |
| terminate | Proarrow.Object.Terminal |
| terminate' | Proarrow.Object.Terminal |
| TERMK | Proarrow.Category.Bicategory.Terminal |
| tgt | Proarrow.Core, Proarrow.Object, Proarrow |
| TK | Proarrow.Category.Bicategory.Terminal |
| toLeft | Proarrow.Category.Double |
| toList | Proarrow.Profunctor.Fix |
| toRight | Proarrow.Category.Double |
| Traversal | Proarrow.Category.Monoidal.Optic |
| traversing | Proarrow.Category.Monoidal.Optic |
| TRU | Proarrow.Category.Instance.Bool |
| Tru | Proarrow.Category.Instance.Bool |
| Type | Proarrow.Category.Instance.Hask |
| U | Proarrow.Category.Instance.Unit |
| UN | Proarrow.Core |
| UnCo | Proarrow.Category.Double |
| uncurry | Proarrow.Object.Exponential |
| uncurry' | Proarrow.Object.Exponential |
| UNIT | Proarrow.Category.Instance.Unit |
| Unit | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Instance.Unit |
| 3 (Data Constructor) | Proarrow.Category.Instance.Unit |
| unit | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Adjunction, Proarrow |
| unitFromStarUnit | Proarrow.Adjunction, Proarrow |
| unitor | Proarrow.Category.Monoidal.Optic |
| unitorInv | Proarrow.Category.Monoidal.Optic |
| unlift2Forget | Proarrow.Category.Instance.Linear |
| unlift2Free | Proarrow.Category.Instance.Linear |
| UnOp | Proarrow.Category.Double |
| unur | Proarrow.Category.Instance.Linear |
| Unweighted | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Type/Class) | Proarrow.Category.Colimit |
| 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 |
| V | Proarrow.Category.Enriched |
| VacuusOb | Proarrow.Object, Proarrow |
| vArr | Proarrow.Category.Double |
| vArr1 | Proarrow.Category.Double |
| Viewing | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| VOID | Proarrow.Category.Instance.Zero |
| voidId | Proarrow.Category.Instance.Zero |
| withAssoc | Proarrow.Category.Bicategory |
| withComOb | Proarrow.Category.Double |
| withConOb | Proarrow.Category.Double |
| withCorepCod | Proarrow.Profunctor.Corepresentable |
| withRepCod | Proarrow.Profunctor.Representable |
| withUnital | Proarrow.Category.Bicategory |
| Writer | |
| 1 (Type/Class) | Proarrow.Promonad.Writer |
| 2 (Data Constructor) | Proarrow.Promonad.Writer |
| X | Proarrow.Category.Instance.Simplex |
| 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 (Data Constructor) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Simplex |
| Zero | Proarrow.Category.Instance.Zero |
| \\ | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| \\\ | Proarrow.Category.Bicategory |
| \\\\ | Proarrow.Category.Double |
| ^. | Proarrow.Category.Monoidal.Optic |
| ^^^ | Proarrow.Object.Exponential |
| |> | Proarrow.Profunctor.Ran |
| || | Proarrow.Object.BinaryCoproduct |
| ||| | |
| 1 (Function) | Proarrow.Category.Double |
| 2 (Function) | Proarrow.Object.BinaryCoproduct |
| ~> | Proarrow.Core, Proarrow.Category, Proarrow, Proarrow |
| ~~> | Proarrow.Object.Exponential |