proarrow

Index - B

bandHeightProarrow.Tools.Diagrams.Svg
baseTraverseProarrow.Category.Monoidal.Distributive
BendProarrow.Tools.Diagrams.Svg
bend 
1 (Function)Proarrow.Tools.Diagrams.Dot
2 (Function)Proarrow.Tools.Diagrams.Svg
BendKindProarrow.Tools.Diagrams.Svg
bendRadiusProarrow.Tools.Diagrams.Svg
Beside 
1 (Data Constructor)Proarrow.Tools.Diagrams.Svg
2 (Type/Class)Proarrow.Optic.Traversal
BesideSumProarrow.Optic.Traversal
bestProarrow.Category.Enriched.Thin.Composition
BicartesianProarrow.Category.Monoidal.Cartesian
BiCCCProarrow.Category.Monoidal.Cartesian
BiCCCStructsProarrow.Tools.CCC
Bijection 
1 (Type/Class)Proarrow.Tools.Laws
2 (Data Constructor)Proarrow.Tools.Laws
bijectionProarrow.Tools.Laws
BijectionBodyProarrow.Tools.Laws
bimapProarrow.Category.Instance.Nat
bindProarrow.Promonad, Proarrow
bindRepProarrow.Adjunction
bitProarrow.Category.Instance.FinRel
Bitstring 
1 (Type/Class)Proarrow.Category.Instance.ZX
2 (Type/Class)Proarrow.Category.Instance.FinRel
BOOLProarrow.Category.Instance.Bool
BooleansProarrow.Category.Instance.Bool
boolIdProarrow.Category.Instance.Bool
BoolLeqProarrow.Category.Instance.Bool
BottomProarrow.Category.Instance.Zero
bottomTensorProarrow.Category.Enriched.Quantale
BoundaryProarrow.Tools.Diagrams.Svg
boundaryBandsProarrow.Tools.Diagrams.Svg
Box 
1 (Data Constructor)Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)Proarrow.Tools.Diagrams.Svg
boxHeightProarrow.Tools.Diagrams.Svg
BoxKindProarrow.Tools.Diagrams.Svg
BracketProarrow.Tools.Diagrams.Svg
branchProarrow.Category.Monoidal.Distributive
BS 
1 (Data Constructor)Proarrow.Category.Instance.ZX
2 (Data Constructor)Proarrow.Category.Instance.FinRel
buildTableProarrow.Category.Enriched.Finitary.Topos
ByImageProarrow.Category.Sheaf
ByJoinProarrow.Category.Sheaf
ByLeftProarrow.Category.Enriched.Thin.Composition
ByRightProarrow.Category.Enriched.Thin.Composition
BySearchProarrow.Category.Enriched.Thin.Composition
BySummandsProarrow.Category.Sheaf