WebBits.Html.Syntax

Datatypes for HTML parameterized over an annotation type and a script type.

HTML Data Structures

type HtmlId = String

type AttributeValue = String

data Attribute a s

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)

PrettyPrintable s => PrettyPrintable (Attribute a s)

data Html a sc

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)

PrettyPrintable s => PrettyPrintable (Html a s)

The Script class

class Script t where

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

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

parseInlineScript :: Maybe (CharParser a t)

parseAttributeScript :: Maybe (CharParser a t)

Instances

Script ParsedJavaScript

Script RawScript

Miscellaneous Functions

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

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]

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

isAttributeExpr :: Attribute t t1 -> Bool