@hackage / squares

The double category of Hask functors and profunctors

Latest0.2.1

About

Metadata

  • Last updated , by SjoerdVisscher
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: sjoerd@w3future.com

  • Lottery factor: 0

Links

Installation

Readme

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.