diff options
author | Benjamin Barenblat <benjamin@barenblat.name> | 2017-01-16 20:28:57 -0500 |
---|---|---|
committer | Benjamin Barenblat <benjamin@barenblat.name> | 2017-01-16 20:28:57 -0500 |
commit | 989d01687d8c125900c3351d1a96161e56cd5ff0 (patch) | |
tree | 41d0fca98c5e905ff1010465b47942cfc32d0560 /material/material.urs | |
parent | f5ef470c3484f1b37d7334dc24a3c500b149da12 (diff) |
Reformat Ur filesmaterial
This should be a behaviour-preserving change.
Diffstat (limited to 'material/material.urs')
-rw-r--r-- | material/material.urs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/material/material.urs b/material/material.urs index d244ec0..dd5b7e1 100644 --- a/material/material.urs +++ b/material/material.urs @@ -14,21 +14,21 @@ specific language governing permissions and limitations under the License. *) val page : {Head : xhead, Body : xbody} -> page structure AppBar : sig - val make : string (* app title *) -> xbody + val make : string (* app title *) -> xbody end structure Checkbox : sig - val make : bool -> (bool -> transaction unit) -> transaction xbody + val make : bool -> (bool -> transaction unit) -> transaction xbody end structure FloatingActionButton : sig - val make : string -> (mouseEvent -> transaction unit) -> transaction xbody + val make : string -> (mouseEvent -> transaction unit) -> transaction xbody end structure List : sig - structure SingleLine : sig - val make : xbody -> xbody + structure SingleLine : sig + val make : xbody -> xbody - val item : {Icon : xbody, Content : xbody} -> xbody - end + val item : {Icon : xbody, Content : xbody} -> xbody + end end |