Language.Haskell.Liquid.Annotate

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

mkOutput :: Config -> FixResult Error -> FixSolution -> AnnInfo (Annot SpecType) -> Output Doc

output creates the pretty printed output

annotate :: Config -> FilePath -> Output Doc -> IO ()

annotate actually renders the output to files