squares: The double category of Hask functors and profunctors

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

A library for working with natural transformations of type

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

[Skip to Readme]

Properties

Versions 0, 0.0.1, 0.1, 0.1, 0.1.1, 0.2, 0.2.1
Change log CHANGELOG.md
Dependencies adjunctions (>=4 && <5), base (>=4.8 && <5), comonad (>=5 && <6), distributive (>=0.6 && <0.7), 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 2020-05-26T14:40:19Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


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