liquidhaskell-0.4.1.1: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.ACSS

Description

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

Synopsis

Documentation

hscolour Source

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

hsannot Source

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, String)]

List of error intervals

status :: !Status
 

Instances

data Status Source

Constructors

Safe 
Unsafe 
Error 
Crash 

Instances

Eq Status 
Ord Status 
Show Status 
ToJSON Status

JSON Instances ----------------------------------------------------