Merge pull request #18 from rvion/update-list-of-existing-tools

(RFC) [list of tools] add more tools, add links, add short descriptions, group tools

Author: alanz

docs/Tools.md

@@ -1,24 +1,117 @@
 ## Tools in the ecosystem
 
-* HaRe
-* codex
-* dead code detection (https://github.com/soenkehahn/dead-code-detection)
-* djinn 
-* exference (https://github.com/lspitzner/exference/)
-* flycheck
-* ghc-mod
-* ghci / ghci-ng
-* hasktags
-* hayoo
-* hindent
-* hlint (and apply-refact)
-* hoogle
-* hscope
-* liquid haskell
-* mote
-* pointfree
-* pointful
-* scan reformatting tool (http://projects.haskell.org/style-scanner/)
-* scion / scion-tools
-* stylish-haskell
-* argon (https://github.com/rubik/argon)
+#### Linters / Refactoring
+
+* `hlint`: suggests changes to simplify code and make it easier to read -
+  ([github](https://github.com/ndmitchell/hlint),
+  [hackage](https://hackage.haskell.org/package/hlint),
+  [website](http://community.haskell.org/~ndm/hlint/))
+* `HaRe`: Haskell Refactoring Tool -
+  ([github](https://github.com/alanz/HaRe),
+  [website](http://www.cs.kent.ac.uk/projects/refactor-fp/))
+* `dead-code-detection`: Detects dead code in haskell projects -
+  ([github](https://github.com/soenkehahn/dead-code-detection),
+  [hackage](http://hackage.haskell.org/package/dead-code-detection))
+* `argon`: Monitor cyclomatic complexity in Haskell programs -
+  ([github](https://github.com/rubik/argon),
+  [hackage](http://hackage.haskell.org/package/argon))
+* `style-scanner`: Lexical style suggestions for source code -
+  ([darcs](http://code.haskell.org/style-scanner/),
+  [hackage](http://hackage.haskell.org/package/scan),
+  [website](http://projects.haskell.org/style-scanner/))
+* `stylish-haskell`: Haskell code prettifier -
+  ([github](https://github.com/jaspervdj/stylish-haskell),
+  [hackage](http://hackage.haskell.org/package/stylish-haskell))
+* `hindent`: Extensible Haskell pretty printer -
+  ([github](https://github.com/chrisdone/hindent),
+  [hackage](https://hackage.haskell.org/package/hindent))
+* `apply-refact`: ...
+* `pointfree`: Tool for refactoring expressions into pointfree form -
+  ([hackage](http://hackage.haskell.org/package/pointfree)
+  [haskell wiki](https://wiki.haskell.org/Pointfree)
+  [github](https://github.com/bmillwood/pointfree))
+* `pointful`: Tool for refactoring expressions into pointfull form -
+  ([github](https://github.com/23Skidoo/pointful),
+  [hackage](http://hackage.haskell.org/package/pointful))
+* `hfmt`: Code reformatter, using hlint, hindent, and stylish-haskell -
+  ([hackage](http://hackage.haskell.org/package/hfmt),
+  [github](https://github.com/danstiner/hfmt))
+
+#### Documentation generation / lookup
+
+* `haddock`: A Haskell Documentation generation Tool -
+  ([github](https://github.com/haskell/haddock),
+  [website](https://www.haskell.org/haddock/))
+* `hayoo`: Search Hackage by function, signature or package -
+  ([app](http://hayoo.fh-wedel.de/),
+  [github](https://github.com/hunt-framework/hayoo),
+  [hackage](http://hackage.haskell.org/package/Hayoo))
+* `hoogle`: Haskell API search engine -
+  ([haskell wiki](https://wiki.haskell.org/Hoogle),
+  [haskell.org app](https://www.haskell.org/hoogle/),
+  [stackage.org app](http://www.stackage.org/),
+  [hackage](http://hackage.haskell.org/package/hoogle),
+  [github](https://github.com/ndmitchell/hoogle))
+* `doctest` - checks examples in source code comments and include them in generated documentation-
+  ([github](https://github.com/sol/doctest),
+  [hackage](https://hackage.haskell.org/package/doctest))
+
+#### console / REPL
+
+* `ghci`: ...
+* `ghci-ng`: ...
+
+#### Ide backends
+
+* `ide-backend`: drives the GHC API to build, query, and run your code -
+  ([github](https://github.com/fpco/ide-backend),
+  [hackage](http://hackage.haskell.org/package/ide-backend))
+* `ghc-mod`: Haskell ide-backend -
+  ([github](https://github.com/kazu-yamamoto/ghc-mod),
+  [hackage](https://hackage.haskell.org/package/ghc-mod),
+  [website](http://www.mew.org/~kazu/proj/ghc-mod/))
+* `buildwrapper`: A library and an executable that provide an easy API for a Haskell IDE
+  ([github](https://github.com/JPMoresmau/BuildWrapper),
+  [hackage](https://hackage.haskell.org/package/buildwrapper))
+* `hsdev`: ide bakcend: autocompletion, symbol info, go-to declaration, find references etc. -
+  ([hackage](http://hackage.haskell.org/package/hsdev),
+  [github](https://github.com/mvoidex/hsdev))
+* :skull: `scion`: Haskell IDE library -
+  ([hackage](https://hackage.haskell.org/package/scion))
+
+#### Ctags generation
+
+  * `codex`: A ctags file generator for cabal/stack project dependencies -
+    ([github](https://github.com/aloiscochard/codex),
+    [hackage](https://hackage.haskell.org/package/codex))
+  * `hasktags`: Produces ctags tags and etags TAGS files for Haskell programs -
+    ([github](https://github.com/MarcWeber/hasktags),
+    [hackage](https://hackage.haskell.org/package/hasktags))
+  * :skull: `lushtags`: ... -
+    ([github](https://github.com/bitc/lushtags))
+  * :skull: `gasbag`: ... -
+    ([github](http://kingfisher.nfshost.com/sw/gasbag))
+  * :skull: `hothasktags`: ... -
+    ([github](http://hackage.haskell.org/package/hothasktags))
+
+#### Code Generation
+
+  * `djinn`: Generate Haskell code from a type -
+    ([github](https://github.com/augustss/djinn),
+    [hackage](https://hackage.haskell.org/package/djinn),
+    [lambda-the-ultimate](http://lambda-the-ultimate.org/node/1178))
+  * `exference`: Haskell tool to generate expressions from types.
+    [github](https://github.com/lspitzner/exference/)
+    [pdf](https://github.com/lspitzner/exference-paper/raw/master/exference.pdf)
+
+#### Others...
+
+* `hscope`: partial cscope line oriented mode reimplementation for Haskell code -
+  ([github](https://github.com/bosu/hscope),
+  [hackage](https://hackage.haskell.org/package/hscope))
+* `liquid haskell`: Refinement Types: static verifier for Haskell, based on Liquid Types -
+  ([github](https://github.com/ucsd-progsys/liquidhaskell),
+  [website](http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/))
+* `mote`: (Agda Style programmer's assistant for Vim) -
+  ([github](https://github.com/imeckler/mote))
+* `flycheck`: ...