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

• MineSweeper (a type correct program)
• MineError (MineSweeper with two errors)

Demos