Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
P
purescript-reactix
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
gargantext
purescript-reactix
Commits
2634f579
Commit
2634f579
authored
Jun 23, 2019
by
James Laver
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
v0.3.1 - fix for R.DOM.HTML
parent
94f9dec2
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
90 additions
and
90 deletions
+90
-90
HTML.purs
src/Reactix/DOM/HTML.purs
+90
-90
No files found.
src/Reactix/DOM/HTML.purs
View file @
2634f579
module Reactix.DOM.HTML where
import Reactix.React (Element, createElement)
import Reactix.React (Element, create
DOM
Element)
import Unsafe.Coerce (unsafeCoerce)
createLeafElement :: forall props. String -> Record props -> Element
createLeafElement e p = createElement e p []
createLeafElement e p = create
DOM
Element e p []
-- A factory function for a DOM element with no children
type LeafFactory = forall props. Record props -> Element
...
...
@@ -32,139 +32,139 @@ text :: String -> Element
text = unsafeCoerce
a :: ElemFactory
a = createElement "a"
a = create
DOM
Element "a"
abbr :: ElemFactory
abbr = createElement "abbr"
abbr = create
DOM
Element "abbr"
address :: ElemFactory
address = createElement "address"
address = create
DOM
Element "address"
article :: ElemFactory
article = createElement "article"
article = create
DOM
Element "article"
aside :: ElemFactory
aside = createElement "aside"
aside = create
DOM
Element "aside"
audio :: ElemFactory
audio = createElement "audio"
audio = create
DOM
Element "audio"
b :: ElemFactory
b = createElement "b"
b = create
DOM
Element "b"
bdi :: ElemFactory
bdi = createElement "bdi"
bdi = create
DOM
Element "bdi"
bdo :: ElemFactory
bdo = createElement "bdo"
bdo = create
DOM
Element "bdo"
blockquote :: ElemFactory
blockquote = createElement "blockquote"
blockquote = create
DOM
Element "blockquote"
br :: LeafFactory
br = createLeafElement "br"
button :: ElemFactory
button = createElement "button"
button = create
DOM
Element "button"
canvas :: ElemFactory
canvas = createElement "canvas"
canvas = create
DOM
Element "canvas"
caption :: ElemFactory
caption = createElement "caption"
caption = create
DOM
Element "caption"
cite :: ElemFactory
cite = createElement "cite"
cite = create
DOM
Element "cite"
code :: ElemFactory
code = createElement "code"
code = create
DOM
Element "code"
col :: LeafFactory
col = createLeafElement "col"
colgroup :: ElemFactory
colgroup = createElement "colgroup"
colgroup = create
DOM
Element "colgroup"
data' :: ElemFactory
data' = createElement "data"
data' = create
DOM
Element "data"
datalist :: ElemFactory
datalist = createElement "datalist"
datalist = create
DOM
Element "datalist"
dd :: ElemFactory
dd = createElement "dd"
dd = create
DOM
Element "dd"
del :: ElemFactory
del = createElement "del"
del = create
DOM
Element "del"
details :: ElemFactory
details = createElement "details"
details = create
DOM
Element "details"
dfn :: ElemFactory
dfn = createElement "dfn"
dfn = create
DOM
Element "dfn"
dialog :: ElemFactory
dialog = createElement "dialog"
dialog = create
DOM
Element "dialog"
div :: ElemFactory
div = createElement "div"
div = create
DOM
Element "div"
dl :: ElemFactory
dl = createElement "dl"
dl = create
DOM
Element "dl"
dt :: ElemFactory
dt = createElement "dt"
dt = create
DOM
Element "dt"
em :: ElemFactory
em = createElement "em"
em = create
DOM
Element "em"
embed :: LeafFactory
embed = createLeafElement "embed"
fieldset :: ElemFactory
fieldset = createElement "fieldset"
fieldset = create
DOM
Element "fieldset"
figcaption :: ElemFactory
figcaption = createElement "figcaption"
figcaption = create
DOM
Element "figcaption"
figure :: ElemFactory
figure = createElement "figure"
figure = create
DOM
Element "figure"
footer :: ElemFactory
footer = createElement "footer"
footer = create
DOM
Element "footer"
form :: ElemFactory
form = createElement "form"
form = create
DOM
Element "form"
h1 :: ElemFactory
h1 = createElement "h1"
h1 = create
DOM
Element "h1"
h2 :: ElemFactory
h2 = createElement "h2"
h2 = create
DOM
Element "h2"
h3 :: ElemFactory
h3 = createElement "h3"
h3 = create
DOM
Element "h3"
h4 :: ElemFactory
h4 = createElement "h4"
h4 = create
DOM
Element "h4"
h5 :: ElemFactory
h5 = createElement "h5"
h5 = create
DOM
Element "h5"
h6 :: ElemFactory
h6 = createElement "h6"
h6 = create
DOM
Element "h6"
header :: ElemFactory
header = createElement "header"
header = create
DOM
Element "header"
hr :: LeafFactory
hr = createLeafElement "hr"
i :: ElemFactory
i = createElement "i"
i = create
DOM
Element "i"
iframe :: ElemFactory
iframe = createElement "iframe"
iframe = create
DOM
Element "iframe"
img :: LeafFactory
img = createLeafElement "img"
...
...
@@ -173,157 +173,157 @@ input :: LeafFactory
input = createLeafElement "input"
ins :: ElemFactory
ins = createElement "ins"
ins = create
DOM
Element "ins"
kbd :: ElemFactory
kbd = createElement "kbd"
kbd = create
DOM
Element "kbd"
label :: ElemFactory
label = createElement "label"
label = create
DOM
Element "label"
legend :: ElemFactory
legend = createElement "legend"
legend = create
DOM
Element "legend"
li :: ElemFactory
li = createElement "li"
li = create
DOM
Element "li"
link :: LeafFactory
link = createLeafElement "link"
main :: ElemFactory
main = createElement "main"
main = create
DOM
Element "main"
mark :: ElemFactory
mark = createElement "mark"
mark = create
DOM
Element "mark"
meter :: ElemFactory
meter = createElement "meter"
meter = create
DOM
Element "meter"
nav :: ElemFactory
nav = createElement "nav"
nav = create
DOM
Element "nav"
object :: ElemFactory
object = createElement "object"
object = create
DOM
Element "object"
ol :: ElemFactory
ol = createElement "ol"
ol = create
DOM
Element "ol"
optgroup :: ElemFactory
optgroup = createElement "optgroup"
optgroup = create
DOM
Element "optgroup"
option :: ElemFactory
option = createElement "option"
option = create
DOM
Element "option"
output :: ElemFactory
output = createElement "output"
output = create
DOM
Element "output"
p :: ElemFactory
p = createElement "p"
p = create
DOM
Element "p"
param :: LeafFactory
param = createLeafElement "param"
picture :: ElemFactory
picture = createElement "picture"
picture = create
DOM
Element "picture"
pre :: ElemFactory
pre = createElement "pre"
pre = create
DOM
Element "pre"
progress :: ElemFactory
progress = createElement "progress"
progress = create
DOM
Element "progress"
q :: ElemFactory
q = createElement "q"
q = create
DOM
Element "q"
rp :: ElemFactory
rp = createElement "rp"
rp = create
DOM
Element "rp"
rt :: ElemFactory
rt = createElement "rt"
rt = create
DOM
Element "rt"
ruby :: ElemFactory
ruby = createElement "ruby"
ruby = create
DOM
Element "ruby"
s :: ElemFactory
s = createElement "s"
s = create
DOM
Element "s"
samp :: ElemFactory
samp = createElement "samp"
samp = create
DOM
Element "samp"
section :: ElemFactory
section = createElement "section"
section = create
DOM
Element "section"
source :: LeafFactory
source = createLeafElement "source"
span :: ElemFactory
span = createElement "span"
span = create
DOM
Element "span"
strong :: ElemFactory
strong = createElement "strong"
strong = create
DOM
Element "strong"
style :: ElemFactory
style = createElement "style"
style = create
DOM
Element "style"
sub :: ElemFactory
sub = createElement "sub"
sub = create
DOM
Element "sub"
sup :: ElemFactory
sup = createElement "sup"
sup = create
DOM
Element "sup"
summary :: ElemFactory
summary = createElement "summary"
summary = create
DOM
Element "summary"
svg :: ElemFactory
svg = createElement "svg"
svg = create
DOM
Element "svg"
table :: ElemFactory
table = createElement "table"
table = create
DOM
Element "table"
tbody :: ElemFactory
tbody = createElement "tbody"
tbody = create
DOM
Element "tbody"
td :: ElemFactory
td = createElement "td"
td = create
DOM
Element "td"
template :: ElemFactory
template = createElement "template"
template = create
DOM
Element "template"
textarea :: ElemFactory
textarea = createElement "textarea"
textarea = create
DOM
Element "textarea"
tfoot :: ElemFactory
tfoot = createElement "tfoot"
tfoot = create
DOM
Element "tfoot"
th :: ElemFactory
th = createElement "th"
th = create
DOM
Element "th"
thead :: ElemFactory
thead = createElement "thead"
thead = create
DOM
Element "thead"
time :: ElemFactory
time = createElement "time"
time = create
DOM
Element "time"
title :: ElemFactory
title = createElement "title"
title = create
DOM
Element "title"
tr :: ElemFactory
tr = createElement "tr"
tr = create
DOM
Element "tr"
track :: LeafFactory
track = createLeafElement "track"
u :: ElemFactory
u = createElement "u"
u = create
DOM
Element "u"
ul :: ElemFactory
ul = createElement "ul"
ul = create
DOM
Element "ul"
var :: ElemFactory
var = createElement "var"
var = create
DOM
Element "var"
video :: ElemFactory
video = createElement "video"
video = create
DOM
Element "video"
wbr :: LeafFactory
wbr = createLeafElement "wbr"
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment