Awesome

composition

This provides a Data.Composition module, much like the Haskell composition package or the composition-extra package. As of now, it's just a thin wrapper around hezarfen with names I like.

Installation

First, install hezarfen. Then, in the cloned directory:

idris --install composition.ipkg

Use

As an example, you could replace

f = \x, y => 2 * y + x

with

f = (*2) .* +

Documentation

You can find documentation here.