Anubis / Xlib

Commit 521656bc5fb7a19112d3ba42af79fb21a6ba88fd

Authored by Cédric RICARD
1 parent cd767e42

Add helper to transform a list of CSS_File to list HTML_Head_Tag 

Add helper to transform a list of JS_File to list HTML_Head_Tag
Showing 1 changed file with 15 additions and 1 deletions   Show diff stats
Inline Side-by-side
web/CXM_making_a_web_site.anubis
  Show/Hide comments   View file @521656b
... ... @@ -1050,7 +1050,21 @@ public type HTML_Partial_Content:
1050 1050 HTML_Off_Form
1051 1051 )
1052 1052 .
1053   -
  1053 +
  1054 +public define List(HTML_Head_Tag)
  1055 + to_HTML_Head_Tag
  1056 + (
  1057 + List(CSS_File) css_file_list
  1058 + )=
  1059 + map((CSS_File css_f) |-> css(css_f), css_file_list).
  1060 +
  1061 +public define List(HTML_Head_Tag)
  1062 + to_HTML_Head_Tag
  1063 + (
  1064 + List(JS_File) js_file_list
  1065 + )=
  1066 + map((JS_File js_f) |-> js(js_f), js_file_list).
  1067 +
1054 1068 public type HTML_In_Form:
1055 1069 literal_pt (Printable_tree),
1056 1070 literal (String),
... ...