diff include/urweb.h @ 286:ffe5b01908ae

'show' type class; htmlification optimizations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 10:48:51 -0400
parents e89076c41c39
children 4260ad920c36
line wrap: on
line diff
--- a/include/urweb.h	Sun Sep 07 10:20:42 2008 -0400
+++ b/include/urweb.h	Sun Sep 07 10:48:51 2008 -0400
@@ -30,9 +30,15 @@
 
 void lw_write(lw_context, const char*);
 
+char *lw_Basis_htmlifyInt(lw_context, lw_Basis_int);
+char *lw_Basis_htmlifyFloat(lw_context, lw_Basis_float);
+char *lw_Basis_htmlifyString(lw_context, lw_Basis_string);
+char *lw_Basis_htmlifyBool(lw_context, lw_Basis_bool);
 
-char *lw_Basis_htmlifyString(lw_context, lw_Basis_string);
+void lw_Basis_htmlifyInt_w(lw_context, lw_Basis_int);
+void lw_Basis_htmlifyFloat_w(lw_context, lw_Basis_float);
 void lw_Basis_htmlifyString_w(lw_context, lw_Basis_string);
+void lw_Basis_htmlifyBool_w(lw_context, lw_Basis_bool);
 
 char *lw_Basis_attrifyInt(lw_context, lw_Basis_int);
 char *lw_Basis_attrifyFloat(lw_context, lw_Basis_float);