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

Instances

Show AnnMap

Methods

showsPrec :: Int -> AnnMap -> ShowS

show :: AnnMap -> String

showList :: [AnnMap] -> ShowS

breakS :: [Char]

srcModuleName :: String -> String

data Status

Constructors

Safe

Unsafe

Error

Crash

Instances

Eq Status

Methods

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

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

Ord Status

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

Methods

showsPrec :: Int -> Status -> ShowS

show :: Status -> String

showList :: [Status] -> ShowS