! | Proarrow.Category.Instance.Nat |
$ | Proarrow.Helper.CCC |
% | Proarrow.Profunctor.Representable |
%% | Proarrow.Profunctor.Corepresentable |
%~ | Proarrow.Category.Monoidal.Optic |
%~> | Proarrow.Category.Enriched |
&& | Proarrow.Object.BinaryProduct |
&&& | Proarrow.Object.BinaryProduct |
* | |
1 (Type/Class) | Proarrow.Helper.CCC |
2 (Type/Class) | Proarrow.Category.Instance.Mat |
** | Proarrow.Category.Monoidal |
*** | Proarrow.Object.BinaryProduct |
+ | |
1 (Type/Class) | Proarrow.Helper.CCC |
2 (Type/Class) | Proarrow.Category.Instance.Simplex |
3 (Type/Class) | Proarrow.Category.Instance.Mat |
++ | |
1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
2 (Type/Class) | Proarrow.Category.Instance.Kleisli |
+++ | |
1 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
2 (Function) | Proarrow.Object.BinaryCoproduct |
+-> | Proarrow.Core |
. | Proarrow.Core, Proarrow.Promonad |
.? | Proarrow.Category.Monoidal.Optic |
.~ | Proarrow.Category.Monoidal.Optic |
.~> | Proarrow.Functor, Proarrow |
// | Proarrow.Core, Proarrow.Profunctor, Proarrow |
:& | Proarrow.Helper.CCC |
:&&&: | |
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 |
:- | |
1 (Type/Class) | Proarrow.Preorder |
2 (Type/Class) | Proarrow.Category.Instance.Constraint |
:.: | |
1 (Type/Class) | Proarrow.Profunctor.Composition |
2 (Data Constructor) | Proarrow.Profunctor.Composition |
::: | Proarrow.Category.Bicategory.Strictified |
:=> | |
1 (Type/Class) | Proarrow.Preorder.Constraint |
2 (Type/Class) | Proarrow.Category.Instance.Constraint |
:| | Proarrow.Category.Instance.Free |
:~> | Proarrow.Core |
:~>: | |
1 (Type/Class) | Proarrow.Profunctor.Exponential |
2 (Type/Class) | Proarrow.Category.Instance.Nat |
<= | |
1 (Type/Class) | Proarrow.Preorder |
2 (Type/Class) | Proarrow.Category.Instance.Simplex |
<| | |
1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
2 (Type/Class) | Proarrow.Profunctor.Rift |
<~~ | Proarrow.Object.Coexponential |
== | |
1 (Function) | Proarrow.Category.Monoidal.Strictified |
2 (Function) | Proarrow.Category.Bicategory |
=== | |
1 (Function) | Proarrow.Category.Equipment |
2 (Function) | Proarrow.Squares |
?. | Proarrow.Category.Monoidal.Optic |
absurdL | Proarrow.Category.Instance.Fin |
absurdR | Proarrow.Category.Instance.Fin |
Act | Proarrow.Category.Monoidal.Action |
act | Proarrow.Category.Monoidal.Action |
action | Proarrow.Monoid |
ActIsCoprod | Proarrow.Object.BinaryCoproduct |
ActIsProd | Proarrow.Object.BinaryProduct |
add | Proarrow.Category.Instance.Kleisli |
Adjunction | |
1 (Type/Class) | Proarrow.Category.Bicategory |
2 (Type/Class) | Proarrow.Adjunction, Proarrow |
adjVK | Proarrow.Category.Equipment |
Algebra | Proarrow.Category.Monoidal.Optic |
algebra | Proarrow.Category.Monoidal.Optic |
AlgebraicLens | Proarrow.Category.Monoidal.Optic |
alt | Proarrow.Category.Monoidal.Applicative |
Alternative | Proarrow.Category.Monoidal.Applicative |
ana | Proarrow.Profunctor.Fix |
Any | Proarrow.Core |
anyArr | Proarrow.Preorder.ThinCategory |
Ap | Proarrow.Profunctor.Free |
ap | Proarrow.Object.Exponential |
append | |
1 (Function) | Proarrow.Category.Bicategory.Strictified |
2 (Function) | Proarrow.Category.Instance.Mat |
appendObj | Proarrow.Category.Bicategory |
Applicative | Proarrow.Category.Monoidal.Applicative |
apply | Proarrow.Category.Instance.Mat |
Arr | Proarrow.Category.Enriched |
arr | |
1 (Function) | Proarrow.Core |
2 (Function) | Proarrow.Preorder.ThinCategory |
3 (Function) | Proarrow.Category.Instance.Kleisli |
arrCoprod | Proarrow.Category.Instance.Collage |
asObj | |
1 (Function) | Proarrow.Category.Monoidal.Strictified |
2 (Function) | Proarrow.Category.Bicategory.Strictified |
Assoc | |
1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
2 (Type/Class) | Proarrow.Category.Instance.List |
3 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
associator | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
associator' | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
3 (Function) | Proarrow.Category.Instance.Simplex |
associatorInv | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
associatorInv' | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
3 (Function) | Proarrow.Category.Instance.Simplex |
associatorProd | Proarrow.Object.BinaryProduct |
associatorProdInv | Proarrow.Object.BinaryProduct |
asSPath | Proarrow.Category.Bicategory.Strictified |
BI | Proarrow.Core |
Bicategory | Proarrow.Category.Bicategory |
BiCCC | Proarrow.Object.Exponential |
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 |
bipara | Proarrow.Category.Equipment.Quintet |
BIPARAK | Proarrow.Category.Enriched.Bipara |
BiParaSq | Proarrow.Category.Equipment.Quintet |
BiSimplex | Proarrow.Category.Instance.Simplex |
bisimplex | Proarrow.Category.Instance.Simplex |
BOOL | Proarrow.Category.Instance.Bool |
boolArr | Proarrow.Category.Instance.Bool |
Booleans | Proarrow.Category.Instance.Bool |
boolId | Proarrow.Category.Instance.Bool |
Bottom | |
1 (Type/Class) | Proarrow.Category.Instance.Zero |
2 (Type/Class) | Proarrow.Object.Dual |
bottomObj | Proarrow.Object.Dual |
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 |
CATK | Proarrow.Category.Enriched |
CCC | Proarrow.Object.Exponential |
ccomp | Proarrow.Preorder |
cdimap | Proarrow.Preorder |
cdimapDefault | Proarrow.Preorder |
CF | Proarrow.Category.Bicategory.Prof |
choose | Proarrow.Category.Limit |
cid | Proarrow.Preorder |
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 |
3 (Data Constructor) | Proarrow.Profunctor.Star |
COb | Proarrow.Preorder |
Cocartesian | Proarrow.Object.BinaryCoproduct |
CoCCC | Proarrow.Object.Coexponential |
cochoose | Proarrow.Category.Colimit |
Coclosed | Proarrow.Object.Coexponential |
codiag | Proarrow.Object.BinaryCoproduct |
Codiscrete | Proarrow.Preorder.ThinCategory |
coeval | Proarrow.Object.Coexponential |
coeval' | Proarrow.Object.Coexponential |
coevalUniv | Proarrow.Object.Coexponential |
coevalUniv' | Proarrow.Object.Coexponential |
Cofree | Proarrow.Profunctor.Cofree |
CofreeSub | |
1 (Type/Class) | Proarrow.Profunctor.Cofree |
2 (Data Constructor) | Proarrow.Profunctor.Cofree |
coindex | Proarrow.Profunctor.Corepresentable |
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 |
colimitUniv | |
1 (Function) | Proarrow.Category.Equipment.Limit |
2 (Function) | Proarrow.Category.Colimit |
COLLAGE | Proarrow.Category.Instance.Collage, Proarrow.Category.Instance.Coproduct |
Collage | Proarrow.Category.Instance.Collage |
combineDual | Proarrow.Object.Dual |
combineDual' | Proarrow.Object.Dual |
ComConAdjunction | Proarrow.Category.Equipment |
comConCounit | Proarrow.Category.Equipment |
comConUnit | Proarrow.Category.Equipment |
Comonad | Proarrow.Category.Bicategory |
Comonoid | Proarrow.Monoid |
ComonoidAsCat | |
1 (Type/Class) | Proarrow.Category.Instance.Nat |
2 (Data Constructor) | Proarrow.Category.Instance.Nat |
Comp | Proarrow.Profunctor.Free |
comp | Proarrow.Object.Exponential |
CompactClosed | Proarrow.Object.Dual |
compactClosedTrace | Proarrow.Object.Dual |
Companion | Proarrow.Category.Equipment |
companionFold | Proarrow.Category.Equipment |
compFromCompose | Proarrow.Category.Equipment |
compFromId | Proarrow.Category.Equipment |
compId | |
1 (Function) | Proarrow.Category.Equipment |
2 (Function) | Proarrow.Squares |
composeActs | Proarrow.Category.Monoidal.Action |
composeCostar | Proarrow.Profunctor.Costar |
composeRan | Proarrow.Category.Bicategory.Kan |
composeRift | Proarrow.Category.Bicategory.Kan |
composeStar | Proarrow.Profunctor.Star |
compToCompose | Proarrow.Category.Equipment |
compToId | Proarrow.Category.Equipment |
comult | Proarrow.Monoid |
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.Category.Monoidal.Strictified |
2 (Data Constructor) | Proarrow.Category.Instance.List |
3 (Data Constructor) | Proarrow.Profunctor.Fix |
4 (Data Constructor) | Proarrow.Category.Instance.Mat |
5 (Data Constructor) | Proarrow.Profunctor.Free |
CONSTRAINT | Proarrow.Category.Instance.Constraint |
copar | Proarrow.Category.Monoidal.Distributive |
copar0 | Proarrow.Category.Monoidal.Distributive |
COPR | Proarrow.Object.BinaryCoproduct |
COPROD | Proarrow.Object.BinaryCoproduct |
Coprod | |
1 (Type/Class) | Proarrow.Object.BinaryCoproduct |
2 (Data Constructor) | Proarrow.Object.BinaryCoproduct |
CoprodDom | Proarrow.Profunctor.Star |
COPRODUCT | Proarrow.Category.Instance.Coproduct |
coproduct | Proarrow.Profunctor.Coproduct |
CoproductColimit | |
1 (Type/Class) | Proarrow.Category.Colimit |
2 (Data Constructor) | Proarrow.Category.Colimit |
copy | Proarrow.Category.Instance.Kleisli |
Corep | |
1 (Type/Class) | Proarrow.Profunctor.Corepresentable |
2 (Data Constructor) | Proarrow.Profunctor.Corepresentable |
corepMap | Proarrow.Profunctor.Corepresentable |
Corepresentable | Proarrow.Profunctor.Corepresentable |
CorepStar | |
1 (Type/Class) | Proarrow.Profunctor.Representable |
2 (Data Constructor) | Proarrow.Profunctor.Representable |
Costar | |
1 (Type/Class) | Proarrow.Profunctor.Costar |
2 (Data Constructor) | Proarrow.Profunctor.Costar |
cotabulate | Proarrow.Profunctor.Corepresentable |
cotabulatorFactorize | Proarrow.Category.Bicategory.Prof |
CotabulatorFactorizer | Proarrow.Category.Bicategory.Prof |
counit | |
1 (Function) | Proarrow.Category.Bicategory |
2 (Function) | Proarrow.Monoid |
3 (Function) | Proarrow.Adjunction, Proarrow |
4 (Function) | Proarrow.Squares.Limit |
counitFromRepCounit | Proarrow.Adjunction, Proarrow |
Coyoneda | |
1 (Type/Class) | Proarrow.Profunctor.Coyoneda |
2 (Data Constructor) | Proarrow.Profunctor.Coyoneda |
coyoneda | Proarrow.Profunctor.Coyoneda |
CProfunctor | Proarrow.Preorder |
CPromonad | Proarrow.Preorder |
Curry | |
1 (Type/Class) | Proarrow.Category.Instance.Cat |
2 (Data Constructor) | Proarrow.Category.Instance.Cat |
curry | Proarrow.Object.Exponential |
curry' | Proarrow.Object.Exponential |
D | Proarrow.Preorder.Discrete |
Dagger | Proarrow.Category.Dagger |
dagger | Proarrow.Category.Dagger |
DaggerProfunctor | Proarrow.Category.Dagger |
Day | |
1 (Type/Class) | Proarrow.Profunctor.Day |
2 (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 |
decomposeActs | Proarrow.Category.Monoidal.Action |
delta | Proarrow.Category.Bicategory |
diag | Proarrow.Object.BinaryProduct |
Dict | |
1 (Type/Class) | Proarrow.Preorder |
2 (Data Constructor) | Proarrow.Preorder |
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.Category.Instance.Kleisli |
DISCRETE | Proarrow.Preorder.Discrete |
Discrete | Proarrow.Preorder.ThinCategory |
DiscreteK | Proarrow.Category.Bicategory.Bidiscrete |
dist | Proarrow.Category.Instance.Kleisli |
distL | Proarrow.Category.Monoidal.Distributive |
distL0 | Proarrow.Category.Monoidal.Distributive |
distR | Proarrow.Category.Monoidal.Distributive |
distR0 | Proarrow.Category.Monoidal.Distributive |
DistribDual | |
1 (Type/Class) | Proarrow.Category.Instance.Cat |
2 (Data Constructor) | Proarrow.Category.Instance.Cat |
distribDual | Proarrow.Object.Dual |
distribDual' | Proarrow.Object.Dual |
Distributive | Proarrow.Category.Monoidal.Distributive |
DistributiveProfunctor | Proarrow.Category.Monoidal.Distributive |
DK | Proarrow.Category.Bicategory.Bidiscrete |
DoubleNeg | |
1 (Type/Class) | Proarrow.Category.Instance.Cat |
2 (Data Constructor) | Proarrow.Category.Instance.Cat |
doubleNeg | Proarrow.Object.Dual |
doubleNeg' | Proarrow.Object.Dual |
doubleNegInv' | Proarrow.Object.Dual |
DUAL | |
1 (Type/Class) | Proarrow.Category.Instance.Cat |
2 (Type/Class) | Proarrow.Category.Instance.Kleisli |
Dual | |
1 (Type/Class) | Proarrow.Object.Dual |
2 (Type/Class) | Proarrow.Category.Instance.Cat |
dual | |
1 (Function) | Proarrow.Object.Dual |
2 (Function) | Proarrow.Category.Instance.Kleisli |
dual' | Proarrow.Object.Dual |
dualityCounit | Proarrow.Object.Dual |
dualityCounit' | Proarrow.Object.Dual |
dualityUnit | Proarrow.Object.Dual |
dualityUnit' | Proarrow.Object.Dual |
duoidal | Proarrow.Profunctor.Day |
duplicate | Proarrow.Promonad |
E | Proarrow.Category.Monoidal.Endo |
ECategory | Proarrow.Category.Enriched |
ecomp | Proarrow.Category.Enriched |
Eff | Proarrow.Profunctor.Free |
eid | Proarrow.Category.Enriched |
either | Proarrow.Helper.CCC |
El | Proarrow.Object.Terminal |
elimI | Proarrow.Category.Bicategory.Strictified |
elimO | Proarrow.Category.Bicategory.Strictified |
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 | |
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 |
entails | Proarrow.Preorder.Constraint |
EOb | Proarrow.Category.Enriched |
epsilon | Proarrow.Category.Bicategory |
Equipment | Proarrow.Category.Equipment |
eta | Proarrow.Category.Bicategory |
eval | Proarrow.Object.Exponential |
eval' | Proarrow.Object.Exponential |
ex2prof | Proarrow.Category.Monoidal.Optic |
Exp | |
1 (Data Constructor) | Proarrow.Profunctor.Exponential |
2 (Data Constructor) | Proarrow.Category.Instance.Nat |
ExponentialFunctor | |
1 (Type/Class) | Proarrow.Object.Exponential |
2 (Data Constructor) | Proarrow.Object.Exponential |
extract | Proarrow.Promonad |
F | |
1 (Data Constructor) | Proarrow.Category.Instance.Free |
2 (Data Constructor) | Proarrow.Helper.CCC |
F2T | Proarrow.Category.Instance.Bool |
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 |
finId | Proarrow.Category.Instance.Fin |
first | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Object.BinaryProduct |
first' | Proarrow.Object.BinaryProduct |
Fix | Proarrow.Profunctor.Fix |
FK | Proarrow.Helper.CCC |
flipCompanion | Proarrow.Category.Equipment |
flipCompanionInv | Proarrow.Category.Equipment |
flipConjoint | Proarrow.Category.Equipment |
flipConjointInv | Proarrow.Category.Equipment |
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 |
Fold | |
1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
2 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
fold | |
1 (Function) | Proarrow.Category.Monoidal.Strictified |
2 (Function) | Proarrow.Category.Bicategory.Strictified |
foldCompanion | Proarrow.Category.Equipment |
Forget | |
1 (Type/Class) | Proarrow.Profunctor.Forget |
2 (Data Constructor) | Proarrow.Profunctor.Forget |
3 (Type/Class) | Proarrow.Category.Instance.Simplex |
4 (Data Constructor) | Proarrow.Category.Instance.Simplex |
5 (Type/Class) | Proarrow.Category.Instance.Linear |
6 (Data Constructor) | Proarrow.Category.Instance.Linear |
FREE | Proarrow.Category.Instance.Free |
Free | |
1 (Type/Class) | Proarrow.Category.Instance.Free |
2 (Type/Class) | Proarrow.Profunctor.Free |
3 (Type/Class) | Proarrow.Category.Instance.Linear |
4 (Data Constructor) | Proarrow.Category.Instance.Linear |
FreeCCC | Proarrow.Helper.CCC |
FreeId | Proarrow.Category.Instance.Free |
FreeMonoid | Proarrow.Profunctor.Free |
FreeMonoidF | Proarrow.Profunctor.Free |
FreeMonoidIsMonoid | Proarrow.Profunctor.Free |
FreePromonad | Proarrow.Profunctor.Free |
FreeSub | |
1 (Type/Class) | Proarrow.Profunctor.Free |
2 (Data Constructor) | Proarrow.Profunctor.Free |
fromLeft | |
1 (Function) | Proarrow.Category.Equipment |
2 (Function) | Proarrow.Squares |
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 |
FS | Proarrow.Category.Instance.Fin |
Fs | Proarrow.Category.Instance.Simplex |
Fst | |
1 (Type/Class) | Proarrow.Category.Instance.Product |
2 (Type/Class) | Proarrow.Category.Bicategory.Product |
fst | |
1 (Function) | Proarrow.Category.Bicategory.Product |
2 (Function) | 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 |
FUN | Proarrow.Category.Bicategory.Prof |
Functor | Proarrow.Functor, Proarrow |
FUNK | Proarrow.Category.Bicategory.Prof |
FZ | Proarrow.Category.Instance.Fin |
Fz | Proarrow.Category.Instance.Simplex |
GenElt | |
1 (Type/Class) | Proarrow.Monoid |
2 (Data Constructor) | Proarrow.Monoid |
getCorep | Proarrow.Profunctor.Corepresentable |
hArr | |
1 (Function) | Proarrow.Category.Equipment |
2 (Function) | Proarrow.Squares |
HasArrow | Proarrow.Preorder.ThinCategory |
HasArrow' | Proarrow.Preorder.ThinCategory |
HasArrowCollage | Proarrow.Category.Instance.Collage |
HasBinaryCoproducts | Proarrow.Object.BinaryCoproduct |
HasBinaryProducts | Proarrow.Object.BinaryProduct |
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 |
HasFree | Proarrow.Profunctor.Free |
HasFreeK | Proarrow.Profunctor.Free |
HasInitialObject | Proarrow.Object.Initial |
Hask | Proarrow.Category.Instance.Hask |
HaskLan | Proarrow.Category.Instance.Nat |
HaskRan | Proarrow.Category.Instance.Nat |
HasLimits | |
1 (Type/Class) | Proarrow.Category.Equipment.Limit |
2 (Type/Class) | Proarrow.Category.Limit |
HasProducts | Proarrow.Object.BinaryProduct |
HasTerminalObject | Proarrow.Object.Terminal |
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 (Data Constructor) | Proarrow.Category.Bicategory.Hom |
HomK | Proarrow.Category.Bicategory.Hom |
HomW | |
1 (Type/Class) | Proarrow.Category.Bicategory.Hom |
2 (Data Constructor) | Proarrow.Category.Bicategory.Hom |
hylo | Proarrow.Profunctor.Fix |
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 |
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 |
InitF | Proarrow.Helper.CCC |
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.Profunctor.Coproduct |
2 (Type/Class) | Proarrow.Category.Instance.Collage |
3 (Data Constructor) | Proarrow.Category.Instance.Collage |
4 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
InjR | |
1 (Data Constructor) | Proarrow.Profunctor.Coproduct |
2 (Type/Class) | Proarrow.Category.Instance.Collage |
3 (Data Constructor) | Proarrow.Category.Instance.Collage |
4 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
InL | Proarrow.Category.Instance.Collage |
InR | Proarrow.Category.Instance.Collage |
introI | Proarrow.Category.Bicategory.Strictified |
introO | Proarrow.Category.Bicategory.Strictified |
iObj | Proarrow.Category.Bicategory |
Is | Proarrow.Core |
IsBool | Proarrow.Category.Instance.Bool |
IsBoolArr | Proarrow.Category.Instance.Bool |
isCotabulator | Proarrow.Category.Bicategory.Prof |
IsFin | Proarrow.Category.Instance.Fin |
IsFunctorial | Proarrow.Category.Bicategory.Prof |
IsList | |
1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
2 (Type/Class) | Proarrow.Category.Instance.List |
IsLR | Proarrow.Category.Instance.Collage |
IsLTE | Proarrow.Category.Instance.Fin |
IsNat | |
1 (Type/Class) | Proarrow.Category.Instance.Simplex |
2 (Type/Class) | Proarrow.Category.Instance.Mat |
IsOb | Proarrow.Category.Bicategory.Sub |
IsObI | Proarrow.Category.Bicategory.Sub |
IsObMult | Proarrow.Category.Instance.Sub |
IsObO | Proarrow.Category.Bicategory.Sub |
isObPar | Proarrow.Category.Monoidal |
IsOptic | Proarrow.Category.Monoidal.Optic |
IsPath | Proarrow.Category.Bicategory.Strictified |
IsPosetOf | Proarrow.Preorder |
IsRepresentableColimit | Proarrow.Category.Colimit |
IsRepresentableLimit | Proarrow.Category.Limit |
IsSimplex | Proarrow.Category.Instance.Simplex |
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 (Type/Class) | Proarrow.Category.Instance.Collage, Proarrow.Category.Instance.Coproduct |
3 (Type/Class) | Proarrow.Category.Instance.Linear |
L2R | Proarrow.Category.Instance.Collage |
lam | Proarrow.Helper.CCC |
Lan | |
1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
2 (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 |
laxComp | Proarrow.Category.Bicategory.Prof |
laxId | Proarrow.Category.Bicategory.Prof |
LaxProfunctor | Proarrow.Category.Bicategory.Prof |
LCat | Proarrow.Category.Monoidal.Optic |
left | |
1 (Function) | Proarrow.Object.BinaryCoproduct |
2 (Function) | Proarrow.Helper.CCC |
left' | Proarrow.Object.BinaryCoproduct |
leftAction | Proarrow.Category.Bicategory |
leftAdjointPreservesColimits | Proarrow.Category.Colimit |
leftAdjointPreservesColimitsInv | Proarrow.Category.Colimit |
leftAdjunct | |
1 (Function) | Proarrow.Category.Bicategory |
2 (Function) | Proarrow.Adjunction, Proarrow |
LeftKanExtension | Proarrow.Category.Bicategory.Kan |
LeftKanLift | Proarrow.Category.Bicategory.Kan |
leftUnitor | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
leftUnitor' | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
leftUnitorInv | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
leftUnitorInv' | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
leftUnitorInvWith | Proarrow.Category.Bicategory |
leftUnitorProd | Proarrow.Object.BinaryProduct |
leftUnitorProdInv | Proarrow.Object.BinaryProduct |
leftUnitorWith | Proarrow.Category.Bicategory |
Lens | Proarrow.Category.Monoidal.Optic |
lft | Proarrow.Object.BinaryCoproduct |
lft' | Proarrow.Object.BinaryCoproduct |
Lift | |
1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
2 (Type/Class) | Proarrow.Profunctor.Free |
lift | |
1 (Function) | Proarrow.Category.Bicategory.Kan |
2 (Function) | Proarrow.Helper.CCC |
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 |
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 |
limitObj | Proarrow.Category.Equipment.Limit |
limitUniv | |
1 (Function) | Proarrow.Category.Equipment.Limit |
2 (Function) | Proarrow.Category.Limit |
3 (Function) | Proarrow.Squares.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 | Proarrow.Category.Instance.List |
ListF | Proarrow.Profunctor.Fix |
listId | Proarrow.Category.Instance.List |
lmap | Proarrow.Core, Proarrow.Profunctor, Proarrow |
lower | |
1 (Function) | Proarrow.Object.Exponential |
2 (Function) | Proarrow.Profunctor.Cofree |
lower' | Proarrow.Profunctor.Cofree |
lrId | Proarrow.Category.Instance.Collage |
LT | Proarrow.Category.Instance.Simplex |
LTE | Proarrow.Category.Instance.Fin |
lte | Proarrow.Category.Instance.Fin |
M | Proarrow.Category.Instance.Mat |
map | Proarrow.Functor, Proarrow |
mapCompanion | Proarrow.Category.Equipment |
mapCompanionSPath | Proarrow.Category.Equipment |
mapConjoint | Proarrow.Category.Equipment |
mapConjointSPath | Proarrow.Category.Equipment |
mapLan | Proarrow.Category.Bicategory.Kan |
mapLift | Proarrow.Category.Bicategory.Kan |
mappend | Proarrow.Monoid |
mappendAct | Proarrow.Monoid |
mapRan | Proarrow.Category.Bicategory.Kan |
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 |
MDK | Proarrow.Category.Enriched |
mempty | Proarrow.Monoid |
memptyAct | Proarrow.Monoid |
MixedOptic | Proarrow.Category.Monoidal.Optic |
MK | Proarrow.Category.Bicategory.MonoidalAsBi |
mkAlgebraicLens | Proarrow.Category.Monoidal.Optic |
mkCons | Proarrow.Category.Instance.List |
mkEndo | Proarrow.Category.Monoidal.Endo |
mkExponential | Proarrow.Object.Exponential |
mkLens | Proarrow.Category.Monoidal.Optic |
mkPrism | Proarrow.Category.Monoidal.Optic |
mkYoneda | Proarrow.Profunctor.Yoneda |
ModuleObject | Proarrow.Monoid |
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.Action |
MonoidalProfunctor | Proarrow.Category.Monoidal |
mu | Proarrow.Category.Bicategory |
multDayExp | Proarrow.Profunctor.Day |
multiplicator | Proarrow.Category.Monoidal.Action |
multiplicatorInv | Proarrow.Category.Monoidal.Action |
mupdate | Proarrow.Category.Monoidal.Optic |
NAT | Proarrow.Category.Instance.Fin |
Nat | |
1 (Type/Class) | Proarrow.Category.Instance.Simplex |
2 (Type/Class) | Proarrow.Category.Instance.Nat |
3 (Data Constructor) | Proarrow.Category.Instance.Nat |
4 (Type/Class) | Proarrow.Category.Instance.Mat |
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.Strictified |
2 (Data Constructor) | Proarrow.Category.Instance.List |
3 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
4 (Data Constructor) | Proarrow.Profunctor.Fix |
5 (Data Constructor) | Proarrow.Category.Instance.Mat |
6 (Data Constructor) | Proarrow.Profunctor.Free |
no | Proarrow.Category.Instance.Zero |
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 |
object | |
1 (Function) | Proarrow.Category.Equipment |
2 (Function) | Proarrow.Squares |
Objs | Proarrow.Object, Proarrow |
ObLift | Proarrow.Profunctor.Free |
ObLiftRetract | Proarrow.Profunctor.Free |
ObRetract | Proarrow.Profunctor.Free |
obs | Proarrow.Preorder |
On | Proarrow.Category.Instance.Sub |
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 |
OpticCat | |
1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
out | Proarrow.Profunctor.Fix |
P | |
1 (Data Constructor) | Proarrow.Category.Instance.PointedHask |
2 (Type/Class) | Proarrow.Category.Instance.PointedHask |
3 (Type/Class) | Proarrow.Category.Bicategory.Prof, Proarrow.Category.Bicategory.Hom |
par | Proarrow.Category.Monoidal |
par0 | Proarrow.Category.Monoidal |
parallel | Proarrow.Category.Monoidal.Optic |
Path | Proarrow.Category.Bicategory.Strictified |
PC | Proarrow.Category.Instance.PreorderAsCategory |
PK | Proarrow.Category.Bicategory.Prof |
PLAIN | Proarrow.Category.Bicategory.CategoryAsBi |
PLAINK | Proarrow.Category.Bicategory.CategoryAsBi |
PoAsCat | |
1 (Type/Class) | Proarrow.Category.Instance.PreorderAsCategory |
2 (Data Constructor) | Proarrow.Category.Instance.PreorderAsCategory |
POCATK | Proarrow.Category.Instance.PreorderAsCategory |
POINTED | Proarrow.Category.Instance.PointedHask |
Pointed | Proarrow.Category.Instance.PointedHask |
POS | Proarrow.Preorder |
PR | Proarrow.Object.BinaryProduct |
Precompose | |
1 (Type/Class) | Proarrow.Profunctor.Ran |
2 (Data Constructor) | Proarrow.Profunctor.Ran |
Prelude | |
1 (Type/Class) | Proarrow.Functor, Proarrow |
2 (Data Constructor) | Proarrow.Functor, Proarrow |
PreorderOf | Proarrow.Preorder |
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 |
Procomonad | Proarrow.Promonad |
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 |
PROFK | Proarrow.Category.Bicategory.Prof |
ProfOptic | Proarrow.Category.Monoidal.Optic |
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 |
Pure | Proarrow.Profunctor.Free |
pure | Proarrow.Category.Monoidal.Applicative |
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 |
QuintetSq | Proarrow.Category.Equipment.Quintet |
R | |
1 (Type/Class) | Proarrow.Category.Monoidal.Rev |
2 (Type/Class) | Proarrow.Category.Instance.Collage, Proarrow.Category.Instance.Coproduct |
Ran | |
1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
2 (Data Constructor) | Proarrow.Category.Instance.Nat |
3 (Type/Class) | Proarrow.Profunctor.Ran |
4 (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 |
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 |
reparam | Proarrow.Category.Equipment.Quintet |
RepCostar | |
1 (Type/Class) | Proarrow.Profunctor.Representable |
2 (Data Constructor) | Proarrow.Profunctor.Representable |
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 |
RepStar | |
1 (Type/Class) | Proarrow.Profunctor.Representable |
2 (Data Constructor) | Proarrow.Profunctor.Representable |
Retract | Proarrow.Profunctor.Free |
retract | 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 |
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 |
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 | |
1 (Function) | Proarrow.Object.BinaryCoproduct |
2 (Function) | Proarrow.Helper.CCC |
right' | Proarrow.Object.BinaryCoproduct |
rightAction | Proarrow.Category.Bicategory |
rightAdjointPreservesLimits | |
1 (Function) | Proarrow.Category.Limit |
2 (Function) | Proarrow.Squares.Limit |
rightAdjointPreservesLimitsInv | |
1 (Function) | Proarrow.Category.Equipment.Limit |
2 (Function) | Proarrow.Category.Limit |
3 (Function) | Proarrow.Squares.Limit |
rightAdjunct | |
1 (Function) | Proarrow.Category.Bicategory |
2 (Function) | 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' | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
rightUnitorInv | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
rightUnitorInv' | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Category.Bicategory |
rightUnitorInvWith | Proarrow.Category.Bicategory |
rightUnitorProd | Proarrow.Object.BinaryProduct |
rightUnitorProdInv | Proarrow.Object.BinaryProduct |
rightUnitorWith | Proarrow.Category.Bicategory |
rmap | Proarrow.Core, Proarrow.Profunctor, Proarrow |
runKleisli | Proarrow.Category.Instance.Kleisli |
runRan | |
1 (Function) | Proarrow.Category.Instance.Nat |
2 (Function) | Proarrow.Profunctor.Ran |
runRift | Proarrow.Profunctor.Rift |
S | |
1 (Type/Class) | Proarrow.Category.Instance.Simplex |
2 (Type/Class) | Proarrow.Category.Instance.Mat |
3 (Type/Class) | Proarrow.Category.Instance.Fin |
SCons | Proarrow.Category.Bicategory.Strictified |
second | |
1 (Function) | Proarrow.Category.Monoidal |
2 (Function) | Proarrow.Object.BinaryProduct |
second' | Proarrow.Object.BinaryProduct |
section | Proarrow.Profunctor.Cofree |
section' | Proarrow.Profunctor.Cofree |
Setting | |
1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
Simplex | Proarrow.Category.Instance.Simplex |
SimplexI | Proarrow.Category.Instance.Simplex |
SimplexO | Proarrow.Category.Instance.Simplex |
singleton | |
1 (Function) | Proarrow.Category.Monoidal.Strictified |
2 (Function) | Proarrow.Category.Bicategory.Strictified |
singNat | Proarrow.Category.Instance.Simplex |
singNat' | Proarrow.Category.Instance.Simplex |
singObj | 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.Instance.Product |
2 (Type/Class) | Proarrow.Category.Bicategory.Product |
snd | |
1 (Function) | Proarrow.Category.Bicategory.Product |
2 (Function) | 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.Strictified |
SPath | Proarrow.Category.Bicategory.Strictified |
split | 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 | Proarrow.Category.Instance.Simplex |
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.Monoidal.Strictified |
2 (Data Constructor) | Proarrow.Category.Bicategory.Strictified |
str | 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 |
StrongProd | Proarrow.Object.BinaryProduct |
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 (Data Constructor) | Proarrow.Preorder |
4 (Type/Class) | Proarrow.Category.Instance.Sub |
5 (Data Constructor) | Proarrow.Category.Instance.Sub |
SUBCAT | |
1 (Type/Class) | Proarrow.Category.Bicategory.Sub |
2 (Type/Class) | Proarrow.Category.Instance.Sub |
suc | Proarrow.Category.Instance.Simplex |
Swap | |
1 (Type/Class) | Proarrow.Category.Instance.Cat |
2 (Data Constructor) | Proarrow.Category.Instance.Cat |
swap | Proarrow.Category.Monoidal |
swap' | Proarrow.Category.Monoidal |
swapCoprod | Proarrow.Object.BinaryCoproduct |
swapCoprod' | Proarrow.Object.BinaryCoproduct |
swapInner | Proarrow.Category.Monoidal |
swapInner' | Proarrow.Category.Monoidal |
swapProd | Proarrow.Object.BinaryProduct |
swapProd' | Proarrow.Object.BinaryProduct |
SymMonoidal | Proarrow.Category.Monoidal |
SZ | Proarrow.Category.Instance.Simplex |
T | Proarrow.Preorder.ThinCategory |
tabulate | Proarrow.Profunctor.Representable |
TensorIsCoproduct | Proarrow.Object.BinaryCoproduct |
TensorIsProduct | Proarrow.Object.BinaryProduct |
TermF | Proarrow.Helper.CCC |
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 |
tgt | Proarrow.Core, Proarrow.Object, Proarrow |
That | Proarrow.Category.Instance.PointedHask |
These | |
1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
2 (Data Constructor) | Proarrow.Category.Instance.PointedHask |
THIN | Proarrow.Preorder.ThinCategory |
Thin | Proarrow.Preorder.ThinCategory |
ThinCategory | Proarrow.Preorder.ThinCategory |
ThinProfunctor | Proarrow.Preorder.ThinCategory |
This | Proarrow.Category.Instance.PointedHask |
toCCC | Proarrow.Helper.CCC |
toLeft | |
1 (Function) | Proarrow.Category.Equipment |
2 (Function) | Proarrow.Squares |
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 |
trace | Proarrow.Category.Monoidal |
trace' | Proarrow.Category.Monoidal |
TracedMonoidal | Proarrow.Category.Monoidal |
TracedMonoidalProfunctor | Proarrow.Category.Monoidal |
Traversal | Proarrow.Category.Monoidal.Optic |
traversing | Proarrow.Category.Monoidal.Optic |
travList | Proarrow.Category.Monoidal.Distributive |
TRU | Proarrow.Category.Instance.Bool |
Tru | Proarrow.Category.Instance.Bool |
Type | Proarrow.Category.Instance.Hask |
UN | Proarrow.Core |
unClassify | Proarrow.Category.Monoidal.Optic |
unCo | Proarrow.Profunctor.Star |
unConcatMap | Proarrow.Category.Instance.Mat |
unCoprod | Proarrow.Object.BinaryCoproduct |
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 |
uncurry' | Proarrow.Object.Exponential |
UNDUAL | Proarrow.Category.Instance.Kleisli |
unEnd | Proarrow.Category.Limit |
unEntails | Proarrow.Category.Instance.Constraint |
unForget | Proarrow.Category.Instance.Simplex |
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.Adjunction, Proarrow |
3 (Function) | Proarrow.Squares.Limit |
unit' | Proarrow.Adjunction, Proarrow |
unitFromRepUnit | Proarrow.Adjunction, Proarrow |
unitObj | Proarrow.Category.Monoidal |
unitor | Proarrow.Category.Monoidal.Action |
unitorInv | Proarrow.Category.Monoidal.Action |
unNat | Proarrow.Category.Instance.Nat |
unNat' | Proarrow.Category.Instance.Nat |
unOp | Proarrow.Category.Opposite |
unPrecompose | Proarrow.Profunctor.Ran |
unPrelude | Proarrow.Functor, Proarrow |
unPreview | Proarrow.Category.Monoidal.Optic |
unProd | Proarrow.Object.BinaryProduct |
unProf | Proarrow.Category.Instance.Prof |
unRan | Proarrow.Profunctor.Ran |
unReader | Proarrow.Promonad.Reader |
unRepCostar | Proarrow.Profunctor.Representable |
unReplace | Proarrow.Category.Monoidal.Optic |
unRepStar | Proarrow.Profunctor.Representable |
unRift | Proarrow.Profunctor.Rift |
unSet | Proarrow.Category.Monoidal.Optic |
unStar | Proarrow.Profunctor.Star |
unStr | Proarrow.Category.Bicategory.Strictified |
unSub | Proarrow.Category.Instance.Sub |
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 |
unWriter | Proarrow.Promonad.Writer |
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 |
V | Proarrow.Category.Enriched |
VacuusOb | Proarrow.Object, Proarrow |
vArr | |
1 (Function) | Proarrow.Category.Equipment |
2 (Function) | Proarrow.Squares |
vCombine | 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 |
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.Preorder.ThinCategory |
withAssoc | Proarrow.Category.Bicategory.Strictified |
withAssocMult | Proarrow.Category.Instance.Mat |
withAssocPlus | Proarrow.Category.Instance.Mat |
withCorepObj | Proarrow.Profunctor.Corepresentable |
withDist | Proarrow.Category.Instance.Mat |
withEq | Proarrow.Preorder.ThinCategory |
withIsPath | Proarrow.Category.Bicategory.Strictified |
withMultNat | Proarrow.Category.Instance.Mat |
withMultSucc | Proarrow.Category.Instance.Mat |
withMultSym | Proarrow.Category.Instance.Mat |
withNat | Proarrow.Category.Instance.Mat |
withPlusNat | Proarrow.Category.Instance.Mat |
withPlusSucc | Proarrow.Category.Instance.Mat |
withPlusSym | Proarrow.Category.Instance.Mat |
withRepObj | Proarrow.Profunctor.Representable |
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 | Proarrow.Category.Instance.Simplex |
XXX | 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 |
YYY | Proarrow.Category.Instance.Simplex |
Z | |
1 (Type/Class) | Proarrow.Category.Instance.Simplex |
2 (Type/Class) | Proarrow.Category.Instance.Mat |
3 (Type/Class) | Proarrow.Category.Instance.Fin |
ZEQ | Proarrow.Category.Instance.Fin |
Zero | Proarrow.Category.Instance.Zero |
zero | |
1 (Function) | Proarrow.Category.Instance.Mat |
2 (Function) | Proarrow.Category.Instance.Kleisli |
ZLT | Proarrow.Category.Instance.Fin |
ZZ | Proarrow.Category.Instance.Simplex |
ZZZ | Proarrow.Category.Instance.Simplex |
\\ | |
1 (Function) | Proarrow.Core, Proarrow.Profunctor, Proarrow |
2 (Function) | Proarrow.Preorder |
\\\ | Proarrow.Category.Bicategory |
^. | Proarrow.Category.Monoidal.Optic |
^^^ | Proarrow.Object.Exponential |
|> | |
1 (Type/Class) | Proarrow.Category.Bicategory.Kan |
2 (Type/Class) | Proarrow.Profunctor.Ran |
|| | |
1 (Function) | Proarrow.Category.Monoidal.Strictified |
2 (Function) | Proarrow.Category.Bicategory |
3 (Type/Class) | Proarrow.Object.BinaryCoproduct |
||| | |
1 (Function) | Proarrow.Category.Equipment |
2 (Function) | Proarrow.Object.BinaryCoproduct |
3 (Function) | Proarrow.Squares |
~> | Proarrow.Core, Proarrow.Category, Proarrow, Proarrow |
~~> | Proarrow.Object.Exponential |