diff --git a/web/CXM_making_a_web_site.anubis b/web/CXM_making_a_web_site.anubis index ea766e4..eba11b7 100644 --- a/web/CXM_making_a_web_site.anubis +++ b/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 -- libgit2 0.21.4