The apply-refact package

[Tags:bsd3, library, program]

Perform refactorings specified by the refact library. It is primarily used with HLint's --refactor flag.

[Skip to Readme]


Change log CHANGELOG
Dependencies base (>=4.8 && <4.11), containers, directory, filemanip, filepath, ghc (>=8.2.0 && <8.3), ghc-exactprint (>=, mtl, optparse-applicative (>=0.13), process, refact (>=0.2), syb, temporary, transformers, unix-compat [details]
License BSD3
Author Matthew Pickering
Category Development
Source repository head: git clone
Uploaded Sun Jul 23 22:55:07 UTC 2017 by mpickering
Distributions NixOS:, Stackage:
Downloads 1017 total (118 in the last 30 days)
0 []
Status Docs pending
Build status unknown [no reports yet]
Hackage Matrix CI


  • Refact
    • Refact.Apply
    • Refact.Fixity
    • Refact.Utils


Maintainer's Corner

For package maintainers and hackage trustees

Readme for apply-refact

Readme for apply-refact-

apply-refact applies refactorings specified by the refact package. It is currently integrated into hlint to enable the automatic application of suggestions.


stack --resolver=nightly install apply-refact

executable name is refactor

Hlint Integration example

hlint src/Main.hs --refactor --refactor-options="--inplace"

Example Usage

<img src="">

# test.hs

foo = (x)

# hlint.refact -- produced by hlint --serialise
[("test.hs:1:7: Warning: Redundant bracket\nFound:\n  (x)\nWhy not:\n
x\n",[Replace {rtype = Expr, pos = SrcSpan {startLine = 1, startCol = 7, endLine
= 1, endCol = 10}, subts = [("x",SrcSpan {startLine = 1, startCol = 8, endLine =
1, endCol = 9})], orig = "x"}])]

> refactor test.hs --refact-file hlint.refact
foo = x

One of either the input file or --refact-file must be specified on the command line. If an input file is specified but not --refact-file then refactor will accept refactorings from stdin and vice versa.

The -i option can be specified to perform the refactoring inplace overwriting the input file. This option is ignored when input is read from stdin.

The -s option can be specified to perform a stepwise evaluation of the refact file. The user is prompted whether to perform each hint before it is performed.

The --pos option is intended to be used by tooling in order to specify which specific hint should be performed.

Refact Files

Refact files should be the result of show on a value of type [(String, [Refactoring SrcSpan])]. The string is a description of the refactoring, one description can have many associated refactoring steps.

Library Structure

The executable is provide so that libraries can use apply-refact without depending on the package. The implementation relies on ghc-exactprint which depends itself on GHC. A transitive dependancy that most developers wish to avoid!

Reporting Bugs

If the program produces a syntactically incorrect result then this is a bug. Please open an issue on the issue tracker with precise instructions about how to reproduce it.

  1. The input file
  2. The refact file
  3. The command used to invoke refactor

There are some known problems with CPP processing. If your library contains CPP directives other than #ifdef it is quite likely that the result will be unexpected.


There are also two hidden flags which can be useful for debugging.


Outputs the GHC AST.


Performs no refactoring operations on the file but is useful to test whether unexpected formatting is due to ghc-exactprint or the refactoring.