HTML Data Structures

type HtmlId = String Source

type AttributeValue = String Source

data Attribute a s Source

Constructors

Attribute HtmlId AttributeValue a
AttributeExpr a HtmlId s String

Instances

Typeable2 Attribute
Functor (Attribute a)
Foldable (Attribute a)
Traversable (Attribute a)
(Eq a, Eq s) => Eq (Attribute a s)
(Data a, Data s) => Data (Attribute a s)
(Show a, Show s) => Show (Attribute a s)

data Html a sc Source

Constructors

Element HtmlId [Attribute a sc] [Html a sc] a
Text String a
Comment String a
HtmlSeq [Html a sc]	must be a non-empty list
ProcessingInstruction String a
InlineScript sc a String
Script sc a

Instances

Typeable2 Html
Functor (Html a)
Foldable (Html a)
Traversable (Html a)
(Eq a, Eq sc) => Eq (Html a sc)
(Data a, Data sc) => Data (Html a sc)
(Show a, Show sc) => Show (Html a sc)

The Script class

class Script t whereSource

A type t of the Script class can be parsed using Parsec. t is of kind '* -> *', as the parsed AST should be annotated with souce locations (see SourcePos).

The big deal here is that we can embed a parser for some scripting language, (e.g. Javascript) into this HTML parser with ease, while preserving source locations. The Html datatype is parameterized over a script parser (an instance of Script).

Methods

prettyPrintScript :: t -> Doc Source

parseScriptBlock :: [Attribute SourcePos t] -> CharParser a tSource

parseInlineScript :: Maybe (CharParser a t)Source

parseAttributeScript :: Maybe (CharParser a t)Source

Instances

Script RawScript
Script ParsedJavaScript

Miscellaneous Functions

attributeValue :: HtmlId -> [Attribute a s] -> Maybe String Source

Returns the value of the attribute in the list, or Nothing if it doesn't exist of the value is an inline-expression.

attributeUpdate :: HtmlId -> (String -> String) -> [Attribute a s] -> [Attribute a s]Source

attributeSet :: HtmlId -> String -> [Attribute a s] -> [Attribute a s]Source

isAttributeExpr :: Attribute t t1 -> Bool Source