Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.UX.Annotate

Contents

Orphan instances

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

mkOutput :: Config -> ErrorResult -> FixSolution -> AnnInfo (Annot SpecType) -> Output Doc
annotate :: Config -> [FilePath] -> Output Doc -> IO AnnMap
tokeniseWithLoc :: String -> [(TokenType, String, Loc)]
annErrors :: AnnMap -> AnnErrors

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 #
Instance details Methods toJSON :: Loc -> Value toEncoding :: Loc -> Encoding toJSONList :: [Loc] -> Value toEncodingList :: [Loc] -> Encoding
ToJSON Status #	JSON Instances ----------------------------------------------------
Instance details Methods toJSON :: Status -> Value toEncoding :: Status -> Encoding toJSONList :: [Status] -> Value toEncodingList :: [Status] -> Encoding
ToJSON AnnMap #
Instance details Methods toJSON :: AnnMap -> Value toEncoding :: AnnMap -> Encoding toJSONList :: [AnnMap] -> Value toEncodingList :: [AnnMap] -> Encoding