| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.UX.Annotate
Contents
Description
This module contains the code that uses the inferred types to generate 1. HTMLized source with Inferred Types in mouseover annotations. 2. Annotations files (e.g. for vim/emacs) 3. JSON files for the web-demo etc.
Documentation
specAnchor :: Int Source #
Gross hack, to force dependency and loading of module.
mkOutput :: Config -> ErrorResult -> FixSolution -> AnnInfo (Annot SpecType) -> Output Doc Source #
output creates the pretty printed output
annotate :: Config -> [FilePath] -> Output Doc -> IO AnnMap Source #
annotate actually renders the output to files