Files

 main

/

docs

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

sjoerdvisscher

Update docs.

Mar 3, 2025

f6fe4e8 · Mar 3, 2025

History

History

/

docs

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
src		src	Update docs.	Mar 3, 2025
Proarrow-Adjunction.html		Proarrow-Adjunction.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Bidiscrete.html		Proarrow-Category-Bicategory-Bidiscrete.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-CategoryAsBi.html		Proarrow-Category-Bicategory-CategoryAsBi.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Co.html		Proarrow-Category-Bicategory-Co.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Hom.html		Proarrow-Category-Bicategory-Hom.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Kan.html		Proarrow-Category-Bicategory-Kan.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Limit.html		Proarrow-Category-Bicategory-Limit.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-MonoidalAsBi.html		Proarrow-Category-Bicategory-MonoidalAsBi.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Op.html		Proarrow-Category-Bicategory-Op.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Product.html		Proarrow-Category-Bicategory-Product.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Prof.html		Proarrow-Category-Bicategory-Prof.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Relative.html		Proarrow-Category-Bicategory-Relative.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Strictified.html		Proarrow-Category-Bicategory-Strictified.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Sub.html		Proarrow-Category-Bicategory-Sub.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory-Terminal.html		Proarrow-Category-Bicategory-Terminal.html	Update docs.	Mar 3, 2025
Proarrow-Category-Bicategory.html		Proarrow-Category-Bicategory.html	Update docs.	Mar 3, 2025
Proarrow-Category-Colimit.html		Proarrow-Category-Colimit.html	Update docs.	Mar 3, 2025
Proarrow-Category-Dagger.html		Proarrow-Category-Dagger.html	Update docs.	Mar 3, 2025
Proarrow-Category-Enriched-Bipara.html		Proarrow-Category-Enriched-Bipara.html	Update docs.	Mar 3, 2025
Proarrow-Category-Enriched.html		Proarrow-Category-Enriched.html	Update docs.	Mar 3, 2025
Proarrow-Category-Equipment-BiAsEquipment.html		Proarrow-Category-Equipment-BiAsEquipment.html	Update docs.	Mar 3, 2025
Proarrow-Category-Equipment-Limit.html		Proarrow-Category-Equipment-Limit.html	Update docs.	Mar 3, 2025
Proarrow-Category-Equipment-Quintet.html		Proarrow-Category-Equipment-Quintet.html	Update docs.	Mar 3, 2025
Proarrow-Category-Equipment-Stateful.html		Proarrow-Category-Equipment-Stateful.html	Update docs.	Mar 3, 2025
Proarrow-Category-Equipment.html		Proarrow-Category-Equipment.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Bool.html		Proarrow-Category-Instance-Bool.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Cat.html		Proarrow-Category-Instance-Cat.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Collage.html		Proarrow-Category-Instance-Collage.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Constraint.html		Proarrow-Category-Instance-Constraint.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Coproduct.html		Proarrow-Category-Instance-Coproduct.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Fin.html		Proarrow-Category-Instance-Fin.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Free.html		Proarrow-Category-Instance-Free.html	Update docs	Nov 5, 2024
Proarrow-Category-Instance-Hask.html		Proarrow-Category-Instance-Hask.html	Update docs	Nov 5, 2024
Proarrow-Category-Instance-IntConstruction.html		Proarrow-Category-Instance-IntConstruction.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Kleisli.html		Proarrow-Category-Instance-Kleisli.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Lifted.html		Proarrow-Category-Instance-Lifted.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Linear.html		Proarrow-Category-Instance-Linear.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-List.html		Proarrow-Category-Instance-List.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Mat.html		Proarrow-Category-Instance-Mat.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Nat.html		Proarrow-Category-Instance-Nat.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-PointedHask.html		Proarrow-Category-Instance-PointedHask.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-PreorderAsCategory.html		Proarrow-Category-Instance-PreorderAsCategory.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Product.html		Proarrow-Category-Instance-Product.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Prof.html		Proarrow-Category-Instance-Prof.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Simplex.html		Proarrow-Category-Instance-Simplex.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Sub.html		Proarrow-Category-Instance-Sub.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Unit.html		Proarrow-Category-Instance-Unit.html	Update docs.	Mar 3, 2025
Proarrow-Category-Instance-Zero.html		Proarrow-Category-Instance-Zero.html	Update docs.	Mar 3, 2025
Proarrow-Category-Limit.html		Proarrow-Category-Limit.html	Update docs.	Mar 3, 2025
Proarrow-Category-Monoidal-Action.html		Proarrow-Category-Monoidal-Action.html	Update docs.	Mar 3, 2025
Proarrow-Category-Monoidal-Applicative.html		Proarrow-Category-Monoidal-Applicative.html	Update docs	Nov 18, 2024
Proarrow-Category-Monoidal-Distributive.html		Proarrow-Category-Monoidal-Distributive.html	Update docs.	Mar 3, 2025
Proarrow-Category-Monoidal-Endo.html		Proarrow-Category-Monoidal-Endo.html	Update docs.	Mar 3, 2025
Proarrow-Category-Monoidal-Optic.html		Proarrow-Category-Monoidal-Optic.html	Update docs.	Mar 3, 2025
Proarrow-Category-Monoidal-Rev.html		Proarrow-Category-Monoidal-Rev.html	Update docs.	Mar 3, 2025
Proarrow-Category-Monoidal-Strictified.html		Proarrow-Category-Monoidal-Strictified.html	Update docs.	Mar 3, 2025
Proarrow-Category-Monoidal.html		Proarrow-Category-Monoidal.html	Update docs.	Mar 3, 2025
Proarrow-Category-Opposite.html		Proarrow-Category-Opposite.html	Update docs.	Mar 3, 2025
Proarrow-Category.html		Proarrow-Category.html	Update docs.	Mar 3, 2025
Proarrow-Core.html		Proarrow-Core.html	Update docs.	Mar 3, 2025
Proarrow-Functor.html		Proarrow-Functor.html	Update docs.	Mar 3, 2025
Proarrow-Helper-CCC.html		Proarrow-Helper-CCC.html	Update docs.	Mar 3, 2025
Proarrow-Monoid.html		Proarrow-Monoid.html	Update docs.	Mar 3, 2025
Proarrow-Object-BinaryCoproduct.html		Proarrow-Object-BinaryCoproduct.html	Update docs.	Mar 3, 2025
Proarrow-Object-BinaryProduct.html		Proarrow-Object-BinaryProduct.html	Update docs.	Mar 3, 2025
Proarrow-Object-Coexponential.html		Proarrow-Object-Coexponential.html	Update docs.	Mar 3, 2025
Proarrow-Object-Dual.html		Proarrow-Object-Dual.html	Update docs.	Mar 3, 2025
Proarrow-Object-Exponential.html		Proarrow-Object-Exponential.html	Update docs.	Mar 3, 2025
Proarrow-Object-Initial.html		Proarrow-Object-Initial.html	Update docs.	Mar 3, 2025
Proarrow-Object-Terminal.html		Proarrow-Object-Terminal.html	Update docs.	Mar 3, 2025
Proarrow-Object.html		Proarrow-Object.html	Update docs.	Mar 3, 2025
Proarrow-Preorder-Constraint.html		Proarrow-Preorder-Constraint.html	Update docs	Nov 5, 2024
Proarrow-Preorder-Discrete.html		Proarrow-Preorder-Discrete.html	Update docs.	Mar 3, 2025
Proarrow-Preorder-ThinCategory.html		Proarrow-Preorder-ThinCategory.html	Update docs.	Mar 3, 2025
Proarrow-Preorder.html		Proarrow-Preorder.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Cofree.html		Proarrow-Profunctor-Cofree.html	Update docs	Nov 5, 2024
Proarrow-Profunctor-Composition.html		Proarrow-Profunctor-Composition.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Coproduct.html		Proarrow-Profunctor-Coproduct.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Corepresentable.html		Proarrow-Profunctor-Corepresentable.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Costar.html		Proarrow-Profunctor-Costar.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Coyoneda.html		Proarrow-Profunctor-Coyoneda.html	Update docs	Nov 18, 2024
Proarrow-Profunctor-Day.html		Proarrow-Profunctor-Day.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Exponential.html		Proarrow-Profunctor-Exponential.html	Update docs	Nov 5, 2024
Proarrow-Profunctor-Fix.html		Proarrow-Profunctor-Fix.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Forget.html		Proarrow-Profunctor-Forget.html	Update docs	Nov 18, 2024
Proarrow-Profunctor-Free.html		Proarrow-Profunctor-Free.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Identity.html		Proarrow-Profunctor-Identity.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Initial.html		Proarrow-Profunctor-Initial.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Product.html		Proarrow-Profunctor-Product.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Ran.html		Proarrow-Profunctor-Ran.html	Update docs	Nov 5, 2024
Proarrow-Profunctor-Representable.html		Proarrow-Profunctor-Representable.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Rift.html		Proarrow-Profunctor-Rift.html	Update docs	Nov 5, 2024
Proarrow-Profunctor-Star.html		Proarrow-Profunctor-Star.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Terminal.html		Proarrow-Profunctor-Terminal.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Wrapped.html		Proarrow-Profunctor-Wrapped.html	Update docs.	Mar 3, 2025
Proarrow-Profunctor-Yoneda.html		Proarrow-Profunctor-Yoneda.html	Update docs	Nov 5, 2024
Proarrow-Profunctor.html		Proarrow-Profunctor.html	Update docs.	Mar 3, 2025
Proarrow-Promonad-Cont.html		Proarrow-Promonad-Cont.html	Update docs.	Mar 3, 2025
Proarrow-Promonad-Reader.html		Proarrow-Promonad-Reader.html	Update docs.	Mar 3, 2025
Proarrow-Promonad-State.html		Proarrow-Promonad-State.html	Update docs.	Mar 3, 2025
Proarrow-Promonad-Writer.html		Proarrow-Promonad-Writer.html	Update docs.	Mar 3, 2025
Proarrow-Promonad.html		Proarrow-Promonad.html	Update docs.	Mar 3, 2025
Proarrow-Squares-Limit.html		Proarrow-Squares-Limit.html	Update docs.	Mar 3, 2025
Proarrow-Squares-Relative.html		Proarrow-Squares-Relative.html	Update docs.	Mar 3, 2025
Proarrow-Squares.html		Proarrow-Squares.html	Update docs.	Mar 3, 2025
Proarrow.html		Proarrow.html	Update docs	Jul 25, 2024
doc-index-124.html		doc-index-124.html	Update docs.	Mar 3, 2025
doc-index-126.html		doc-index-126.html	Update docs.	Mar 3, 2025
doc-index-33.html		doc-index-33.html	Update docs.	Mar 3, 2025
doc-index-36.html		doc-index-36.html	Update docs.	Mar 3, 2025
doc-index-37.html		doc-index-37.html	Update docs.	Mar 3, 2025
doc-index-38.html		doc-index-38.html	Update docs.	Mar 3, 2025
doc-index-42.html		doc-index-42.html	Update docs.	Mar 3, 2025
doc-index-43.html		doc-index-43.html	Update docs.	Mar 3, 2025
doc-index-45.html		doc-index-45.html	Update docs.	Mar 3, 2025
doc-index-46.html		doc-index-46.html	Update docs.	Mar 3, 2025
doc-index-47.html		doc-index-47.html	Update docs.	Mar 3, 2025
doc-index-58.html		doc-index-58.html	Update docs.	Mar 3, 2025
doc-index-60.html		doc-index-60.html	Update docs.	Mar 3, 2025
doc-index-61.html		doc-index-61.html	Update docs.	Mar 3, 2025
doc-index-63.html		doc-index-63.html	Update docs.	Mar 3, 2025
doc-index-92.html		doc-index-92.html	Update docs.	Mar 3, 2025
doc-index-94.html		doc-index-94.html	Update docs.	Mar 3, 2025
doc-index-A.html		doc-index-A.html	Update docs.	Mar 3, 2025
doc-index-All.html		doc-index-All.html	Update docs.	Mar 3, 2025
doc-index-B.html		doc-index-B.html	Update docs.	Mar 3, 2025
doc-index-C.html		doc-index-C.html	Update docs.	Mar 3, 2025
doc-index-D.html		doc-index-D.html	Update docs.	Mar 3, 2025
doc-index-E.html		doc-index-E.html	Update docs.	Mar 3, 2025
doc-index-F.html		doc-index-F.html	Update docs.	Mar 3, 2025
doc-index-G.html		doc-index-G.html	Update docs.	Mar 3, 2025
doc-index-H.html		doc-index-H.html	Update docs.	Mar 3, 2025
doc-index-I.html		doc-index-I.html	Update docs.	Mar 3, 2025
doc-index-K.html		doc-index-K.html	Update docs.	Mar 3, 2025
doc-index-L.html		doc-index-L.html	Update docs.	Mar 3, 2025
doc-index-M.html		doc-index-M.html	Update docs.	Mar 3, 2025
doc-index-N.html		doc-index-N.html	Update docs.	Mar 3, 2025
doc-index-O.html		doc-index-O.html	Update docs.	Mar 3, 2025
doc-index-P.html		doc-index-P.html	Update docs.	Mar 3, 2025
doc-index-Q.html		doc-index-Q.html	Update docs.	Mar 3, 2025
doc-index-R.html		doc-index-R.html	Update docs.	Mar 3, 2025
doc-index-S.html		doc-index-S.html	Update docs.	Mar 3, 2025
doc-index-T.html		doc-index-T.html	Update docs.	Mar 3, 2025
doc-index-U.html		doc-index-U.html	Update docs.	Mar 3, 2025
doc-index-V.html		doc-index-V.html	Update docs.	Mar 3, 2025
doc-index-W.html		doc-index-W.html	Update docs.	Mar 3, 2025
doc-index-X.html		doc-index-X.html	Update docs.	Mar 3, 2025
doc-index-Y.html		doc-index-Y.html	Update docs.	Mar 3, 2025
doc-index-Z.html		doc-index-Z.html	Update docs.	Mar 3, 2025
doc-index.html		doc-index.html	Update docs.	Mar 3, 2025
haddock-bundle.min.js		haddock-bundle.min.js	publish haddock	Sep 19, 2023
index.html		index.html	Update docs.	Mar 3, 2025
linuwial.css		linuwial.css	publish haddock	Sep 19, 2023
meta.json		meta.json	Update docs	Jul 25, 2024
quick-jump.css		quick-jump.css	publish haddock	Sep 19, 2023
synopsis.png		synopsis.png	publish haddock	Sep 19, 2023
View all files