summaryrefslogtreecommitdiff
path: root/demo/crud1.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-23 18:18:51 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-23 18:18:51 -0400
commita6eb484bd588045d401e61fed64fac553e0e3395 (patch)
treef6923214e0d8e9d058c248ab817aa08aba5fd2f9 /demo/crud1.ur
parent87893ed6cb1e40bb056be498feca42718be85d88 (diff)
Crud demo
Diffstat (limited to 'demo/crud1.ur')
-rw-r--r--demo/crud1.ur12
1 files changed, 12 insertions, 0 deletions
diff --git a/demo/crud1.ur b/demo/crud1.ur
new file mode 100644
index 00000000..3849e822
--- /dev/null
+++ b/demo/crud1.ur
@@ -0,0 +1,12 @@
+table t1 : {Id : int, A : int, B : string, C : float, D : bool}
+
+open Crud.Make(struct
+ val tab = t1
+
+ val title = "Crud1"
+
+ val cols = {A = Crud.int "A",
+ B = Crud.string "B",
+ C = Crud.float "C",
+ D = Crud.bool "D"}
+ end)