Lightweight algorithmic debugging. https://wiki.haskell.org/Hoed

Latest on Hackage:0.3.6

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD3 licensed by Maarten Faddegon

Hoed - A Lightweight Haskell Tracer and Debugger

Hoed is a tracer and debugger for the programming language Haskell. To locate a defect with Hoed you annotate suspected functions and compile as usual. Then you run your program, information about the annotated functions is collected. Finally you connect to a debugging session using a webbrowser. See the

Project homepage

for more information on what it does and how you can use it to find bugs in your code.

Submit feature requests or contribute code on the

Github projectpage Build Status


0.3.5 Maarten Faddegon 9 Feb 2016

* Give more control to restrict properties when used for judging to make approach sound.

0.3.4 Maarten Faddegon 8 Jan 2016

* Added beta functionality of using properties to judge statements.

0.3.3 Maarten Faddegon 6 Dec 2015

* Documentation and additional examples.

0.3.2 Maarten Faddegon 6 Dec 2015

* Add experimental combinators for property-assisted algorithmic debugging.

0.3.1 Maarten Faddegon 20 Nov 2015

* Some performance improvements in Debug.Hoed.Pure; add several extra examples.

0.3.0 Maarten Faddegon 3 Sep 2015

* Add Debug.Hoed.Pure, allowing computation tree tracing with higher precision without depending on the cost centre stack extension.

0.2.2 Maarten Faddegon 14 July 2015

* Use a preprocessor to make the library work with GHC 7.10, but also for older versions of GHC. This is related to the "The Applicative Monad Proposal" and the changes to Template Haskell in GHC 7.10 that are not backward compatibility with earlier versions of GHC.

0.2.1 Maarten Faddegon 1 May 2015

* Small changes to make Hoed work with GHC 7.10

0.2.0 Maarten Faddegon 12 Feb 2015

* A threepenny-gui algorithmic debugger.
* Construction of computation trees with just local annotations. Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by the debugger. This is a pity, because a promising approach to debugging is therefore not applicable to many real-world programs. We use the cost centre stack from the Glasgow Haskell Compiler profiling environment together with runtime value observations to collect enough information for algorithmic debugging. Maarten Faddegon 24 May 2014

* A tracer library based on Andy Gills HOOD v0.2. Allows to observe intermediate values. How values are observed can be derived with the Generic Deriving Mechanism, or generated with Template Haskell.
comments powered byDisqus