squares: The double category of Hask functors and profunctors

[ bsd3, category-theory, library, math ] [ Propose Tags ] [ Report a vulnerability ]

A library for working with natural transformations of type

forall a b. p a b -> q (f a) (g b)

See the Data.Square module for an introduction.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0, 0.0.1, 0.1, 0.1.1, 0.2, 0.2.1
Change log CHANGELOG.md
Dependencies adjunctions (>=4 && <5), base (>=4.9 && <5), bifunctors (>=5 && <6), comonad (>=5 && <6), distributive (>=0.6 && <0.7), kan-extensions (>=5 && <6), profunctors (>=5 && <6) [details]
License BSD-3-Clause
Author Sjoerd Visscher
Maintainer sjoerd@w3future.com
Category Math
Home page https://github.com/sjoerdvisscher/squares
Bug tracker https://github.com/sjoerdvisscher/squares/issues
Source repo head: git clone git://github.com/sjoerdvisscher/squares.git
Uploaded by SjoerdVisscher at 2023-07-15T17:03:43Z
Distributions NixOS:0.2.1
Downloads 844 total (27 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-07-15 [all 1 reports]

Readme for squares-0.2.1

[back to package description]

squares

squares is a library for working with natural transformations of type forall a b. p a b -> q (f a) (g b). These are squares in the double category of Haskell functors and profunctors.

See the Data.Square module for an introduction.