summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-12-09 15:47:14 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-12-09 15:47:14 -0500
commitdb0aff13453186d3f6edf46b42e43690ea113aea (patch)
treee034f612a841d48eb9db72b593b77bd4c07c909e /doc
parentfa448e6a07ce4435d596019497a3da8e4eb33f23 (diff)
Rename <activeHead> to <script> and make it work properly
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex8
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index ac12c3b7..db1bfe1c 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2103,6 +2103,14 @@ $$\begin{array}{l}
\mt{val} \; \mt{stopPropagation} : \mt{transaction} \; \mt{unit}
\end{array}$$
+Finally, here is an HTML tag to leave a marker in the \cd{<head>} of a document asking for some side-effecting code to be run. This pattern is \emph{much} less common in Ur/Web applications than in normal HTML/JavaScript applications; see Section \ref{signals} for the more idiomatic, functional way of manipulating the visible page.
+
+$$\begin{array}{l}
+ \mt{val} \; \mt{script} : \mt{unit} \to \mt{tag} \; [\mt{Code} = \mt{transaction} \; \mt{unit}] \; \mt{head} \; [] \; [] \; []
+\end{array}$$
+
+Note that the Ur/Web version of \cd{<script>} is used like \cd{<script code=\{...\}/>}, rather than \cd{<script>...</script>}.
+
\subsubsection{Node IDs}
There is an abstract type of node IDs that may be assigned to \cd{id} attributes of most HTML tags.