liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.UX.Annotate

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.

Synopsis

Documentation

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

annErrors :: AnnMap -> AnnErrors Source #

Orphan instances

ToJSON Loc Source # 
Instance details

ToJSON Status Source #

JSON Instances ----------------------------------------------------

Instance details

ToJSON AnnMap Source # 
Instance details