pointfree: Tool for refactoring expressions into pointfree form

[ library, program, tool ] [ Propose Tags ]

The pointfree tool is a standalone command-line version of the pl plugin for lambdabot.

[Skip to Readme]
Versions 1.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4,,,,,,,, 1.1,,,
Change log ChangeLog
Dependencies array (>=0.3 && <0.5), base (>=3 && <4.7), containers (>=0.3 && <0.6), haskell-src-exts (>=1.11 && <1.14), transformers (<0.4) [details]
License LicenseRef-OtherLicense
Author Thomas Jäger
Maintainer Ben Millwood <haskell@benmachine.co.uk>
Category Tool
Source repo head: git clone git://github.com/benmachine/pointfree.git
Uploaded by BenMillwood at Mon Jul 8 17:11:54 UTC 2013
Distributions NixOS:
Executables pointfree
Downloads 10612 total (64 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Successful builds reported [all 7 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees

Readme for pointfree-

[back to package description]
Pointfree refactoring tool

Stand-alone command-line version of the point-less plugin for lambdabot. 
Detailed information about the use of this tool is available at 

Integration with GHCi: Make sure that the directory containing the pointfree 
executable is in your PATH environment variable and add the following line to 
your GHCi configuration file:

:def pf \str -> return $ ":! pointfree \"" ++ str ++ "\""

Or modify the line to point directly to the executable. Invoke pointfree with 
commands like

:pf \x y -> x + y


Not all of the testsuite passes, but one failure is due to a bug in HSE (see 
http://code.google.com/p/haskell-src-exts/issues/detail?id=24 ) and many of the 
others I'm not sure if they ever succeeded, and are mostly failures to 
optimise, rather than actual correctness bugs.

Future directions

It would be nice to make pointfree a library that operated on ASTs, or at the 
very least on strings.