/Idris-Bifunctors

A small bifunctor library for idris
  1. Idris 99.8%
  2. Shell 0.2%
Switch branches/tags
Nothing to show
Find file
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src/Data
test/Data
.gitignore
README.md
bifunctors.ipkg
test.ipkg
test.sh

README.md

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)