liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.UX.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

Instances

Instances details
ToJSON AnnMap Source # 
Instance details

Defined in Language.Haskell.Liquid.UX.Annotate

Show AnnMap Source # 
Instance details

Defined in Language.Haskell.Liquid.UX.ACSS

data Status Source #

Constructors

Safe 
Unsafe 
Error 
Crash 

Instances

Instances details
ToJSON Status Source #

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

Instance details

Defined in Language.Haskell.Liquid.UX.Annotate

Show Status Source # 
Instance details

Defined in Language.Haskell.Liquid.UX.ACSS

Eq Status Source # 
Instance details

Defined in Language.Haskell.Liquid.UX.ACSS

Methods

(==) :: Status -> Status -> Bool #

(/=) :: Status -> Status -> Bool #

Ord Status Source # 
Instance details

Defined in Language.Haskell.Liquid.UX.ACSS

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