summaryrefslogtreecommitdiff
path: root/material/material.urs
diff options
context:
space:
mode:
Diffstat (limited to 'material/material.urs')
-rw-r--r--material/material.urs12
1 files changed, 12 insertions, 0 deletions
diff --git a/material/material.urs b/material/material.urs
index fe50869..cee2b85 100644
--- a/material/material.urs
+++ b/material/material.urs
@@ -16,3 +16,15 @@ val page : {Head : xhead, Body : xbody} -> page
structure AppBar : sig
val make : string (* app title *) -> xbody
end
+
+structure Checkbox : sig
+ val make : bool -> (bool -> transaction unit) -> transaction xbody
+end
+
+structure List : sig
+ structure SingleLine : sig
+ val make : xbody -> xbody
+
+ val item : {Icon : xbody, Content : xbody} -> xbody
+ end
+end