Safe Haskell | None |
---|---|
Language | Haskell98 |
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)] #
Orphan instances
ToJSON Loc # | |
ToJSON Status # | JSON Instances ---------------------------------------------------- |
toEncoding :: Status -> Encoding toJSONList :: [Status] -> Value toEncodingList :: [Status] -> Encoding | |
ToJSON AnnMap # | |
toEncoding :: AnnMap -> Encoding toJSONList :: [AnnMap] -> Value toEncodingList :: [AnnMap] -> Encoding |