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 Source #

output creates the pretty printed output

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

annotate actually renders the output to files

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

annErrors :: AnnMap -> AnnErrors Source #

Orphan instances

ToJSON Loc Source #
Instance details Methods toJSON :: Loc -> Value # toEncoding :: Loc -> Encoding # toJSONList :: [Loc] -> Value # toEncodingList :: [Loc] -> Encoding #
ToJSON Status Source #	JSON Instances ----------------------------------------------------
Instance details Methods toJSON :: Status -> Value # toEncoding :: Status -> Encoding # toJSONList :: [Status] -> Value # toEncodingList :: [Status] -> Encoding #
ToJSON AnnMap Source #
Instance details Methods toJSON :: AnnMap -> Value # toEncoding :: AnnMap -> Encoding # toJSONList :: [AnnMap] -> Value # toEncodingList :: [AnnMap] -> Encoding #