/pointful

Stand-alone command-line version of the pointful plugin for Lambdabot.

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

pointful Hackage version Stackage version Build Status

Stand-alone command-line version of the pointful plugin for Lambdabot.

This tool transforms Haskell expressions from the implicit pointfree style to the explicit pointful style. This makes it easier to understand such expressions.

For example, consider the expression max 100 . uncurry max, which is in pointfree style. In pointful style, this becomes \ tuple -> max 100 ((uncurry max) tuple). With a little additional investigation around uncurry max, it can be determined that this expression takes a 2-tuple and returns the maximum of its elements and 100.

Installation

cabal install pointful

Usage

$ pointful "max 100 . uncurry max"
\ c -> max 100 ((uncurry max) c)

Credits

Pointful plugin code taken from Lambdabot. Originally written by Thomas Jäger (?).