HTML_Partial_content can have HTML_Off_Form as argument

totoro
1 parent b08b5acc
Showing 1 changed file with 40 additions and 7 deletions Show diff stats
web/CXM_making_a_web_site.anubis
@@ -1052,13 +1052,7 @@ public type HTML_Partial_Content:
   )
   .
-public define HTML_Partial_Content
-  partial_content
-  (
-    HTML_Off_Form content
-  )=
-  partial_content([], content).
-
+  
 public define List(HTML_Head_Tag)
   to_HTML_Head_Tag
   (
@@ -1493,6 +1487,45 @@ public define HTML_Row(HTML_In_Form)
    anywhere in the page.
+public define HTML_Partial_Content
+  partial_content
+  (
+    HTML_Off_Form content
+  )=
+  partial_content([], content).
+
+public define HTML_Partial_Content
+  partial_content
+  (
+    List(HTML_Head_Tag)  tags,
+    HTML_Partial_Content p_content
+  )=
+  if p_content is partial_content(ptags, html) then
+  partial_content(tags + ptags, html).
+
+define HTML_Partial_Content
+  list_to_pcontent
+  (
+    List(HTML_Partial_Content) l_p_content,
+    List(HTML_Head_Tag)        so_far_tags,
+    List(HTML_Off_Form)        so_far_html
+  )=
+  if l_p_content is
+  {
+    []      then  partial_content(so_far_tags, sequence(reverse(so_far_html))),
+    [h . t] then 
+      //extract resurgent type and symbols of h
+      if h is partial_content(tags, html) then
+      list_to_pcontent(t, so_far_tags + tags, [html . so_far_html])
+  }.
+  
+public define HTML_Partial_Content
+  partial_content
+  (
+    List(HTML_Partial_Content) l_p_content
+  )=
+  list_to_pcontent(l_p_content, [], []).
+  
 define String