Idris2Doc : Text.Markdown.Format.Html

Text.Markdown.Format.Html

(source)

Definitions

escapeText : String->String
  Escape a `String` for use as a HTML attribute's value.

The following characters are escaped: '"', '\'', '&' '>' and '<'.

Totality: total
Visibility: export
toHtml : Markdown->String
  Convert a Markdown value into Html

Visibility: export