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 => Transform Context m Element a -> Transform Context m Text a -> Transform Context m Syntax a -> ([a] -> x) -> Transform Context m HTML x

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

htmlC :: [HTML] -> HTML

mconcat over HTML

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

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

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

elementC builds a element from its components.

textT :: Monad m => (String -> x) -> Transform 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 => Transform Context m Attr a -> ([a] -> x) -> Transform Context m Attrs x

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

attrsC :: [Attr] -> Attrs

join attributes together.

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

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

attrC :: String -> String -> Attr

Create a single attribute.

Other Combinators and Observers

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

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

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

isTag checks the element for a specific element name.

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

getTag gets the element name.

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

getAttrs gets the attributes inside a element.

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

getInner gets the HTML inside a element.

anyElementHTML :: MonadCatch m => Transform 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-transformations 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 universe type Node

injectT' :: (Monad m, Injection a Node) => Transform c m a Node

projectT' :: (Monad m, Injection a Node) => Transform c m Node a

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

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

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

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