Skip to content

Latest commit

 

History

History
117 lines (103 loc) · 5.35 KB

Tools.md

File metadata and controls

117 lines (103 loc) · 5.35 KB

Tools in the ecosystem

Linters / Refactoring

  • hlint: suggests changes to simplify code and make it easier to read - (github, hackage, website)
  • HaRe: Haskell Refactoring Tool - (github, website)
  • dead-code-detection: Detects dead code in haskell projects - (github, hackage)
  • argon: Monitor cyclomatic complexity in Haskell programs - (github, hackage)
  • style-scanner: Lexical style suggestions for source code - (darcs, hackage, website)
  • stylish-haskell: Haskell code prettifier - (github, hackage)
  • hindent: Extensible Haskell pretty printer - (github, hackage)
  • apply-refact: ...
  • pointfree: Tool for refactoring expressions into pointfree form - (hackage haskell wiki github)
  • pointful: Tool for refactoring expressions into pointfull form - (github, hackage)
  • hfmt: Code reformatter, using hlint, hindent, and stylish-haskell - (hackage, github)

Documentation generation / lookup

console / REPL

  • ghci: ...
  • ghci-ng: ...

Ide backends

  • ide-backend: drives the GHC API to build, query, and run your code - (github, hackage)
  • ghc-mod: Haskell ide-backend - (github, hackage, website)
  • buildwrapper: A library and an executable that provide an easy API for a Haskell IDE (github, hackage)
  • hsdev: ide bakcend: autocompletion, symbol info, go-to declaration, find references etc. - (hackage, github)
  • 💀 scion: Haskell IDE library - (hackage)

Ctags generation

  • codex: A ctags file generator for cabal/stack project dependencies - (github, hackage)
  • hasktags: Produces ctags tags and etags TAGS files for Haskell programs - (github, hackage)
  • 💀 lushtags: ... - (github)
  • 💀 gasbag: ... - (github)
  • 💀 hothasktags: ... - (github)

Code Generation

Others...

  • hscope: partial cscope line oriented mode reimplementation for Haskell code - (github, hackage)
  • liquid haskell: Refinement Types: static verifier for Haskell, based on Liquid Types - (github, website)
  • mote: (Agda Style programmer's assistant for Vim) - (github)
  • flycheck: ...