Development Libraries and Tools
This page contains a list of useful tools and libraries used frequently in Haskell development, for things such as debugging, benchmarking, static analysis and testing.
Debuggers[edit]
- ghci powerful and extensible debugger for GHC.
- hugs a haskell interpreter that includes debugging facilities.
Static Analysis Tools[edit]
Tools that perform some form of analysis on your code and provide useful feedback.
- HLint - Detect common style mistakes and redundant parts of syntax, improving code quality.
- Haskabelle - Convert haskell programs to isabelle theories.
- Catch - Detect common sources of runtime errors (currently difficult to compile)
- Sourcegraph - Haskell visualizer
Also, GHC when using the "-Wall" option provides a great deal of useful feedback.
Testing Frameworks[edit]
Libraries for testing Haskell.
- QuickCheck - powerful testing framework where test cases are generated according to specific properties.
- HUnit - unit testing framework similar to JUnit.
- microspec - a tiny QuickCheck test library with minimal dependencies
- Hspec - a testing framework similar to RSpec with support for QuickCheck and HUnit
- test-framework integrates both Hunit and QuickCheck
- The Haskell Test Framework, HTF integrates both Hunit and QuickCheck.
- Tasty - from the website: "lets you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, and any other types of tests into a single test suite"
- SmallCheck - Similar to QuickCheck, but tests all values up to a particular depth rather than using a sample of randomly generated values.
- dejafu - overloadable primitives for testable, potentially non-deterministic, concurrency. See also the announcement.
Dynamic Analysis Tools[edit]
Tools that analyse your program's run-time behavior to provide useful information, such as coverage or benchmarks.
- hat - analyse each evaluation step of your haskell program.
- hpc - check evaluation coverage of a haskell program, useful for determining test coverage.
- criterion - powerful benchmarking framework.
- threadscope - a new feature on the horizon which allows for benchmarking and visualization of multithreaded performance.
- ghc profiling tools - a powerful suite of profiling tools exist within GHC itself
Ancillary Tools[edit]
Tools that aid the development process, such as build tools, revision control systems, and similar, while not performing any interaction with the code itself.