Stand-alone command-line version of the pointful plugin for Lambdabot.
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Lambdabot
main Sync with upstream. Aug 6, 2016
.gitignore
.travis.yml Update .travis.yml Aug 6, 2016
LICENSE Initial commit. Oct 24, 2009
README.md Add a .travis.yml. Nov 21, 2015
Setup.lhs Initial commit. Oct 24, 2009
pointful.cabal Sync with upstream. Aug 6, 2016

README.md

pointful 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 (?).