liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.UX.ACSS

Description

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

Synopsis

Documentation

hscolour #

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 #

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 #

Constructors

Ann 

Fields

Instances

Instances details
Show AnnMap # 
Instance details

Defined in Language.Haskell.Liquid.UX.ACSS

ToJSON AnnMap 
Instance details

Defined in Language.Haskell.Liquid.UX.Annotate

Methods

toJSON :: AnnMap -> Value

toEncoding :: AnnMap -> Encoding

toJSONList :: [AnnMap] -> Value

toEncodingList :: [AnnMap] -> Encoding

data Status #

Constructors

Safe 
Unsafe 
Error 
Crash 

Instances

Instances details
Eq Status # 
Instance details

Defined in Language.Haskell.Liquid.UX.ACSS

Methods

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

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

Ord Status # 
Instance details

Defined in Language.Haskell.Liquid.UX.ACSS

Show Status # 
Instance details

Defined in Language.Haskell.Liquid.UX.ACSS

ToJSON Status

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

Instance details

Defined in Language.Haskell.Liquid.UX.Annotate

Methods

toJSON :: Status -> Value

toEncoding :: Status -> Encoding

toJSONList :: [Status] -> Value

toEncodingList :: [Status] -> Encoding

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