Idris2 Profunctors

This is a profunctor library for Idris2 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

Misses

• Proofs for algebraic properties of Folds.

Installation

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