summaryrefslogtreecommitdiff
path: root/material/material.urs
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <benjamin@barenblat.name>2016-11-05 17:39:41 -0400
committerGravatar Benjamin Barenblat <benjamin@barenblat.name>2016-11-05 17:39:41 -0400
commit43dca1d076bdea10473f61dd53ddcd7e43fa5b55 (patch)
tree3cca7a8859786110c064d75da0c71970aa3f4864 /material/material.urs
parent9e4a75fe23afd82dd4556c73be654366f47bad00 (diff)
Begin writing a custom Material Design library
Stop using Material Design Lite, as its execution model doesn’t play well with Ur/Web’s functional-reactive page generation. Start building a Material Design library more closely tailored to uGTD and Ur/Web.
Diffstat (limited to 'material/material.urs')
-rw-r--r--material/material.urs18
1 files changed, 18 insertions, 0 deletions
diff --git a/material/material.urs b/material/material.urs
new file mode 100644
index 0000000..fe50869
--- /dev/null
+++ b/material/material.urs
@@ -0,0 +1,18 @@
+(* Copyright 2016 Benjamin Barenblat
+
+Licensed under the Apache License, Version 2.0 (the “License”); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software distributed
+under the License is distributed on an “AS IS” BASIS, WITHOUT WARRANTIES OR
+CONDITIONS OF ANY KIND, either express or implied. See the License for the
+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
+end