Text.HTML.KURE

Reading HTML

parseHTML :: FilePath -> String -> HTML

parsing HTML files. If you want to unparse, use show.

HTML Builders

element :: String -> [Attr] -> HTML -> HTML

element is the main way of generates a element in HTML.

text :: String -> HTML

text creates a HTML node with text inside it.

attr :: String -> String -> Attr

build a single Attr. Short version of attrC.

zero :: HTML

zero is an empty piece of HTML, which can be used to avoid the use of the <tag/> form; for example element "br" [] zero will generate both an opener and closer. zero is the same as text "".

Primitive Traversal Combinators

htmlT :: Monad m => Translate Context m Element a -> Translate Context m Text a -> Translate Context m Syntax a -> ([a] -> x) -> Translate Context m HTML x

htmlT take arrows that operate over elements, texts, and syntax, and returns a translate over HTML.

htmlC :: [HTML] -> HTML

mconcat over HTML

elementT :: Monad m => Translate Context m Attrs a -> Translate Context m HTML b -> (String -> a -> b -> x) -> Translate Context m Element x

elementT take arrows that operate over attributes and (the inner) HTML, and returns a translate over a single element.

elementC :: String -> Attrs -> HTML -> Element

elementC builds a element from its components.

textT :: Monad m => (String -> x) -> Translate Context m Text x

textT takes a Text to bits. The string is fully unescaped (a regular Haskell string)

textC :: String -> Text

textC constructs a Text from a fully unescaped string.

attrsT :: Monad m => Translate Context m Attr a -> ([a] -> x) -> Translate Context m Attrs x

attrsT promotes a translation over Attr into a translation over Attrs.

attrsC :: [Attr] -> Attrs

join attributes together.

attrT :: Monad m => (String -> String -> x) -> Translate Context m Attr x

promote a function over an attributes components into a translate over Attr.

attrC :: String -> String -> Attr

Create a single attribute.

Other Combinators and Observers

getAttr :: MonadCatch m => String -> Translate Context m Element String

getAttr gets the attributes of a specific attribute of a element.

isTag :: Monad m => String -> Translate Context m Element ()

isTag checks the element for a specific element name.

getTag :: Monad m => Translate Context m Element String

getTag gets the element name.

getAttrs :: Monad m => Translate Context m Element Attrs

getAttrs gets the attributes inside a element.

getInner :: Monad m => Translate Context m Element HTML

getInner gets the HTML inside a element.

anyElementHTML :: MonadCatch m => Translate Context m Element HTML -> Rewrite Context m HTML

lifts mapping of Element to HTML over a single level of HTML sub-nodes. anyElementHTML has the property ''anyElementHTML (arr html) = idR''.

This is successful only if any of the sub-translations are successful.

unconcatHTML :: HTML -> [HTML]

Flatten into singleton HTMLs. The opposite of mconcat.

Types and Classes

data HTML

The Principal type in DSL. Use show to get the String rendition of this type. HTML is concatenated using <>, the Monoid mappend.

Instances

Show HTML

Monoid HTML

Injection HTML Node

data Element

HTML element with tag and attrs

Instances

Show Element

Html Element

Injection Element Node

data Text

Text (may include escaped text internally)

Instances

Show Text

Html Text

Injection Text Node

data Attrs

Attributes for a element

Instances

Show Attrs

Injection Attrs Node

data Attr

Single attribute

Instances

Show Attr

Injection Attr Node

data Syntax

XML/HTML syntax, like <? or <!, or our zero-width space zero.

Instances

Show Syntax

Html Syntax

Injection Syntax Node

newtype Context

Context contains all the containing elements in an inside to outside order

Constructors

Context [Element]

Instances

Monoid Context

Walker Context Node

data Node

Our universal node type. Only used during generic tree walking and traversals.

Instances

Show Node

Walker Context Node

Injection Syntax Node

Injection Attr Node

Injection Attrs Node

Injection Text Node

Injection Element Node

Injection HTML Node

class Html a where

Methods

html :: a -> HTML

Instances

Html Syntax

Html Text

Html Element

KURE combinators synonyms specialized to our generic type Node

injectT' :: (Monad m, Injection a g, g ~ Node) => Translate c m a g

projectT' :: (Monad m, Injection a g, g ~ Node) => Translate c m g a

extractT' :: (Monad m, Injection a g, g ~ Node) => Translate c m g b -> Translate c m a b

promoteT' :: (Monad m, Injection a g, g ~ Node) => Translate c m a b -> Translate c m g b

extractR' :: (Monad m, Injection a g, g ~ Node) => Rewrite c m g -> Rewrite c m a

promoteR' :: (Monad m, Injection a g, g ~ Node) => Rewrite c m a -> Rewrite c m g