proarrow-0: Category theory with a central role for profunctors

Index

!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
absurdLProarrow.Category.Instance.Fin
absurdRProarrow.Category.Instance.Fin
ActProarrow.Category.Monoidal.Action
actProarrow.Category.Monoidal.Action
actionProarrow.Monoid
ActIsCoprodProarrow.Object.BinaryCoproduct
ActIsProdProarrow.Object.BinaryProduct
addProarrow.Category.Instance.Kleisli
Adjunction 
1 (Type/Class)Proarrow.Category.Bicategory
2 (Type/Class)Proarrow.Adjunction, Proarrow
adjVKProarrow.Category.Equipment
AlgebraProarrow.Category.Monoidal.Optic
algebraProarrow.Category.Monoidal.Optic
AlgebraicLensProarrow.Category.Monoidal.Optic
altProarrow.Category.Monoidal.Applicative
AlternativeProarrow.Category.Monoidal.Applicative
anaProarrow.Profunctor.Fix
AnyProarrow.Core
anyArrProarrow.Preorder.ThinCategory
ApProarrow.Profunctor.Free
apProarrow.Object.Exponential
append 
1 (Function)Proarrow.Category.Bicategory.Strictified
2 (Function)Proarrow.Category.Instance.Mat
appendObjProarrow.Category.Bicategory
ApplicativeProarrow.Category.Monoidal.Applicative
applyProarrow.Category.Instance.Mat
ArrProarrow.Category.Enriched
arr 
1 (Function)Proarrow.Core
2 (Function)Proarrow.Preorder.ThinCategory
3 (Function)Proarrow.Category.Instance.Kleisli
arrCoprodProarrow.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
associatorProdProarrow.Object.BinaryProduct
associatorProdInvProarrow.Object.BinaryProduct
asSPathProarrow.Category.Bicategory.Strictified
BIProarrow.Core
BicategoryProarrow.Category.Bicategory
BiCCCProarrow.Object.Exponential
Bidiscrete 
1 (Type/Class)Proarrow.Category.Bicategory.Bidiscrete
2 (Data Constructor)Proarrow.Category.Bicategory.Bidiscrete
bimapCompProarrow.Profunctor.Composition
BimoduleProarrow.Category.Bicategory
BIPARAProarrow.Category.Enriched.Bipara
Bipara 
1 (Type/Class)Proarrow.Category.Enriched.Bipara
2 (Data Constructor)Proarrow.Category.Enriched.Bipara
biparaProarrow.Category.Equipment.Quintet
BIPARAKProarrow.Category.Enriched.Bipara
BiParaSqProarrow.Category.Equipment.Quintet
BiSimplexProarrow.Category.Instance.Simplex
bisimplexProarrow.Category.Instance.Simplex
BOOLProarrow.Category.Instance.Bool
boolArrProarrow.Category.Instance.Bool
BooleansProarrow.Category.Instance.Bool
boolIdProarrow.Category.Instance.Bool
Bottom 
1 (Type/Class)Proarrow.Category.Instance.Zero
2 (Type/Class)Proarrow.Object.Dual
bottomObjProarrow.Object.Dual
CartProarrow.Category.Equipment
CartesianProarrow.Object.BinaryProduct
CATProarrow.Core, Proarrow.Category, Proarrow
Cat 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
cataProarrow.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
CategoryOfProarrow.Core, Proarrow.Category, Proarrow
CATKProarrow.Category.Enriched
CCCProarrow.Object.Exponential
ccompProarrow.Preorder
cdimapProarrow.Preorder
cdimapDefaultProarrow.Preorder
CFProarrow.Category.Bicategory.Prof
chooseProarrow.Category.Limit
cidProarrow.Preorder
CKProarrow.Category.Enriched
Classifying 
1 (Type/Class)Proarrow.Category.Monoidal.Optic
2 (Data Constructor)Proarrow.Category.Monoidal.Optic
ClosedProarrow.Object.Exponential
CNSTRNTProarrow.Category.Instance.Constraint
COProarrow.Category.Bicategory.Co
Co 
1 (Type/Class)Proarrow.Category.Bicategory.Co
2 (Data Constructor)Proarrow.Category.Bicategory.Co
3 (Data Constructor)Proarrow.Profunctor.Star
CObProarrow.Preorder
CocartesianProarrow.Object.BinaryCoproduct
CoCCCProarrow.Object.Coexponential
cochooseProarrow.Category.Colimit
CoclosedProarrow.Object.Coexponential
codiagProarrow.Object.BinaryCoproduct
CodiscreteProarrow.Preorder.ThinCategory
coevalProarrow.Object.Coexponential
coeval'Proarrow.Object.Coexponential
coevalUnivProarrow.Object.Coexponential
coevalUniv'Proarrow.Object.Coexponential
CofreeProarrow.Profunctor.Cofree
CofreeSub 
1 (Type/Class)Proarrow.Profunctor.Cofree
2 (Data Constructor)Proarrow.Profunctor.Cofree
coindexProarrow.Profunctor.Corepresentable
COKProarrow.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
COLLAGEProarrow.Category.Instance.Collage, Proarrow.Category.Instance.Coproduct
CollageProarrow.Category.Instance.Collage
combineDualProarrow.Object.Dual
combineDual'Proarrow.Object.Dual
ComConAdjunctionProarrow.Category.Equipment
comConCounitProarrow.Category.Equipment
comConUnitProarrow.Category.Equipment
ComonadProarrow.Category.Bicategory
ComonoidProarrow.Monoid
ComonoidAsCat 
1 (Type/Class)Proarrow.Category.Instance.Nat
2 (Data Constructor)Proarrow.Category.Instance.Nat
CompProarrow.Profunctor.Free
compProarrow.Object.Exponential
CompactClosedProarrow.Object.Dual
compactClosedTraceProarrow.Object.Dual
CompanionProarrow.Category.Equipment
companionFoldProarrow.Category.Equipment
compFromComposeProarrow.Category.Equipment
compFromIdProarrow.Category.Equipment
compId 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
composeActsProarrow.Category.Monoidal.Action
composeCostarProarrow.Profunctor.Costar
composeRanProarrow.Category.Bicategory.Kan
composeRiftProarrow.Category.Bicategory.Kan
composeStarProarrow.Profunctor.Star
compToComposeProarrow.Category.Equipment
compToIdProarrow.Category.Equipment
comultProarrow.Monoid
concatFold 
1 (Function)Proarrow.Category.Monoidal.Strictified
2 (Function)Proarrow.Category.Bicategory.Strictified
concatMapProarrow.Category.Instance.Mat
conjFromComposeProarrow.Category.Equipment
conjFromIdProarrow.Category.Equipment
conjId 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
ConjointProarrow.Category.Equipment
conjToComposeProarrow.Category.Equipment
conjToIdProarrow.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
CONSTRAINTProarrow.Category.Instance.Constraint
coparProarrow.Category.Monoidal.Distributive
copar0Proarrow.Category.Monoidal.Distributive
COPRProarrow.Object.BinaryCoproduct
COPRODProarrow.Object.BinaryCoproduct
Coprod 
1 (Type/Class)Proarrow.Object.BinaryCoproduct
2 (Data Constructor)Proarrow.Object.BinaryCoproduct
CoprodDomProarrow.Profunctor.Star
COPRODUCTProarrow.Category.Instance.Coproduct
coproductProarrow.Profunctor.Coproduct
CoproductColimit 
1 (Type/Class)Proarrow.Category.Colimit
2 (Data Constructor)Proarrow.Category.Colimit
copyProarrow.Category.Instance.Kleisli
Corep 
1 (Type/Class)Proarrow.Profunctor.Corepresentable
2 (Data Constructor)Proarrow.Profunctor.Corepresentable
corepMapProarrow.Profunctor.Corepresentable
CorepresentableProarrow.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
cotabulateProarrow.Profunctor.Corepresentable
cotabulatorFactorizeProarrow.Category.Bicategory.Prof
CotabulatorFactorizerProarrow.Category.Bicategory.Prof
counit 
1 (Function)Proarrow.Category.Bicategory
2 (Function)Proarrow.Monoid
3 (Function)Proarrow.Adjunction, Proarrow
4 (Function)Proarrow.Squares.Limit
counitFromRepCounitProarrow.Adjunction, Proarrow
Coyoneda 
1 (Type/Class)Proarrow.Profunctor.Coyoneda
2 (Data Constructor)Proarrow.Profunctor.Coyoneda
coyonedaProarrow.Profunctor.Coyoneda
CProfunctorProarrow.Preorder
CPromonadProarrow.Preorder
Curry 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
curryProarrow.Object.Exponential
curry'Proarrow.Object.Exponential
DProarrow.Preorder.Discrete
DaggerProarrow.Category.Dagger
daggerProarrow.Category.Dagger
DaggerProfunctorProarrow.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
decomposeActsProarrow.Category.Monoidal.Action
deltaProarrow.Category.Bicategory
diagProarrow.Object.BinaryProduct
Dict 
1 (Type/Class)Proarrow.Preorder
2 (Data Constructor)Proarrow.Preorder
dimapProarrow.Core, Proarrow.Profunctor, Proarrow
dimapCorepProarrow.Profunctor.Corepresentable
dimapDefaultProarrow.Core, Proarrow.Category, Proarrow
dimapLanProarrow.Category.Bicategory.Kan
dimapLaxProarrow.Category.Bicategory.Prof
dimapLiftProarrow.Category.Bicategory.Kan
dimapRanProarrow.Category.Bicategory.Kan
dimapRepProarrow.Profunctor.Representable
dimapRiftProarrow.Category.Bicategory.Kan
discardProarrow.Category.Instance.Kleisli
DISCRETEProarrow.Preorder.Discrete
DiscreteProarrow.Preorder.ThinCategory
DiscreteKProarrow.Category.Bicategory.Bidiscrete
distProarrow.Category.Instance.Kleisli
distLProarrow.Category.Monoidal.Distributive
distL0Proarrow.Category.Monoidal.Distributive
distRProarrow.Category.Monoidal.Distributive
distR0Proarrow.Category.Monoidal.Distributive
DistribDual 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
distribDualProarrow.Object.Dual
distribDual'Proarrow.Object.Dual
DistributiveProarrow.Category.Monoidal.Distributive
DistributiveProfunctorProarrow.Category.Monoidal.Distributive
DKProarrow.Category.Bicategory.Bidiscrete
DoubleNeg 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
doubleNegProarrow.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
dualityCounitProarrow.Object.Dual
dualityCounit'Proarrow.Object.Dual
dualityUnitProarrow.Object.Dual
dualityUnit'Proarrow.Object.Dual
duoidalProarrow.Profunctor.Day
duplicateProarrow.Promonad
EProarrow.Category.Monoidal.Endo
ECategoryProarrow.Category.Enriched
ecompProarrow.Category.Enriched
EffProarrow.Profunctor.Free
eidProarrow.Category.Enriched
eitherProarrow.Helper.CCC
ElProarrow.Object.Terminal
elimIProarrow.Category.Bicategory.Strictified
elimOProarrow.Category.Bicategory.Strictified
embedProarrow.Profunctor.Fix
embed'Proarrow.Profunctor.Fix
emptyProarrow.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
ENDOProarrow.Category.Monoidal.Endo
Endo 
1 (Type/Class)Proarrow.Category.Monoidal.Endo
2 (Data Constructor)Proarrow.Category.Monoidal.Endo
EntailsProarrow.Category.Instance.Constraint
entailsProarrow.Preorder.Constraint
EObProarrow.Category.Enriched
epsilonProarrow.Category.Bicategory
EquipmentProarrow.Category.Equipment
etaProarrow.Category.Bicategory
evalProarrow.Object.Exponential
eval'Proarrow.Object.Exponential
ex2profProarrow.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
extractProarrow.Promonad
F 
1 (Data Constructor)Proarrow.Category.Instance.Free
2 (Data Constructor)Proarrow.Helper.CCC
F2TProarrow.Category.Instance.Bool
FINProarrow.Category.Instance.Fin
FinProarrow.Category.Instance.Simplex
FIN0Proarrow.Category.Instance.Fin
FIN1Proarrow.Category.Instance.Fin
FIN2Proarrow.Category.Instance.Fin
FIN3Proarrow.Category.Instance.Fin
finIdProarrow.Category.Instance.Fin
first 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Object.BinaryProduct
first'Proarrow.Object.BinaryProduct
FixProarrow.Profunctor.Fix
FKProarrow.Helper.CCC
flipCompanionProarrow.Category.Equipment
flipCompanionInvProarrow.Category.Equipment
flipConjointProarrow.Category.Equipment
flipConjointInvProarrow.Category.Equipment
flipRanProarrow.Profunctor.Ran
flipRanInvProarrow.Profunctor.Ran
flipRepProarrow.Profunctor.Representable
flipRetroSqProarrow.Category.Bicategory.Op
flipRiftProarrow.Profunctor.Rift
flipRiftInvProarrow.Profunctor.Rift
flipSqProarrow.Category.Bicategory.Op
FLSProarrow.Category.Instance.Bool
FlsProarrow.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
foldCompanionProarrow.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
FREEProarrow.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
FreeCCCProarrow.Helper.CCC
FreeIdProarrow.Category.Instance.Free
FreeMonoidProarrow.Profunctor.Free
FreeMonoidFProarrow.Profunctor.Free
FreeMonoidIsMonoidProarrow.Profunctor.Free
FreePromonadProarrow.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
fromListProarrow.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
FSProarrow.Category.Instance.Fin
FsProarrow.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
fstPProarrow.Profunctor.Product
FUNProarrow.Category.Bicategory.Prof
FunctorProarrow.Functor, Proarrow
FUNKProarrow.Category.Bicategory.Prof
FZProarrow.Category.Instance.Fin
FzProarrow.Category.Instance.Simplex
GenElt 
1 (Type/Class)Proarrow.Monoid
2 (Data Constructor)Proarrow.Monoid
getCorepProarrow.Profunctor.Corepresentable
hArr 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
HasArrowProarrow.Preorder.ThinCategory
HasArrow'Proarrow.Preorder.ThinCategory
HasArrowCollageProarrow.Category.Instance.Collage
HasBinaryCoproductsProarrow.Object.BinaryCoproduct
HasBinaryProductsProarrow.Object.BinaryProduct
HasCofreeProarrow.Profunctor.Cofree
HasColimits 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Category.Colimit
HasCompanionsProarrow.Category.Equipment
HasCoproductsProarrow.Object.BinaryCoproduct
HasFreeProarrow.Profunctor.Free
HasFreeKProarrow.Profunctor.Free
HasInitialObjectProarrow.Object.Initial
HaskProarrow.Category.Instance.Hask
HaskLanProarrow.Category.Instance.Nat
HaskRanProarrow.Category.Instance.Nat
HasLimits 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Category.Limit
HasProductsProarrow.Object.BinaryProduct
HasTerminalObjectProarrow.Object.Terminal
hId 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
HKProarrow.Category.Bicategory.Hom
Hom 
1 (Type/Class)Proarrow.Category.Limit
2 (Data Constructor)Proarrow.Category.Limit
3 (Data Constructor)Proarrow.Category.Bicategory.Hom
HomKProarrow.Category.Bicategory.Hom
HomW 
1 (Type/Class)Proarrow.Category.Bicategory.Hom
2 (Data Constructor)Proarrow.Category.Bicategory.Hom
hyloProarrow.Profunctor.Fix
IProarrow.Category.Bicategory
Id 
1 (Data Constructor)Proarrow.Category.Bicategory.CategoryAsBi
2 (Type/Class)Proarrow.Profunctor.Identity
3 (Data Constructor)Proarrow.Profunctor.Identity
idProarrow.Core, Proarrow.Promonad
idLanProarrow.Category.Bicategory.Kan
idLiftProarrow.Category.Bicategory.Kan
idRanProarrow.Category.Bicategory.Kan
idRiftProarrow.Category.Bicategory.Kan
InProarrow.Profunctor.Fix
indexProarrow.Profunctor.Representable
InitFProarrow.Helper.CCC
InitialLimit 
1 (Type/Class)Proarrow.Category.Colimit
2 (Data Constructor)Proarrow.Category.Colimit
InitialObjectProarrow.Object.Initial
InitialProfunctorProarrow.Profunctor.Initial
initiateProarrow.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
InLProarrow.Category.Instance.Collage
InRProarrow.Category.Instance.Collage
introIProarrow.Category.Bicategory.Strictified
introOProarrow.Category.Bicategory.Strictified
iObjProarrow.Category.Bicategory
IsProarrow.Core
IsBoolProarrow.Category.Instance.Bool
IsBoolArrProarrow.Category.Instance.Bool
isCotabulatorProarrow.Category.Bicategory.Prof
IsFinProarrow.Category.Instance.Fin
IsFunctorialProarrow.Category.Bicategory.Prof
IsList 
1 (Type/Class)Proarrow.Category.Monoidal.Strictified
2 (Type/Class)Proarrow.Category.Instance.List
IsLRProarrow.Category.Instance.Collage
IsLTEProarrow.Category.Instance.Fin
IsNat 
1 (Type/Class)Proarrow.Category.Instance.Simplex
2 (Type/Class)Proarrow.Category.Instance.Mat
IsObProarrow.Category.Bicategory.Sub
IsObIProarrow.Category.Bicategory.Sub
IsObMultProarrow.Category.Instance.Sub
IsObOProarrow.Category.Bicategory.Sub
isObParProarrow.Category.Monoidal
IsOpticProarrow.Category.Monoidal.Optic
IsPathProarrow.Category.Bicategory.Strictified
IsPosetOfProarrow.Preorder
IsRepresentableColimitProarrow.Category.Colimit
IsRepresentableLimitProarrow.Category.Limit
IsSimplexProarrow.Category.Instance.Simplex
KProarrow.Category.Instance.Cat
KINDProarrow.Category.Instance.Cat
KindProarrow.Core
KLProarrow.Category.Instance.Kleisli
KlCatProarrow.Category.Monoidal.Optic
KLEISLIProarrow.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
L2RProarrow.Category.Instance.Collage
lamProarrow.Helper.CCC
Lan 
1 (Type/Class)Proarrow.Category.Bicategory.Kan
2 (Data Constructor)Proarrow.Category.Instance.Nat
lanProarrow.Category.Bicategory.Kan
lanAlongCompanionProarrow.Category.Bicategory.Kan
lanAlongCompanionInvProarrow.Category.Bicategory.Kan
lanComonadDeltaProarrow.Category.Bicategory.Kan
lanComonadEpsilonProarrow.Category.Bicategory.Kan
lanUnivProarrow.Category.Bicategory.Kan
laxCompProarrow.Category.Bicategory.Prof
laxIdProarrow.Category.Bicategory.Prof
LaxProfunctorProarrow.Category.Bicategory.Prof
LCatProarrow.Category.Monoidal.Optic
left 
1 (Function)Proarrow.Object.BinaryCoproduct
2 (Function)Proarrow.Helper.CCC
left'Proarrow.Object.BinaryCoproduct
leftActionProarrow.Category.Bicategory
leftAdjointPreservesColimitsProarrow.Category.Colimit
leftAdjointPreservesColimitsInvProarrow.Category.Colimit
leftAdjunct 
1 (Function)Proarrow.Category.Bicategory
2 (Function)Proarrow.Adjunction, Proarrow
LeftKanExtensionProarrow.Category.Bicategory.Kan
LeftKanLiftProarrow.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
leftUnitorInvWithProarrow.Category.Bicategory
leftUnitorProdProarrow.Object.BinaryProduct
leftUnitorProdInvProarrow.Object.BinaryProduct
leftUnitorWithProarrow.Category.Bicategory
LensProarrow.Category.Monoidal.Optic
lftProarrow.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
LiftA2Proarrow.Profunctor.Free
liftA2Proarrow.Category.Monoidal.Applicative
liftAlongConjointProarrow.Category.Bicategory.Kan
liftAlongConjointInvProarrow.Category.Bicategory.Kan
liftComonadDeltaProarrow.Category.Bicategory.Kan
liftComonadEpsilonProarrow.Category.Bicategory.Kan
liftKProarrow.Profunctor.Free
liftUnivProarrow.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
limitObjProarrow.Category.Equipment.Limit
limitUniv 
1 (Function)Proarrow.Category.Equipment.Limit
2 (Function)Proarrow.Category.Limit
3 (Function)Proarrow.Squares.Limit
LINEARProarrow.Category.Instance.Linear
Linear 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
LISTProarrow.Category.Instance.List
ListProarrow.Category.Instance.List
ListFProarrow.Profunctor.Fix
listIdProarrow.Category.Instance.List
lmapProarrow.Core, Proarrow.Profunctor, Proarrow
lower 
1 (Function)Proarrow.Object.Exponential
2 (Function)Proarrow.Profunctor.Cofree
lower'Proarrow.Profunctor.Cofree
lrIdProarrow.Category.Instance.Collage
LTProarrow.Category.Instance.Simplex
LTEProarrow.Category.Instance.Fin
lteProarrow.Category.Instance.Fin
MProarrow.Category.Instance.Mat
mapProarrow.Functor, Proarrow
mapCompanionProarrow.Category.Equipment
mapCompanionSPathProarrow.Category.Equipment
mapConjointProarrow.Category.Equipment
mapConjointSPathProarrow.Category.Equipment
mapLanProarrow.Category.Bicategory.Kan
mapLiftProarrow.Category.Bicategory.Kan
mappendProarrow.Monoid
mappendActProarrow.Monoid
mapRanProarrow.Category.Bicategory.Kan
mapRiftProarrow.Category.Bicategory.Kan
Mat 
1 (Type/Class)Proarrow.Category.Instance.Mat
2 (Data Constructor)Proarrow.Category.Instance.Mat
matProarrow.Category.Instance.Mat
matIdProarrow.Category.Instance.Mat
MatKProarrow.Category.Instance.Mat
maybeLiftsSemigroupProarrow.Category.Instance.Constraint
MDKProarrow.Category.Enriched
memptyProarrow.Monoid
memptyActProarrow.Monoid
MixedOpticProarrow.Category.Monoidal.Optic
MKProarrow.Category.Bicategory.MonoidalAsBi
mkAlgebraicLensProarrow.Category.Monoidal.Optic
mkConsProarrow.Category.Instance.List
mkEndoProarrow.Category.Monoidal.Endo
mkExponentialProarrow.Object.Exponential
mkLensProarrow.Category.Monoidal.Optic
mkPrismProarrow.Category.Monoidal.Optic
mkYonedaProarrow.Profunctor.Yoneda
ModuleObjectProarrow.Monoid
Mon2 
1 (Type/Class)Proarrow.Category.Bicategory.MonoidalAsBi
2 (Data Constructor)Proarrow.Category.Bicategory.MonoidalAsBi
MonadProarrow.Category.Bicategory
MONADKProarrow.Category.Enriched
MonKProarrow.Category.Bicategory.MonoidalAsBi
MonoidProarrow.Monoid
MonoidalProarrow.Category.Monoidal
MonoidalActionProarrow.Category.Monoidal.Action
MonoidalProfunctorProarrow.Category.Monoidal
muProarrow.Category.Bicategory
multDayExpProarrow.Profunctor.Day
multiplicatorProarrow.Category.Monoidal.Action
multiplicatorInvProarrow.Category.Monoidal.Action
mupdateProarrow.Category.Monoidal.Optic
NATProarrow.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
NatKProarrow.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
noProarrow.Category.Instance.Zero
NTProarrow.Category.Instance.Nat
OProarrow.Category.Bicategory
o 
1 (Function)Proarrow.Category.Bicategory
2 (Function)Proarrow.Profunctor.Composition
OBProarrow.Core
ObProarrow.Core, Proarrow.Category, Proarrow, Proarrow
Ob' 
1 (Type/Class)Proarrow.Object, Proarrow
2 (Type/Class)Proarrow.Category.Bicategory
Ob0Proarrow.Category.Bicategory
Ob0'Proarrow.Category.Bicategory
Obj 
1 (Type/Class)Proarrow.Core, Proarrow.Object, Proarrow
2 (Data Constructor)Proarrow.Object, Proarrow
objProarrow.Core, Proarrow.Object, Proarrow
obj1Proarrow.Category.Bicategory.Strictified
object 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
ObjsProarrow.Object, Proarrow
ObLiftProarrow.Profunctor.Free
ObLiftRetractProarrow.Profunctor.Free
ObRetractProarrow.Profunctor.Free
obsProarrow.Preorder
OnProarrow.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
OPKProarrow.Category.Bicategory.Op
OPPOSITEProarrow.Category.Opposite
OPTProarrow.Category.Monoidal.Optic
OPTICProarrow.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
outProarrow.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
parProarrow.Category.Monoidal
par0Proarrow.Category.Monoidal
parallelProarrow.Category.Monoidal.Optic
PathProarrow.Category.Bicategory.Strictified
PCProarrow.Category.Instance.PreorderAsCategory
PKProarrow.Category.Bicategory.Prof
PLAINProarrow.Category.Bicategory.CategoryAsBi
PLAINKProarrow.Category.Bicategory.CategoryAsBi
PoAsCat 
1 (Type/Class)Proarrow.Category.Instance.PreorderAsCategory
2 (Data Constructor)Proarrow.Category.Instance.PreorderAsCategory
POCATKProarrow.Category.Instance.PreorderAsCategory
POINTEDProarrow.Category.Instance.PointedHask
PointedProarrow.Category.Instance.PointedHask
POSProarrow.Preorder
PRProarrow.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
PreorderOfProarrow.Preorder
Previewing 
1 (Type/Class)Proarrow.Category.Monoidal.Optic
2 (Data Constructor)Proarrow.Category.Monoidal.Optic
PrismProarrow.Category.Monoidal.Optic
PROProarrow.Core, Proarrow.Profunctor, Proarrow
ProcomonadProarrow.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
prodProarrow.Profunctor.Product
PRODFSTProarrow.Category.Bicategory.Product
PRODKProarrow.Category.Bicategory.Product
PRODSNDProarrow.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
prof2exProarrow.Category.Monoidal.Optic
PROFKProarrow.Category.Bicategory.Prof
ProfOpticProarrow.Category.Monoidal.Optic
ProfRepProarrow.Category.Bicategory.Prof
ProfSqProarrow.Category.Bicategory.Prof
ProfunctorProarrow.Core, Proarrow.Profunctor, Proarrow
projectProarrow.Profunctor.Fix
project'Proarrow.Profunctor.Fix
PromonadProarrow.Core, Proarrow.Promonad
PureProarrow.Profunctor.Free
pureProarrow.Category.Monoidal.Applicative
Q2 
1 (Type/Class)Proarrow.Category.Equipment.Quintet
2 (Data Constructor)Proarrow.Category.Equipment.Quintet
QKProarrow.Category.Equipment.Quintet
QKKProarrow.Category.Equipment.Quintet
QuintetSqProarrow.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
ranProarrow.Category.Bicategory.Kan
ranAlongConjointProarrow.Category.Bicategory.Kan
ranAlongConjointInvProarrow.Category.Bicategory.Kan
ranComposeProarrow.Profunctor.Ran
ranComposeInvProarrow.Profunctor.Ran
ranHomProarrow.Profunctor.Ran
ranHomInvProarrow.Profunctor.Ran
ranMonadEtaProarrow.Category.Bicategory.Kan
ranMonadMuProarrow.Category.Bicategory.Kan
ranUnivProarrow.Category.Bicategory.Kan
RCatProarrow.Category.Monoidal.Optic
Reader 
1 (Type/Class)Proarrow.Promonad.Reader
2 (Data Constructor)Proarrow.Promonad.Reader
rebaseLanProarrow.Category.Bicategory.Kan
rebaseLiftProarrow.Category.Bicategory.Kan
rebaseRanProarrow.Category.Bicategory.Kan
rebaseRiftProarrow.Category.Bicategory.Kan
reparamProarrow.Category.Equipment.Quintet
RepCostar 
1 (Type/Class)Proarrow.Profunctor.Representable
2 (Data Constructor)Proarrow.Profunctor.Representable
ReplaceProarrow.Category.Monoidal.Optic
ReplacingProarrow.Category.Monoidal.Optic
Replicate 
1 (Type/Class)Proarrow.Category.Instance.Simplex
2 (Data Constructor)Proarrow.Category.Instance.Simplex
repMapProarrow.Profunctor.Representable
repObjProarrow.Profunctor.Representable
RepresentableProarrow.Profunctor.Representable
RepStar 
1 (Type/Class)Proarrow.Profunctor.Representable
2 (Data Constructor)Proarrow.Profunctor.Representable
RetractProarrow.Profunctor.Free
retractProarrow.Profunctor.Free
retract'Proarrow.Profunctor.Free
retractApProarrow.Profunctor.Free
retractKProarrow.Profunctor.Free
RetroSq 
1 (Type/Class)Proarrow.Category.Equipment
2 (Data Constructor)Proarrow.Category.Equipment
REVProarrow.Category.Monoidal.Rev
Rev 
1 (Type/Class)Proarrow.Category.Monoidal.Rev
2 (Data Constructor)Proarrow.Category.Monoidal.Rev
RewriteProarrow.Category.Instance.Free
rewriteAfterConsProarrow.Category.Instance.Free
rgtProarrow.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
riftProarrow.Category.Bicategory.Kan
riftAlongCompanionProarrow.Category.Bicategory.Kan
riftAlongCompanionInvProarrow.Category.Bicategory.Kan
riftComposeProarrow.Profunctor.Rift
riftComposeInvProarrow.Profunctor.Rift
riftMonadEtaProarrow.Category.Bicategory.Kan
riftMonadMuProarrow.Category.Bicategory.Kan
riftUnivProarrow.Category.Bicategory.Kan
right 
1 (Function)Proarrow.Object.BinaryCoproduct
2 (Function)Proarrow.Helper.CCC
right'Proarrow.Object.BinaryCoproduct
rightActionProarrow.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
RightKanExtensionProarrow.Category.Bicategory.Kan
RightKanLiftProarrow.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
rightUnitorInvWithProarrow.Category.Bicategory
rightUnitorProdProarrow.Object.BinaryProduct
rightUnitorProdInvProarrow.Object.BinaryProduct
rightUnitorWithProarrow.Category.Bicategory
rmapProarrow.Core, Proarrow.Profunctor, Proarrow
runKleisliProarrow.Category.Instance.Kleisli
runRan 
1 (Function)Proarrow.Category.Instance.Nat
2 (Function)Proarrow.Profunctor.Ran
runRiftProarrow.Profunctor.Rift
S 
1 (Type/Class)Proarrow.Category.Instance.Simplex
2 (Type/Class)Proarrow.Category.Instance.Mat
3 (Type/Class)Proarrow.Category.Instance.Fin
SConsProarrow.Category.Bicategory.Strictified
second 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Object.BinaryProduct
second'Proarrow.Object.BinaryProduct
sectionProarrow.Profunctor.Cofree
section'Proarrow.Profunctor.Cofree
Setting 
1 (Type/Class)Proarrow.Category.Monoidal.Optic
2 (Data Constructor)Proarrow.Category.Monoidal.Optic
SimplexProarrow.Category.Instance.Simplex
SimplexIProarrow.Category.Instance.Simplex
SimplexOProarrow.Category.Instance.Simplex
singleton 
1 (Function)Proarrow.Category.Monoidal.Strictified
2 (Function)Proarrow.Category.Bicategory.Strictified
singNatProarrow.Category.Instance.Simplex
singNat'Proarrow.Category.Instance.Simplex
singObjProarrow.Category.Instance.Simplex
singPathProarrow.Category.Bicategory.Strictified
SListProarrow.Category.Monoidal.Strictified
sListProarrow.Category.Monoidal.Strictified
SLTProarrow.Category.Instance.Fin
SNatProarrow.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
sndPProarrow.Profunctor.Product
SNilProarrow.Category.Bicategory.Strictified
SPathProarrow.Category.Bicategory.Strictified
splitProarrow.Category.Instance.Mat
splitFold 
1 (Function)Proarrow.Category.Monoidal.Strictified
2 (Function)Proarrow.Category.Bicategory.Strictified
SQProarrow.Category.Equipment
Sq 
1 (Type/Class)Proarrow.Category.Equipment
2 (Data Constructor)Proarrow.Category.Equipment
SQ'Proarrow.Category.Equipment
srcProarrow.Core, Proarrow.Object, Proarrow
SSProarrow.Category.Instance.Simplex
Star 
1 (Type/Class)Proarrow.Profunctor.Star
2 (Data Constructor)Proarrow.Profunctor.Star
StarAutonomousProarrow.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
strProarrow.Category.Bicategory.Strictified
strengthProarrow.Profunctor.Star
Strictified 
1 (Type/Class)Proarrow.Category.Monoidal.Strictified
2 (Type/Class)Proarrow.Category.Bicategory.Strictified
StrongProarrow.Category.Monoidal.Action
StrongCoprodProarrow.Object.BinaryCoproduct
StrongProdProarrow.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
sucProarrow.Category.Instance.Simplex
Swap 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
swapProarrow.Category.Monoidal
swap'Proarrow.Category.Monoidal
swapCoprodProarrow.Object.BinaryCoproduct
swapCoprod'Proarrow.Object.BinaryCoproduct
swapInnerProarrow.Category.Monoidal
swapInner'Proarrow.Category.Monoidal
swapProdProarrow.Object.BinaryProduct
swapProd'Proarrow.Object.BinaryProduct
SymMonoidalProarrow.Category.Monoidal
SZProarrow.Category.Instance.Simplex
TProarrow.Preorder.ThinCategory
tabulateProarrow.Profunctor.Representable
TensorIsCoproductProarrow.Object.BinaryCoproduct
TensorIsProductProarrow.Object.BinaryProduct
TermFProarrow.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
TerminalObjectProarrow.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
terminateProarrow.Object.Terminal
terminate'Proarrow.Object.Terminal
tgtProarrow.Core, Proarrow.Object, Proarrow
ThatProarrow.Category.Instance.PointedHask
These 
1 (Type/Class)Proarrow.Category.Instance.PointedHask
2 (Data Constructor)Proarrow.Category.Instance.PointedHask
THINProarrow.Preorder.ThinCategory
ThinProarrow.Preorder.ThinCategory
ThinCategoryProarrow.Preorder.ThinCategory
ThinProfunctorProarrow.Preorder.ThinCategory
ThisProarrow.Category.Instance.PointedHask
toCCCProarrow.Helper.CCC
toLeft 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
toListProarrow.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
traceProarrow.Category.Monoidal
trace'Proarrow.Category.Monoidal
TracedMonoidalProarrow.Category.Monoidal
TracedMonoidalProfunctorProarrow.Category.Monoidal
TraversalProarrow.Category.Monoidal.Optic
traversingProarrow.Category.Monoidal.Optic
travListProarrow.Category.Monoidal.Distributive
TRUProarrow.Category.Instance.Bool
TruProarrow.Category.Instance.Bool
TypeProarrow.Category.Instance.Hask
UNProarrow.Core
unClassifyProarrow.Category.Monoidal.Optic
unCoProarrow.Profunctor.Star
unConcatMapProarrow.Category.Instance.Mat
unCoprodProarrow.Object.BinaryCoproduct
unCorepStarProarrow.Profunctor.Representable
unCostarProarrow.Profunctor.Costar
unCoyonedaProarrow.Profunctor.Coyoneda
Uncurry 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
uncurryProarrow.Object.Exponential
uncurry'Proarrow.Object.Exponential
UNDUALProarrow.Category.Instance.Kleisli
unEndProarrow.Category.Limit
unEntailsProarrow.Category.Instance.Constraint
unForgetProarrow.Category.Instance.Simplex
unFromProfunctorProarrow.Functor, Proarrow
UNFUNProarrow.Category.Bicategory.Prof
unHomKProarrow.Category.Bicategory.Hom
unIdProarrow.Profunctor.Identity
unInjRProarrow.Category.Instance.Collage
unInLProarrow.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
unitFromRepUnitProarrow.Adjunction, Proarrow
unitObjProarrow.Category.Monoidal
unitorProarrow.Category.Monoidal.Action
unitorInvProarrow.Category.Monoidal.Action
unNatProarrow.Category.Instance.Nat
unNat'Proarrow.Category.Instance.Nat
unOpProarrow.Category.Opposite
unPrecomposeProarrow.Profunctor.Ran
unPreludeProarrow.Functor, Proarrow
unPreviewProarrow.Category.Monoidal.Optic
unProdProarrow.Object.BinaryProduct
unProfProarrow.Category.Instance.Prof
unRanProarrow.Profunctor.Ran
unReaderProarrow.Promonad.Reader
unRepCostarProarrow.Profunctor.Representable
unReplaceProarrow.Category.Monoidal.Optic
unRepStarProarrow.Profunctor.Representable
unRiftProarrow.Profunctor.Rift
unSetProarrow.Category.Monoidal.Optic
unStarProarrow.Profunctor.Star
unStrProarrow.Category.Bicategory.Strictified
unSubProarrow.Category.Instance.Sub
unUpdateProarrow.Category.Monoidal.Optic
unViewProarrow.Category.Monoidal.Optic
Unweighted 
1 (Type/Class)Proarrow.Category.Limit
2 (Type/Class)Proarrow.Category.Colimit
unWrappedProarrow.Profunctor.Wrapped
unWriterProarrow.Promonad.Writer
unYonedaProarrow.Profunctor.Yoneda
UpdateProarrow.Category.Monoidal.Optic
UpdatingProarrow.Category.Monoidal.Optic
Ur 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
VProarrow.Category.Enriched
VacuusObProarrow.Object, Proarrow
vArr 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
vCombineProarrow.Squares
VecProarrow.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
VOIDProarrow.Category.Instance.Zero
vSplitProarrow.Squares
vUnitorProarrow.Squares
vUnitorInvProarrow.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
withArrProarrow.Preorder.ThinCategory
withAssocProarrow.Category.Bicategory.Strictified
withAssocMultProarrow.Category.Instance.Mat
withAssocPlusProarrow.Category.Instance.Mat
withCorepObjProarrow.Profunctor.Corepresentable
withDistProarrow.Category.Instance.Mat
withEqProarrow.Preorder.ThinCategory
withIsPathProarrow.Category.Bicategory.Strictified
withMultNatProarrow.Category.Instance.Mat
withMultSuccProarrow.Category.Instance.Mat
withMultSymProarrow.Category.Instance.Mat
withNatProarrow.Category.Instance.Mat
withPlusNatProarrow.Category.Instance.Mat
withPlusSuccProarrow.Category.Instance.Mat
withPlusSymProarrow.Category.Instance.Mat
withRepObjProarrow.Profunctor.Representable
WKProarrow.Category.Equipment.BiAsEquipment
WKKProarrow.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
XProarrow.Category.Instance.Simplex
XXXProarrow.Category.Instance.Simplex
YProarrow.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
yonedaProarrow.Profunctor.Yoneda
YYYProarrow.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
ZEQProarrow.Category.Instance.Fin
ZeroProarrow.Category.Instance.Zero
zero 
1 (Function)Proarrow.Category.Instance.Mat
2 (Function)Proarrow.Category.Instance.Kleisli
ZLTProarrow.Category.Instance.Fin
ZZProarrow.Category.Instance.Simplex
ZZZProarrow.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