Language.Haskell.Liquid.UX.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 -> ErrorResult -> FixSolution -> AnnInfo (Annot SpecType) -> Output Doc

output creates the pretty printed output

annotate :: Config -> [FilePath] -> Output Doc -> IO AnnMap

annotate actually renders the output to files

tokeniseWithLoc :: String -> [(TokenType, String, Loc)]

annErrors :: AnnMap -> AnnErrors

Orphan instances

ToJSON Loc

Methods

toJSON :: Loc -> Value

toEncoding :: Loc -> Encoding

toJSONList :: [Loc] -> Value

toEncodingList :: [Loc] -> Encoding

ToJSON AnnMap

Methods

toJSON :: AnnMap -> Value

toEncoding :: AnnMap -> Encoding

toJSONList :: [AnnMap] -> Value

toEncodingList :: [AnnMap] -> Encoding

ToJSON Status

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

Methods

toJSON :: Status -> Value

toEncoding :: Status -> Encoding

toJSONList :: [Status] -> Value

toEncodingList :: [Status] -> Encoding