diff options
Diffstat (limited to 'material/material.urs')
-rw-r--r-- | material/material.urs | 12 |
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 |