liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.ACSS

Description

Formats Haskell source code as HTML with CSS and Mouseover Type Annotations

Synopsis

Documentation

hscolourSource

Arguments

:: Bool

Whether to include anchors.

-> Bool

Whether input document is literate haskell or not

-> String

Haskell source code, Annotations as comments at end

-> String

Coloured Haskell source code.

Formats Haskell source code using HTML and mouse-over annotations

hsannotSource

Arguments

:: Bool

Whether to include anchors.

-> CommentTransform

Function to refine comment tokens

-> Bool

Whether input document is literate haskell or not

-> (String, AnnMap)

Haskell Source, Annotations

-> String

Coloured Haskell source code.

Formats Haskell source code using HTML and mouse-over annotations

data AnnMap Source

Constructors

Ann 

Fields

types :: HashMap Loc (String, String)

Loc -> (Var, Type)

errors :: [(Loc, Loc)]

List of error intervals

Instances

newtype Loc Source

Constructors

L (Int, Int) 

Instances

Eq Loc 
Ord Loc 
Show Loc 
Hashable Loc 

breakS :: [Char]Source

srcModuleName :: String -> StringSource