Copyright	Dennis Gosnell 2017
License	BSD3
Maintainer	Dennis Gosnell (cdep.illabout@gmail.com)
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Text.HTML.QQ

Contents

Types

Description

This module provides a quasi-quoter for HTML Documents. See the html function for some examples.

See Text.XML.QQ for an explanation of the difference between Text.HTML.QQ and Text.XML.QQ.

Synopsis

html :: QuasiQuoter
htmlRaw :: QuasiQuoter
data Document

Documentation

html :: QuasiQuoter Source #

This QuasiQuoter produces HTML Documents.

This QuasiQuoter produces expressions of type Document.

Here's a simple example of using it:

>>> [html|<html></html>|] :: Document
Document {documentPrologue = Prologue {prologueBefore = [], prologueDoctype = Nothing, prologueAfter = []}, documentRoot = Element {elementName = Name {nameLocalName = "html", nameNamespace = Nothing, namePrefix = Nothing}, elementAttributes = fromList [], elementNodes = []}, documentEpilogue = []}

Internally, this function is using the heterocephalus package. This means you can use variable interpolation, as well as forall, if, and case control statements. Checkout the heterocephalus README for more info.

>>> let a = "hello world"
>>> [html|<html>#{a}</html>|]
Document ...

Even invalid HTML will still parse.

>>> [html|<html </html>|]
Document ...

Here's an example of a template that can be parsed as an HTML Document, but not as an XML Document:

>>> [html|<html><br></html>|]
Document ...

htmlRaw :: QuasiQuoter Source #

This function is the same as html, but doesn't allow variable interpolation or control statements. It also produces expressions of type Document.

Here's a simple example of using it:

>>> [htmlRaw|<html></html>|] :: Document
Document ...

Types

data Document Source #

Instances

Instances details

Eq Document
Instance details Defined in Text.XML Methods (==) :: Document -> Document -> Bool (/=) :: Document -> Document -> Bool
Data Document
Instance details Defined in Text.XML Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Document -> c Document gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Document toConstr :: Document -> Constr dataTypeOf :: Document -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Document) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Document) gmapT :: (forall b. Data b => b -> b) -> Document -> Document gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r gmapQ :: (forall d. Data d => d -> u) -> Document -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Document -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Document -> m Document gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document
Show Document
Instance details Defined in Text.XML Methods showsPrec :: Int -> Document -> ShowS show :: Document -> String showList :: [Document] -> ShowS
Lift Document Source #
Instance details Defined in Text.XMLHTML.Internal Methods lift :: Document -> Q Exp #
ToMarkup Document
Instance details Defined in Text.XML Methods toMarkup :: Document -> Markup Source # preEscapedToMarkup :: Document -> Markup Source #
NFData Document
Instance details Defined in Text.XML Methods rnf :: Document -> ()