Idris2Doc : Text.HTML.Node

Text.HTML.Node

(source)
Definitions
data HTMLNode : Type
  Totality: total
  Visibility: public export
  Constructors:
  
El : (0 tpe : HTMLTag tag) -> List (Attribute tpe) -> List HTMLNode -> HTMLNode
  
EEl : (0 tpe : HTMLTag tag) -> List (Attribute tpe) -> HTMLNode
  Data constructor for empty elements
  
Raw : String -> HTMLNode
  
Text : String -> HTMLNode
  
Empty : HTMLNode

  Hint: 
FromString HTMLNode
0 HTMLNodes : Type
  Totality: total
  Visibility: public export
isEmpty : HTMLNode -> Bool
  True if the given node is the empty node

  Totality: total
  Visibility: export
nonEmpty : HTMLNode -> Bool
  True if the given node is not the empty node

  Totality: total
  Visibility: export
nodeIf : Bool -> Lazy HTMLNode -> HTMLNode
  An optional node that is set to `Empty` if the given `Bool` is `False`.

  Totality: total
  Visibility: export
nodeMaybe : (a -> HTMLNode) -> Maybe a -> HTMLNode
  Converts an optional value to a `HTMLNode`

  Totality: total
  Visibility: export
withAttributes : List (Attribute t) -> HTMLNode -> HTMLNode
  Prepend a list of attributes to a node's list of attributes.

  Totality: total
  Visibility: export
withAttribute : Attribute t -> HTMLNode -> HTMLNode
  Prepend an attribute to a node's list of attributes.

  Totality: total
  Visibility: export
withId : String -> HTMLNode -> HTMLNode
  Prepend the given ID to a node's list of attributes.

  Totality: total
  Visibility: export
withEv : Sink e => DOMEvent e -> HTMLNode -> HTMLNode
  Prepend the given event to a node's list of attributes.

  Totality: total
  Visibility: export
a : List (Attribute A) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
address : List (Attribute Address) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
area : List (Attribute Area) -> HTMLNode
  Totality: total
  Visibility: export
article : List (Attribute Article) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
aside : List (Attribute Aside) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
audio : List (Attribute Audio) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
base : List (Attribute Base) -> HTMLNode
  Totality: total
  Visibility: export
blockquote : List (Attribute Blockquote) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
body : List (Attribute Body) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
br : List (Attribute Br) -> HTMLNode
  Totality: total
  Visibility: export
button : List (Attribute Button) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
canvas : List (Attribute Canvas) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
caption : List (Attribute Caption) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
col : List (Attribute Col) -> HTMLNode
  Totality: total
  Visibility: export
colgroup : List (Attribute Colgroup) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
data_ : List (Attribute Data) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
datalist : List (Attribute Datalist) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
del : List (Attribute Del) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
details : List (Attribute Details) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
dialog : List (Attribute Dialog) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
div : List (Attribute Div) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
  Fixity Declaration: infixl operator, level 9
dl : List (Attribute Dl) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
embed : List (Attribute Embed) -> HTMLNode
  Totality: total
  Visibility: export
fieldset : List (Attribute FieldSet) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
footer : List (Attribute Footer) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
form : List (Attribute Form) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
h1 : List (Attribute H1) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
h2 : List (Attribute H2) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
h3 : List (Attribute H3) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
h4 : List (Attribute H4) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
h5 : List (Attribute H5) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
h6 : List (Attribute H6) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
header : List (Attribute Header) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
hr : List (Attribute HR) -> HTMLNode
  Totality: total
  Visibility: export
html : List (Attribute Html) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
iframe : List (Attribute IFrame) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
img : List (Attribute Img) -> HTMLNode
  Totality: total
  Visibility: export
input : List (Attribute Input) -> HTMLNode
  Totality: total
  Visibility: export
ins : List (Attribute Ins) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
label : List (Attribute Label) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
legend : List (Attribute Legend) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
li : List (Attribute Li) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
  Totality: total
  Visibility: export
map : List (Attribute Map) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
menu : List (Attribute Menu) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
meta : List (Attribute Meta) -> HTMLNode
  Totality: total
  Visibility: export
meter : List (Attribute Meter) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
object : List (Attribute Object) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
ol : List (Attribute Ol) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
optgroup : List (Attribute OptGroup) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
option : List (Attribute Option) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
output : List (Attribute Output) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
p : List (Attribute P) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
param : List (Attribute Param) -> HTMLNode
  Totality: total
  Visibility: export
picture : List (Attribute Picture) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
pre : List (Attribute Pre) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
progress : List (Attribute Progress) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
q : List (Attribute Q) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
script : List (Attribute Script) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
section : List (Attribute Section) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
select : List (Attribute Select) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
slot : List (Attribute Slot) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
source : List (Attribute Source) -> HTMLNode
  Totality: total
  Visibility: export
span : List (Attribute Span) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
style : List (Attribute Style) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
table : List (Attribute Table) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
tbody : List (Attribute Tbody) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
td : List (Attribute Td) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
template : List (Attribute Template) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
textarea : List (Attribute TextArea) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
tfoot : List (Attribute Tfoot) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
th : List (Attribute Th) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
thead : List (Attribute Thead) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
time : List (Attribute Time) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
title : List (Attribute Title) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
tr : List (Attribute Tr) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
track : List (Attribute Track) -> HTMLNode
  Totality: total
  Visibility: export
ul : List (Attribute Ul) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
video : List (Attribute Video) -> HTMLNodes -> HTMLNode
  Totality: total
  Visibility: export
escape : String -> String
  Totality: total
  Visibility: export
render : HTMLNode -> String
  Totality: total
  Visibility: export
renderMany : HTMLNodes -> String
  Totality: total
  Visibility: export