Text.XHtml.Strict

Attributes with name and value.

HTML is the class of things that can be validly put inside an HTML tag. So this can be one or more Html elements, or a String, for example.

CHANGEATTRS is a more expressive alternative to ADDATTRS

Put something inside an HTML element.

Create a piece of HTML which is the concatenation of two things which can be made into HTML.

An empty piece of HTML.

Checks whether the given piece of HTML is empty. This materializes the list, so it's not great to do this a bunch.

Constructs an element with a custom name.

Constructs an element with a custom name, and without any children.

This is not processed for special chars. use stringToHtml or lineToHtml instead, for user strings, because they understand special chars, like <.

Processing Strings into Html friendly things.

The DOCTYPE for XHTML 1.0 Strict.

Output the HTML without adding newlines or spaces within the markup. This should be the most time and space efficient way to render HTML, though the output is quite unreadable.

Outputs indented HTML. Because space matters in HTML, the output is quite messy.

Outputs indented XHTML. Because space matters in HTML, the output is quite messy.

Outputs indented HTML, with indentation inside elements. This can change the meaning of the HTML document, and is mostly useful for debugging the HTML output. The implementation is inefficient, and you are normally better off using showHtml or renderHtml.

Render a piece of HTML without adding a DOCTYPE declaration or root element. Does not add any extra whitespace.

Render a piece of indented HTML without adding a DOCTYPE declaration or root element. Only adds whitespace where it does not change the meaning of the document.

Render a piece of indented HTML without adding a DOCTYPE declaration or a root element. The indentation is done inside elements. This can change the meaning of the HTML document, and is mostly useful for debugging the HTML output. The implementation is inefficient, and you are normally better off using showHtmlFragment or renderHtmlFragment.

Copyright sign.

This converts a string, but keeps spaces as non-line-breakable.

This converts a string, but keeps spaces as non-line-breakable, and adds line breaks between each of the strings in the input list.

Same as paragraph.

Non-breaking space.

Convert a String to Html, converting characters that need to be escaped to HTML entities.