Text.Html.Node

Definitions

data Node : Type -> Type

Totality: total
Visibility: public export
Constructors:

El : String -> List (Attribute ev) -> List (Node ev) -> Node ev

Raw : String -> Node ev

Text : String -> Node ev

Empty : Node ev

Hint: 

FromString (Node ev)

el : (0 _ : ElementType tag e) -> List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

a : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

address : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

area : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

article : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

audio : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

base : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

blockquote : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

body : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

br : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

button : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

canvas : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

caption : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

col : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

colgroup : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

data_ : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

datalist : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

del : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

details : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

dialog : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

div : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 9

dl : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

embed : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

fieldset : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

footer : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

form : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

h1 : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

h2 : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

h3 : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

h4 : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

h5 : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

h6 : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

header : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

hr : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

html : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

iframe : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

img : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

input : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

ins : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

label : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

legend : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

li : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

link : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

map : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

menu : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

meta : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

meter : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

object : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

ol : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

optgroup : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

option : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

output : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

p : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

param : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

picture : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

pre : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

progress : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

q : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

script : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

section : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

select : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

slot : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

source : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

span : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

style : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

table : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

tbody : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

td : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

template : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

textarea : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

tfoot : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

th : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

thead : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

time : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

title : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

tr : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

track : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

ul : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public export

video : List (Attribute ev) -> List (Node ev) -> Node ev

Totality: total
Visibility: public 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