├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── docs ├── Proarrow-Adjunction.html ├── Proarrow-Category-Bicategory-Bidiscrete.html ├── Proarrow-Category-Bicategory-CategoryAsBi.html ├── Proarrow-Category-Bicategory-Co.html ├── Proarrow-Category-Bicategory-Hom.html ├── Proarrow-Category-Bicategory-Kan.html ├── Proarrow-Category-Bicategory-Limit.html ├── Proarrow-Category-Bicategory-MonoidalAsBi.html ├── Proarrow-Category-Bicategory-Op.html ├── Proarrow-Category-Bicategory-Product.html ├── Proarrow-Category-Bicategory-Prof.html ├── Proarrow-Category-Bicategory-Relative.html ├── Proarrow-Category-Bicategory-Strictified.html ├── Proarrow-Category-Bicategory-Sub.html ├── Proarrow-Category-Bicategory-Terminal.html ├── Proarrow-Category-Bicategory.html ├── Proarrow-Category-Colimit.html ├── Proarrow-Category-Enriched-Dagger.html ├── Proarrow-Category-Enriched-ThinCategory.html ├── Proarrow-Category-Enriched.html ├── Proarrow-Category-Equipment-BiAsEquipment.html ├── Proarrow-Category-Equipment-Limit.html ├── Proarrow-Category-Equipment-Quintet.html ├── Proarrow-Category-Equipment-Stateful.html ├── Proarrow-Category-Equipment.html ├── Proarrow-Category-Instance-Ap.html ├── Proarrow-Category-Instance-Bool.html ├── Proarrow-Category-Instance-Cat.html ├── Proarrow-Category-Instance-Collage.html ├── Proarrow-Category-Instance-Constraint.html ├── Proarrow-Category-Instance-Coproduct.html ├── Proarrow-Category-Instance-Cost.html ├── Proarrow-Category-Instance-Discrete.html ├── Proarrow-Category-Instance-Fam.html ├── Proarrow-Category-Instance-Fin.html ├── Proarrow-Category-Instance-Free.html ├── Proarrow-Category-Instance-Hask.html ├── Proarrow-Category-Instance-IntConstruction.html ├── Proarrow-Category-Instance-Kleisli.html ├── Proarrow-Category-Instance-Linear.html ├── Proarrow-Category-Instance-Mat.html ├── Proarrow-Category-Instance-Nat.html ├── Proarrow-Category-Instance-PointedHask.html ├── Proarrow-Category-Instance-Product.html ├── Proarrow-Category-Instance-Prof.html ├── Proarrow-Category-Instance-Rel.html ├── Proarrow-Category-Instance-Simplex.html ├── Proarrow-Category-Instance-Sub.html ├── Proarrow-Category-Instance-Unit.html ├── Proarrow-Category-Instance-ZX.html ├── Proarrow-Category-Instance-Zero.html ├── Proarrow-Category-Limit.html ├── Proarrow-Category-Monoidal-Action.html ├── Proarrow-Category-Monoidal-Applicative.html ├── Proarrow-Category-Monoidal-Distributive.html ├── Proarrow-Category-Monoidal-Endo.html ├── Proarrow-Category-Monoidal-Optic.html ├── Proarrow-Category-Monoidal-Rev.html ├── Proarrow-Category-Monoidal-Strictified.html ├── Proarrow-Category-Monoidal.html ├── Proarrow-Category-Opposite.html ├── Proarrow-Category-Promonoidal.html ├── Proarrow-Category.html ├── Proarrow-Core.html ├── Proarrow-Functor.html ├── Proarrow-Monoid.html ├── Proarrow-Object-BinaryCoproduct.html ├── Proarrow-Object-BinaryProduct.html ├── Proarrow-Object-Coexponential.html ├── Proarrow-Object-Copower.html ├── Proarrow-Object-Dual.html ├── Proarrow-Object-Exponential.html ├── Proarrow-Object-Initial.html ├── Proarrow-Object-Power.html ├── Proarrow-Object-Terminal.html ├── Proarrow-Object.html ├── Proarrow-Profunctor-Cofree.html ├── Proarrow-Profunctor-Composition.html ├── Proarrow-Profunctor-Constant.html ├── Proarrow-Profunctor-Coproduct.html ├── Proarrow-Profunctor-Corepresentable.html ├── Proarrow-Profunctor-Costar.html ├── Proarrow-Profunctor-Coyoneda.html ├── Proarrow-Profunctor-Day.html ├── Proarrow-Profunctor-Exponential.html ├── Proarrow-Profunctor-Fix.html ├── Proarrow-Profunctor-Fold.html ├── Proarrow-Profunctor-Free.html ├── Proarrow-Profunctor-HaskValue.html ├── Proarrow-Profunctor-Identity.html ├── Proarrow-Profunctor-Initial.html ├── Proarrow-Profunctor-List.html ├── Proarrow-Profunctor-Product.html ├── Proarrow-Profunctor-Ran.html ├── Proarrow-Profunctor-Representable.html ├── Proarrow-Profunctor-Rift.html ├── Proarrow-Profunctor-Star.html ├── Proarrow-Profunctor-Terminal.html ├── Proarrow-Profunctor-Wrapped.html ├── Proarrow-Profunctor-Yoneda.html ├── Proarrow-Profunctor.html ├── Proarrow-Promonad-Cont.html ├── Proarrow-Promonad-Reader.html ├── Proarrow-Promonad-State.html ├── Proarrow-Promonad-Writer.html ├── Proarrow-Promonad.html ├── Proarrow-Squares-Limit.html ├── Proarrow-Squares-Relative.html ├── Proarrow-Squares.html ├── Proarrow-Tools-CCC.html ├── Proarrow-Tools-Laws.html ├── Proarrow-Universal.html ├── Proarrow.html ├── doc-index-124.html ├── doc-index-126.html ├── doc-index-33.html ├── doc-index-36.html ├── doc-index-37.html ├── doc-index-38.html ├── doc-index-42.html ├── doc-index-43.html ├── doc-index-45.html ├── doc-index-46.html ├── doc-index-47.html ├── doc-index-58.html ├── doc-index-60.html ├── doc-index-61.html ├── doc-index-63.html ├── doc-index-64.html ├── doc-index-92.html ├── doc-index-94.html ├── doc-index-A.html ├── doc-index-All.html ├── doc-index-B.html ├── doc-index-C.html ├── doc-index-D.html ├── doc-index-E.html ├── doc-index-F.html ├── doc-index-G.html ├── doc-index-H.html ├── doc-index-I.html ├── doc-index-K.html ├── doc-index-L.html ├── doc-index-M.html ├── doc-index-N.html ├── doc-index-O.html ├── doc-index-P.html ├── doc-index-Q.html ├── doc-index-R.html ├── doc-index-S.html ├── doc-index-T.html ├── doc-index-U.html ├── doc-index-V.html ├── doc-index-W.html ├── doc-index-X.html ├── doc-index-Y.html ├── doc-index-Z.html ├── doc-index.html ├── haddock-bundle.min.js ├── index.html ├── linuwial.css ├── meta.json ├── quick-jump.css ├── src │ ├── Proarrow.Adjunction.html │ ├── Proarrow.Category.Bicategory.Bidiscrete.html │ ├── Proarrow.Category.Bicategory.CategoryAsBi.html │ ├── Proarrow.Category.Bicategory.Co.html │ ├── Proarrow.Category.Bicategory.Hom.html │ ├── Proarrow.Category.Bicategory.Kan.html │ ├── Proarrow.Category.Bicategory.Limit.html │ ├── Proarrow.Category.Bicategory.MonoidalAsBi.html │ ├── Proarrow.Category.Bicategory.Op.html │ ├── Proarrow.Category.Bicategory.Product.html │ ├── Proarrow.Category.Bicategory.Prof.html │ ├── Proarrow.Category.Bicategory.Relative.html │ ├── Proarrow.Category.Bicategory.Strictified.html │ ├── Proarrow.Category.Bicategory.Sub.html │ ├── Proarrow.Category.Bicategory.Terminal.html │ ├── Proarrow.Category.Bicategory.html │ ├── Proarrow.Category.Colimit.html │ ├── Proarrow.Category.Enriched.Dagger.html │ ├── Proarrow.Category.Enriched.ThinCategory.html │ ├── Proarrow.Category.Enriched.html │ ├── Proarrow.Category.Equipment.BiAsEquipment.html │ ├── Proarrow.Category.Equipment.Limit.html │ ├── Proarrow.Category.Equipment.Quintet.html │ ├── Proarrow.Category.Equipment.Stateful.html │ ├── Proarrow.Category.Equipment.html │ ├── Proarrow.Category.Instance.Ap.html │ ├── Proarrow.Category.Instance.Bool.html │ ├── Proarrow.Category.Instance.Cat.html │ ├── Proarrow.Category.Instance.Collage.html │ ├── Proarrow.Category.Instance.Constraint.html │ ├── Proarrow.Category.Instance.Coproduct.html │ ├── Proarrow.Category.Instance.Cost.html │ ├── Proarrow.Category.Instance.Discrete.html │ ├── Proarrow.Category.Instance.Fam.html │ ├── Proarrow.Category.Instance.Fin.html │ ├── Proarrow.Category.Instance.Free.html │ ├── Proarrow.Category.Instance.Hask.html │ ├── Proarrow.Category.Instance.IntConstruction.html │ ├── Proarrow.Category.Instance.Kleisli.html │ ├── Proarrow.Category.Instance.Linear.html │ ├── Proarrow.Category.Instance.Mat.html │ ├── Proarrow.Category.Instance.Nat.html │ ├── Proarrow.Category.Instance.PointedHask.html │ ├── Proarrow.Category.Instance.Product.html │ ├── Proarrow.Category.Instance.Prof.html │ ├── Proarrow.Category.Instance.Rel.html │ ├── Proarrow.Category.Instance.Simplex.html │ ├── Proarrow.Category.Instance.Sub.html │ ├── Proarrow.Category.Instance.Unit.html │ ├── Proarrow.Category.Instance.ZX.html │ ├── Proarrow.Category.Instance.Zero.html │ ├── Proarrow.Category.Limit.html │ ├── Proarrow.Category.Monoidal.Action.html │ ├── Proarrow.Category.Monoidal.Applicative.html │ ├── Proarrow.Category.Monoidal.Distributive.html │ ├── Proarrow.Category.Monoidal.Endo.html │ ├── Proarrow.Category.Monoidal.Optic.html │ ├── Proarrow.Category.Monoidal.Rev.html │ ├── Proarrow.Category.Monoidal.Strictified.html │ ├── Proarrow.Category.Monoidal.html │ ├── Proarrow.Category.Opposite.html │ ├── Proarrow.Category.Promonoidal.html │ ├── Proarrow.Category.html │ ├── Proarrow.Core.html │ ├── Proarrow.Functor.html │ ├── Proarrow.Monoid.html │ ├── Proarrow.Object.BinaryCoproduct.html │ ├── Proarrow.Object.BinaryProduct.html │ ├── Proarrow.Object.Coexponential.html │ ├── Proarrow.Object.Copower.html │ ├── Proarrow.Object.Dual.html │ ├── Proarrow.Object.Exponential.html │ ├── Proarrow.Object.Initial.html │ ├── Proarrow.Object.Power.html │ ├── Proarrow.Object.Terminal.html │ ├── Proarrow.Object.html │ ├── Proarrow.Profunctor.Cofree.html │ ├── Proarrow.Profunctor.Composition.html │ ├── Proarrow.Profunctor.Constant.html │ ├── Proarrow.Profunctor.Coproduct.html │ ├── Proarrow.Profunctor.Corepresentable.html │ ├── Proarrow.Profunctor.Costar.html │ ├── Proarrow.Profunctor.Coyoneda.html │ ├── Proarrow.Profunctor.Day.html │ ├── Proarrow.Profunctor.Exponential.html │ ├── Proarrow.Profunctor.Fix.html │ ├── Proarrow.Profunctor.Fold.html │ ├── Proarrow.Profunctor.Free.html │ ├── Proarrow.Profunctor.HaskValue.html │ ├── Proarrow.Profunctor.Identity.html │ ├── Proarrow.Profunctor.Initial.html │ ├── Proarrow.Profunctor.List.html │ ├── Proarrow.Profunctor.Product.html │ ├── Proarrow.Profunctor.Ran.html │ ├── Proarrow.Profunctor.Representable.html │ ├── Proarrow.Profunctor.Rift.html │ ├── Proarrow.Profunctor.Star.html │ ├── Proarrow.Profunctor.Terminal.html │ ├── Proarrow.Profunctor.Wrapped.html │ ├── Proarrow.Profunctor.Yoneda.html │ ├── Proarrow.Profunctor.html │ ├── Proarrow.Promonad.Cont.html │ ├── Proarrow.Promonad.Reader.html │ ├── Proarrow.Promonad.State.html │ ├── Proarrow.Promonad.Writer.html │ ├── Proarrow.Promonad.html │ ├── Proarrow.Squares.Limit.html │ ├── Proarrow.Squares.Relative.html │ ├── Proarrow.Squares.html │ ├── Proarrow.Tools.CCC.html │ ├── Proarrow.Tools.Laws.html │ ├── Proarrow.Universal.html │ ├── Proarrow.html │ ├── highlight.js │ └── style.css └── synopsis.png ├── fourmolu.yaml ├── mkdocs.sh ├── proarrow.cabal ├── src ├── Proarrow.hs └── Proarrow │ ├── Adjunction.hs │ ├── Category.hs │ ├── Category │ ├── Bicategory.hs │ ├── Bicategory │ │ ├── Adj.hs │ │ ├── Bidiscrete.hs │ │ ├── CategoryAsBi.hs │ │ ├── Co.hs │ │ ├── Hom.hs │ │ ├── Kan.hs │ │ ├── Limit.hs │ │ ├── Mod.hs │ │ ├── MonoidalAsBi.hs │ │ ├── Op.hs │ │ ├── Product.hs │ │ ├── Prof.hs │ │ ├── Relative.hs │ │ ├── Strictified.hs │ │ ├── Sub.hs │ │ └── Terminal.hs │ ├── Colimit.hs │ ├── Enriched.hs │ ├── Enriched │ │ ├── Dagger.hs │ │ └── ThinCategory.hs │ ├── Equipment.hs │ ├── Equipment │ │ ├── BiAsEquipment.hs │ │ ├── Limit.hs │ │ ├── Quintet.hs │ │ └── Stateful.hs │ ├── Instance │ │ ├── Ap.hs │ │ ├── Bool.hs │ │ ├── Cat.hs │ │ ├── Collage.hs │ │ ├── Constraint.hs │ │ ├── Coproduct.hs │ │ ├── Cost.hs │ │ ├── Discrete.hs │ │ ├── Fam.hs │ │ ├── Fin.hs │ │ ├── Free.hs │ │ ├── Hask.hs │ │ ├── IntConstruction.hs │ │ ├── Kleisli.hs │ │ ├── Linear.hs │ │ ├── Mat.hs │ │ ├── Nat.hs │ │ ├── PointedHask.hs │ │ ├── Product.hs │ │ ├── Prof.hs │ │ ├── Rel.hs │ │ ├── Simplex.hs │ │ ├── Sub.hs │ │ ├── Unit.hs │ │ ├── ZX.hs │ │ └── Zero.hs │ ├── Limit.hs │ ├── Monoidal.hs │ ├── Monoidal │ │ ├── Action.hs │ │ ├── Applicative.hs │ │ ├── Distributive.hs │ │ ├── Endo.hs │ │ ├── Optic.hs │ │ ├── Rev.hs │ │ └── Strictified.hs │ ├── Opposite.hs │ └── Promonoidal.hs │ ├── Core.hs │ ├── Functor.hs │ ├── Monoid.hs │ ├── Object.hs │ ├── Object │ ├── BinaryCoproduct.hs │ ├── BinaryProduct.hs │ ├── Coexponential.hs │ ├── Copower.hs │ ├── Dual.hs │ ├── Exponential.hs │ ├── Initial.hs │ ├── Power.hs │ └── Terminal.hs │ ├── Profunctor.hs │ ├── Profunctor │ ├── Cofree.hs │ ├── Composition.hs │ ├── Constant.hs │ ├── Coproduct.hs │ ├── Corepresentable.hs │ ├── Costar.hs │ ├── Coyoneda.hs │ ├── Day.hs │ ├── Exponential.hs │ ├── Fix.hs │ ├── Fold.hs │ ├── Forget.hs │ ├── Free.hs │ ├── HaskValue.hs │ ├── Identity.hs │ ├── Initial.hs │ ├── List.hs │ ├── Product.hs │ ├── Ran.hs │ ├── Representable.hs │ ├── Rift.hs │ ├── Star.hs │ ├── Terminal.hs │ ├── Wrapped.hs │ └── Yoneda.hs │ ├── Promonad.hs │ ├── Promonad │ ├── Cont.hs │ ├── Reader.hs │ ├── State.hs │ └── Writer.hs │ ├── Squares.hs │ ├── Squares │ ├── Limit.hs │ └── Relative.hs │ ├── Tools │ ├── CCC.hs │ └── Laws.hs │ └── Universal.hs └── test ├── Main.hs ├── Props.hs ├── Props ├── Bool.hs ├── Hask.hs ├── Kleisli.hs ├── Linear.hs ├── Mat.hs ├── PointedHask.hs ├── Simplex.hs └── ZX.hs ├── TestFree.hs └── Testable.hs /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/README.md -------------------------------------------------------------------------------- /docs/Proarrow-Adjunction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Adjunction.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Bidiscrete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Bidiscrete.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-CategoryAsBi.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-CategoryAsBi.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Co.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Co.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Hom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Hom.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Kan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Kan.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Limit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Limit.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-MonoidalAsBi.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-MonoidalAsBi.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Op.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Op.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Product.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Product.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Prof.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Prof.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Relative.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Relative.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Strictified.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Strictified.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Sub.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Sub.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory-Terminal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory-Terminal.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Bicategory.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Bicategory.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Colimit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Colimit.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Enriched-Dagger.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Enriched-Dagger.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Enriched-ThinCategory.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Enriched-ThinCategory.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Enriched.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Enriched.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Equipment-BiAsEquipment.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Equipment-BiAsEquipment.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Equipment-Limit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Equipment-Limit.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Equipment-Quintet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Equipment-Quintet.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Equipment-Stateful.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Equipment-Stateful.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Equipment.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Equipment.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Ap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Ap.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Bool.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Bool.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Cat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Cat.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Collage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Collage.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Constraint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Constraint.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Coproduct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Coproduct.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Cost.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Cost.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Discrete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Discrete.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Fam.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Fam.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Fin.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Fin.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Free.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Free.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Hask.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Hask.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-IntConstruction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-IntConstruction.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Kleisli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Kleisli.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Linear.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Linear.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Mat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Mat.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Nat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Nat.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-PointedHask.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-PointedHask.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Product.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Product.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Prof.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Prof.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Rel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Rel.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Simplex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Simplex.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Sub.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Sub.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Unit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Unit.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-ZX.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-ZX.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Instance-Zero.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Instance-Zero.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Limit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Limit.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Monoidal-Action.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Monoidal-Action.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Monoidal-Applicative.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Monoidal-Applicative.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Monoidal-Distributive.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Monoidal-Distributive.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Monoidal-Endo.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Monoidal-Endo.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Monoidal-Optic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Monoidal-Optic.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Monoidal-Rev.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Monoidal-Rev.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Monoidal-Strictified.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Monoidal-Strictified.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Monoidal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Monoidal.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Opposite.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Opposite.html -------------------------------------------------------------------------------- /docs/Proarrow-Category-Promonoidal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category-Promonoidal.html -------------------------------------------------------------------------------- /docs/Proarrow-Category.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Category.html -------------------------------------------------------------------------------- /docs/Proarrow-Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Core.html -------------------------------------------------------------------------------- /docs/Proarrow-Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Functor.html -------------------------------------------------------------------------------- /docs/Proarrow-Monoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Monoid.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-BinaryCoproduct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-BinaryCoproduct.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-BinaryProduct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-BinaryProduct.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-Coexponential.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-Coexponential.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-Copower.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-Copower.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-Dual.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-Dual.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-Exponential.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-Exponential.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-Initial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-Initial.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-Power.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-Power.html -------------------------------------------------------------------------------- /docs/Proarrow-Object-Terminal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object-Terminal.html -------------------------------------------------------------------------------- /docs/Proarrow-Object.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Object.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Cofree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Cofree.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Composition.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Composition.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Constant.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Constant.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Coproduct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Coproduct.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Corepresentable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Corepresentable.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Costar.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Costar.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Coyoneda.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Coyoneda.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Day.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Day.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Exponential.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Exponential.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Fix.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Fold.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Fold.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Free.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Free.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-HaskValue.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-HaskValue.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Identity.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Identity.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Initial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Initial.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-List.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-List.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Product.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Product.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Ran.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Ran.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Representable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Representable.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Rift.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Rift.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Star.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Star.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Terminal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Terminal.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Wrapped.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Wrapped.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor-Yoneda.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor-Yoneda.html -------------------------------------------------------------------------------- /docs/Proarrow-Profunctor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Profunctor.html -------------------------------------------------------------------------------- /docs/Proarrow-Promonad-Cont.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Promonad-Cont.html -------------------------------------------------------------------------------- /docs/Proarrow-Promonad-Reader.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Promonad-Reader.html -------------------------------------------------------------------------------- /docs/Proarrow-Promonad-State.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Promonad-State.html -------------------------------------------------------------------------------- /docs/Proarrow-Promonad-Writer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Promonad-Writer.html -------------------------------------------------------------------------------- /docs/Proarrow-Promonad.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Promonad.html -------------------------------------------------------------------------------- /docs/Proarrow-Squares-Limit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Squares-Limit.html -------------------------------------------------------------------------------- /docs/Proarrow-Squares-Relative.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Squares-Relative.html -------------------------------------------------------------------------------- /docs/Proarrow-Squares.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Squares.html -------------------------------------------------------------------------------- /docs/Proarrow-Tools-CCC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Tools-CCC.html -------------------------------------------------------------------------------- /docs/Proarrow-Tools-Laws.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Tools-Laws.html -------------------------------------------------------------------------------- /docs/Proarrow-Universal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow-Universal.html -------------------------------------------------------------------------------- /docs/Proarrow.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/Proarrow.html -------------------------------------------------------------------------------- /docs/doc-index-124.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-124.html -------------------------------------------------------------------------------- /docs/doc-index-126.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-126.html -------------------------------------------------------------------------------- /docs/doc-index-33.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-33.html -------------------------------------------------------------------------------- /docs/doc-index-36.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-36.html -------------------------------------------------------------------------------- /docs/doc-index-37.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-37.html -------------------------------------------------------------------------------- /docs/doc-index-38.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-38.html -------------------------------------------------------------------------------- /docs/doc-index-42.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-42.html -------------------------------------------------------------------------------- /docs/doc-index-43.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-43.html -------------------------------------------------------------------------------- /docs/doc-index-45.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-45.html -------------------------------------------------------------------------------- /docs/doc-index-46.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-46.html -------------------------------------------------------------------------------- /docs/doc-index-47.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-47.html -------------------------------------------------------------------------------- /docs/doc-index-58.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-58.html -------------------------------------------------------------------------------- /docs/doc-index-60.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-60.html -------------------------------------------------------------------------------- /docs/doc-index-61.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-61.html -------------------------------------------------------------------------------- /docs/doc-index-63.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-63.html -------------------------------------------------------------------------------- /docs/doc-index-64.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-64.html -------------------------------------------------------------------------------- /docs/doc-index-92.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-92.html -------------------------------------------------------------------------------- /docs/doc-index-94.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-94.html -------------------------------------------------------------------------------- /docs/doc-index-A.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-A.html -------------------------------------------------------------------------------- /docs/doc-index-All.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-All.html -------------------------------------------------------------------------------- /docs/doc-index-B.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-B.html -------------------------------------------------------------------------------- /docs/doc-index-C.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-C.html -------------------------------------------------------------------------------- /docs/doc-index-D.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-D.html -------------------------------------------------------------------------------- /docs/doc-index-E.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-E.html -------------------------------------------------------------------------------- /docs/doc-index-F.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-F.html -------------------------------------------------------------------------------- /docs/doc-index-G.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-G.html -------------------------------------------------------------------------------- /docs/doc-index-H.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-H.html -------------------------------------------------------------------------------- /docs/doc-index-I.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-I.html -------------------------------------------------------------------------------- /docs/doc-index-K.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-K.html -------------------------------------------------------------------------------- /docs/doc-index-L.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-L.html -------------------------------------------------------------------------------- /docs/doc-index-M.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-M.html -------------------------------------------------------------------------------- /docs/doc-index-N.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-N.html -------------------------------------------------------------------------------- /docs/doc-index-O.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-O.html -------------------------------------------------------------------------------- /docs/doc-index-P.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-P.html -------------------------------------------------------------------------------- /docs/doc-index-Q.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-Q.html -------------------------------------------------------------------------------- /docs/doc-index-R.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-R.html -------------------------------------------------------------------------------- /docs/doc-index-S.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-S.html -------------------------------------------------------------------------------- /docs/doc-index-T.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-T.html -------------------------------------------------------------------------------- /docs/doc-index-U.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-U.html -------------------------------------------------------------------------------- /docs/doc-index-V.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-V.html -------------------------------------------------------------------------------- /docs/doc-index-W.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-W.html -------------------------------------------------------------------------------- /docs/doc-index-X.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-X.html -------------------------------------------------------------------------------- /docs/doc-index-Y.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-Y.html -------------------------------------------------------------------------------- /docs/doc-index-Z.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index-Z.html -------------------------------------------------------------------------------- /docs/doc-index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/doc-index.html -------------------------------------------------------------------------------- /docs/haddock-bundle.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/haddock-bundle.min.js -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/linuwial.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/linuwial.css -------------------------------------------------------------------------------- /docs/meta.json: -------------------------------------------------------------------------------- 1 | {"haddock_version":"2.30.0"} -------------------------------------------------------------------------------- /docs/quick-jump.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/quick-jump.css -------------------------------------------------------------------------------- /docs/src/Proarrow.Adjunction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Adjunction.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Bidiscrete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Bidiscrete.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.CategoryAsBi.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.CategoryAsBi.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Co.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Co.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Hom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Hom.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Kan.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Kan.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Limit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Limit.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.MonoidalAsBi.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.MonoidalAsBi.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Op.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Op.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Product.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Product.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Prof.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Prof.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Relative.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Relative.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Strictified.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Strictified.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Sub.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Sub.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.Terminal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.Terminal.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Bicategory.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Bicategory.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Colimit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Colimit.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Enriched.Dagger.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Enriched.Dagger.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Enriched.ThinCategory.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Enriched.ThinCategory.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Enriched.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Enriched.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Equipment.BiAsEquipment.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Equipment.BiAsEquipment.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Equipment.Limit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Equipment.Limit.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Equipment.Quintet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Equipment.Quintet.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Equipment.Stateful.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Equipment.Stateful.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Equipment.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Equipment.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Ap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Ap.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Bool.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Bool.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Cat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Cat.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Collage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Collage.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Constraint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Constraint.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Coproduct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Coproduct.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Cost.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Cost.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Discrete.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Discrete.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Fam.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Fam.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Fin.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Fin.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Free.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Free.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Hask.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Hask.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.IntConstruction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.IntConstruction.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Kleisli.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Kleisli.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Linear.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Linear.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Mat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Mat.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Nat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Nat.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.PointedHask.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.PointedHask.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Product.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Product.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Prof.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Prof.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Rel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Rel.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Simplex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Simplex.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Sub.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Sub.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Unit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Unit.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.ZX.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.ZX.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Instance.Zero.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Instance.Zero.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Limit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Limit.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Monoidal.Action.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Monoidal.Action.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Monoidal.Applicative.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Monoidal.Applicative.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Monoidal.Distributive.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Monoidal.Distributive.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Monoidal.Endo.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Monoidal.Endo.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Monoidal.Optic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Monoidal.Optic.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Monoidal.Rev.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Monoidal.Rev.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Monoidal.Strictified.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Monoidal.Strictified.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Monoidal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Monoidal.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Opposite.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Opposite.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.Promonoidal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.Promonoidal.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Category.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Category.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Core.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Core.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Functor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Functor.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Monoid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Monoid.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.BinaryCoproduct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.BinaryCoproduct.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.BinaryProduct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.BinaryProduct.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.Coexponential.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.Coexponential.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.Copower.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.Copower.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.Dual.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.Dual.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.Exponential.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.Exponential.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.Initial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.Initial.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.Power.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.Power.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.Terminal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.Terminal.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Object.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Object.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Cofree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Cofree.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Composition.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Composition.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Constant.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Constant.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Coproduct.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Coproduct.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Corepresentable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Corepresentable.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Costar.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Costar.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Coyoneda.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Coyoneda.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Day.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Day.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Exponential.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Exponential.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Fix.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Fix.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Fold.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Fold.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Free.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Free.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.HaskValue.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.HaskValue.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Identity.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Identity.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Initial.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Initial.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.List.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.List.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Product.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Product.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Ran.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Ran.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Representable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Representable.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Rift.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Rift.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Star.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Star.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Terminal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Terminal.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Wrapped.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Wrapped.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.Yoneda.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.Yoneda.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Profunctor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Profunctor.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Promonad.Cont.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Promonad.Cont.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Promonad.Reader.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Promonad.Reader.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Promonad.State.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Promonad.State.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Promonad.Writer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Promonad.Writer.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Promonad.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Promonad.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Squares.Limit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Squares.Limit.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Squares.Relative.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Squares.Relative.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Squares.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Squares.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Tools.CCC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Tools.CCC.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Tools.Laws.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Tools.Laws.html -------------------------------------------------------------------------------- /docs/src/Proarrow.Universal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.Universal.html -------------------------------------------------------------------------------- /docs/src/Proarrow.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/Proarrow.html -------------------------------------------------------------------------------- /docs/src/highlight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/highlight.js -------------------------------------------------------------------------------- /docs/src/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/src/style.css -------------------------------------------------------------------------------- /docs/synopsis.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/docs/synopsis.png -------------------------------------------------------------------------------- /fourmolu.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/fourmolu.yaml -------------------------------------------------------------------------------- /mkdocs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/mkdocs.sh -------------------------------------------------------------------------------- /proarrow.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/proarrow.cabal -------------------------------------------------------------------------------- /src/Proarrow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow.hs -------------------------------------------------------------------------------- /src/Proarrow/Adjunction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Adjunction.hs -------------------------------------------------------------------------------- /src/Proarrow/Category.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Adj.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Adj.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Bidiscrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Bidiscrete.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/CategoryAsBi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/CategoryAsBi.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Co.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Co.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Hom.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Hom.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Kan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Kan.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Limit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Limit.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Mod.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Mod.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/MonoidalAsBi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/MonoidalAsBi.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Op.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Product.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Product.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Prof.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Prof.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Relative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Relative.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Strictified.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Strictified.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Sub.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Sub.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Bicategory/Terminal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Bicategory/Terminal.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Colimit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Colimit.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Enriched.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Enriched.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Enriched/Dagger.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Enriched/Dagger.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Enriched/ThinCategory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Enriched/ThinCategory.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Equipment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Equipment.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Equipment/BiAsEquipment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Equipment/BiAsEquipment.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Equipment/Limit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Equipment/Limit.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Equipment/Quintet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Equipment/Quintet.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Equipment/Stateful.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Equipment/Stateful.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Ap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Ap.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Bool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Bool.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Cat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Cat.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Collage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Collage.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Constraint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Constraint.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Coproduct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Coproduct.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Cost.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Cost.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Discrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Discrete.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Fam.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Fam.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Fin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Fin.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Free.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Hask.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Hask.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/IntConstruction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/IntConstruction.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Kleisli.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Kleisli.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Linear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Linear.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Mat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Mat.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Nat.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/PointedHask.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/PointedHask.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Product.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Product.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Prof.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Prof.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Rel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Rel.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Simplex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Simplex.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Sub.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Sub.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Unit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Unit.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/ZX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/ZX.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Instance/Zero.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Instance/Zero.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Limit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Limit.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Monoidal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Monoidal.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Monoidal/Action.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Monoidal/Action.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Monoidal/Applicative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Monoidal/Applicative.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Monoidal/Distributive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Monoidal/Distributive.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Monoidal/Endo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Monoidal/Endo.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Monoidal/Optic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Monoidal/Optic.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Monoidal/Rev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Monoidal/Rev.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Monoidal/Strictified.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Monoidal/Strictified.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Opposite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Opposite.hs -------------------------------------------------------------------------------- /src/Proarrow/Category/Promonoidal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Category/Promonoidal.hs -------------------------------------------------------------------------------- /src/Proarrow/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Core.hs -------------------------------------------------------------------------------- /src/Proarrow/Functor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Functor.hs -------------------------------------------------------------------------------- /src/Proarrow/Monoid.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Monoid.hs -------------------------------------------------------------------------------- /src/Proarrow/Object.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/BinaryCoproduct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/BinaryCoproduct.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/BinaryProduct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/BinaryProduct.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/Coexponential.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/Coexponential.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/Copower.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/Copower.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/Dual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/Dual.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/Exponential.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/Exponential.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/Initial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/Initial.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/Power.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/Power.hs -------------------------------------------------------------------------------- /src/Proarrow/Object/Terminal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Object/Terminal.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Cofree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Cofree.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Composition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Composition.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Constant.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Constant.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Coproduct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Coproduct.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Corepresentable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Corepresentable.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Costar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Costar.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Coyoneda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Coyoneda.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Day.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Day.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Exponential.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Exponential.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Fix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Fix.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Fold.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Fold.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Forget.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Forget.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Free.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/HaskValue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/HaskValue.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Identity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Identity.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Initial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Initial.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/List.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Product.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Product.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Ran.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Ran.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Representable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Representable.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Rift.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Rift.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Star.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Star.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Terminal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Terminal.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Wrapped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Wrapped.hs -------------------------------------------------------------------------------- /src/Proarrow/Profunctor/Yoneda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Profunctor/Yoneda.hs -------------------------------------------------------------------------------- /src/Proarrow/Promonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Promonad.hs -------------------------------------------------------------------------------- /src/Proarrow/Promonad/Cont.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Promonad/Cont.hs -------------------------------------------------------------------------------- /src/Proarrow/Promonad/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Promonad/Reader.hs -------------------------------------------------------------------------------- /src/Proarrow/Promonad/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Promonad/State.hs -------------------------------------------------------------------------------- /src/Proarrow/Promonad/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Promonad/Writer.hs -------------------------------------------------------------------------------- /src/Proarrow/Squares.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Squares.hs -------------------------------------------------------------------------------- /src/Proarrow/Squares/Limit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Squares/Limit.hs -------------------------------------------------------------------------------- /src/Proarrow/Squares/Relative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Squares/Relative.hs -------------------------------------------------------------------------------- /src/Proarrow/Tools/CCC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Tools/CCC.hs -------------------------------------------------------------------------------- /src/Proarrow/Tools/Laws.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Tools/Laws.hs -------------------------------------------------------------------------------- /src/Proarrow/Universal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/src/Proarrow/Universal.hs -------------------------------------------------------------------------------- /test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Main.hs -------------------------------------------------------------------------------- /test/Props.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props.hs -------------------------------------------------------------------------------- /test/Props/Bool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props/Bool.hs -------------------------------------------------------------------------------- /test/Props/Hask.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props/Hask.hs -------------------------------------------------------------------------------- /test/Props/Kleisli.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props/Kleisli.hs -------------------------------------------------------------------------------- /test/Props/Linear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props/Linear.hs -------------------------------------------------------------------------------- /test/Props/Mat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props/Mat.hs -------------------------------------------------------------------------------- /test/Props/PointedHask.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props/PointedHask.hs -------------------------------------------------------------------------------- /test/Props/Simplex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props/Simplex.hs -------------------------------------------------------------------------------- /test/Props/ZX.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Props/ZX.hs -------------------------------------------------------------------------------- /test/TestFree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/TestFree.hs -------------------------------------------------------------------------------- /test/Testable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sjoerdvisscher/proarrow/HEAD/test/Testable.hs --------------------------------------------------------------------------------