The Haskell Type Browser
The Haskell Type Browser visualizes the information present in a
Haskell type derivation.
As a special feature, the type browser constructs a type
derivation for every syntactically correct Haskell program even
if the program would be rejected by the compiler's type inferencer.
Features
- Navigator window for type errors.
- Type inspector window that pops up by clicking on an
expression in the source window.
- Dynamic highlighting of source locations that correspond to
type constructors.
Demos
Demos
Soon here...
Peter
Thiemann
Last modified: Sat Dec 11 22:17:34 CET 2004