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