Awesome Open Source
Awesome Open Source


Build Status

This is a library providing recursion schemes for Idris. It it is loosely based on Edward Kmett's Haskell library.


First, install idris-free, comonad and composition. Then:

idris --install recursion_schemes.ipkg

To run the tests, install specdris. Then:

idris --testpkg test.ipkg


The classic paper Functional programming with bananas, lenses, envelopes and barbed wire is the inspiration behind the Haskell library and is the standard reference on the topic. You may also find Law and Order in Algorithmics to be of use.


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


You can find documentation here.

Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
idris (46
recursion (29

Find Open Source By Browsing 7,000 Topics Across 59 Categories