squares: The double category of Hask functors and profunctors

[ bsd3, category-theory, library, math ] [ Propose Tags ]

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]
Versions [faq] 0, 0.0.1, 0.1, 0.1.1
Change log CHANGELOG.md
Dependencies adjunctions (==4.*), base (>=4.9 && <5), bifunctors (==5.*), comonad (==5.*), distributive (==0.6.*), profunctors (==5.*) [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 2020-05-27T16:11:20Z
Distributions NixOS:0.1.1
Downloads 185 total (23 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-05-27 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for squares-0.1.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.