liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.Annotate

Contents

Description

This module contains the code that uses the inferred types to generate htmlized source with mouseover annotations.

Synopsis

Types representing annotations

newtype AnnInfo a Source

Constructors

AI (HashMap SrcSpan [(Maybe Var, a)]) 

Instances

data Annot Source

Constructors

Use SpecType 
Def SpecType 
RDf SpecType 
Loc SrcSpan 

Instances

Top-level annotation renderer function

annotate :: FilePath -> FixResult SrcSpan -> FixSolution -> AnnInfo Annot -> IO ()Source