Idris2Doc : Text.HTML.Node

Text.HTML.Node

(source)
Definitions
data Node : Type -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
El : (0 tpe : HTMLTag tag) -> List (Attribute tpe ev) -> List (Node ev) -> Node ev
  
Raw : String -> Node ev
  
Text : String -> Node ev
  
Empty : Node ev

  Hints:
  
FromString (Node ev)
  
Functor Node
nodeIf : Bool -> Lazy (Node e) -> Node e
  An optional node that is set to `Empty` if the given `Bool` is `False`.

  Totality: total
  Visibility: export
withAttribute : Attribute t e -> Node e -> Node e
  Prepend a non-event attribute to a node's list of attributes.

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

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

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