diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-09 15:47:14 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-09 15:47:14 -0500 |
| commit | db0aff13453186d3f6edf46b42e43690ea113aea (patch) | |
| tree | e034f612a841d48eb9db72b593b77bd4c07c909e /doc | |
| parent | fa448e6a07ce4435d596019497a3da8e4eb33f23 (diff) | |
Rename <activeHead> to <script> and make it work properly
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 8 |
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. |