pointful: Pointful refactoring tool

[ bsd3, development, library, program ] [ Propose Tags ]

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

[Skip to Readme]


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 1.0, 1.0.1, 1.0.2, 1.0.4, 1.0.5, 1.0.6, 1.0.7, 1.0.8, 1.0.9,,
Change log CHANGELOG.md
Dependencies base (>=4.7 && <4.14), containers (>=0.4 && <0.7), haskell-src-exts-simple (>=1.18 && <1.22), mtl (>=2 && <2.3), pointful, syb (>=0.3 && <0.8), transformers (>=0.2 && <0.6) [details]
License BSD-3-Clause
Author Thomas Jäger, Bertram Felgenhauer, James Cook et al.
Maintainer Mikhail Glushenkov <mikhail.glushenkov@gmail.com>
Category Development
Home page http://github.com/23Skidoo/pointful
Source repo head: git clone https://github.com/23Skidoo/pointful.git
this: git clone https://github.com/23Skidoo/pointful.git(tag pointful-
Uploaded by MikhailGlushenkov at 2019-09-16T14:51:47Z
Reverse Dependencies 2 direct, 0 indirect [details]
Executables pointful
Downloads 10774 total (17 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-09-16 [all 1 reports]

Readme for pointful-

[back to package description]

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.


cabal install pointful


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


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