category
html
HTML generation.
Author: Paul Brown and Paulo Moura
Version: 0:3:0
Date: 2021-03-30
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
generate/2
Generates HTML content using the representation specified in the first argument (stream(Stream) or file(Path)) for the term in the second argument.
Compilation flags:
staticTemplate:
generate(Sink,Term)Mode and number of proofs:
generate(+compound,++term) - one_or_errorvoid_element/1
Enumerates, by backtracking, all void elements.
Compilation flags:
staticTemplate:
void_element(Element)Mode and number of proofs:
void_element(?atom) - zero_or_morenormal_element/2
Enumerates, by backtracking, all normal elements. The value of the Display argument is either inline or block.
Compilation flags:
staticTemplate:
normal_element(Element,Display)Mode and number of proofs:
normal_element(?atom,?atom) - zero_or_moreProtected predicates
(none)
Private predicates
doctype/1
Doctype text.
Compilation flags:
staticTemplate:
doctype(DocType)Mode and number of proofs:
doctype(?atom) - oneOperators
(none)