Repository files navigation

This is a library providing recursion schemes for Idris. It it is loosely basedon Edward Kmett'sHaskelllibrary.

First, installidris-free,comonad andcomposition. Then:

idris --install recursion_schemes.ipkg

To run the tests, installspecdris.Then:

idris --testpkg test.ipkg

The classic paperFunctional programming with bananas, lenses, envelopes andbarbed wire is theinspiration behind the Haskell library and is the standard reference on thetopic. You may also findLaw and Order inAlgorithmicsto be of use.

In theTest.Spec module there are several examples, including a catamorphism,a zygomorphism, a mutumorphism, an Elgot algebra, a paramorphism, adynamorphism, and a hylomorphism.

You can find documentationhere.