Language.Haskell.Liquid.UX.ACSS

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

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

• types :: HashMap Loc (String, String)

  Loc -> (Var, Type)

• errors :: [(Loc, Loc, String)]

  List of error intervals

• status :: !Status
• sptypes :: ![(RealSrcSpan, (String, String))]

  Type information with spans

Instances

Show AnnMap

Defined in Language.Haskell.Liquid.UX.ACSS

Methods

showsPrec :: Int -> AnnMap -> ShowS

show :: AnnMap -> String

showList :: [AnnMap] -> ShowS

ToJSON AnnMap

Defined in Language.Haskell.Liquid.UX.Annotate

Methods

toJSON :: AnnMap -> Value

toEncoding :: AnnMap -> Encoding

toJSONList :: [AnnMap] -> Value

toEncodingList :: [AnnMap] -> Encoding

breakS :: [Char]

srcModuleName :: String -> String

data Status

Constructors

Safe

Unsafe

Error

Crash

Instances

Eq Status

Defined in Language.Haskell.Liquid.UX.ACSS

Methods

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

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

Ord Status

Defined in Language.Haskell.Liquid.UX.ACSS

Methods

compare :: Status -> Status -> Ordering

(<) :: Status -> Status -> Bool

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

(>) :: Status -> Status -> Bool

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

max :: Status -> Status -> Status

min :: Status -> Status -> Status

Show Status

Defined in Language.Haskell.Liquid.UX.ACSS

Methods

showsPrec :: Int -> Status -> ShowS

show :: Status -> String

showList :: [Status] -> ShowS

ToJSON Status

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

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