GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → japesinator → Idris-Profunctors

japesinator / Idris-Profunctors

Licence: other
A small profunctor library for idris

Programming Languages

Idris
72 projects

Idris Profunctors

This is a profunctor library for idris based off the excellent Haskell Profunctors package from Edward Kmett. Contributions, bug reports, and feature requests are welcome.

Contains

  • Profunctors (including verified versions)

  • Various Profunctor/Functor transformations

  • Lenses

  • Isomorphisms

  • Prisms

Installation

Run idris --install profunctors.ipkg from inside this directory, and then if you want to use it with anything, invoke idris with -p profunctors (i.e. idris -p profunctors hack_the_planet.idr)

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].