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-Bifunctors

japesinator / Idris-Bifunctors

Licence: other
A small bifunctor library for idris

Programming Languages

Idris
72 projects
shell
77523 projects

Idris Bifunctors

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

Contains

  • Bifunctors (including verified versions)

  • Biapplicatives (including verified versions)

  • Bimonads (experimental)

  • Bifoldables

  • Bitraversable

  • Various functor/bifunctor transformers

To Install

Run idris --install bifunctors.ipkg from inside this directory, and then if you want to use it with anything, invoke idris with -p bifunctors (i.e. idris -p bifunctors 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].