diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-11-02 15:48:06 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-02 15:48:06 -0500 |
commit | 72664fd130cf983bc2d3cbc0aacd6776625a71b1 (patch) | |
tree | e891f485d240c659d16bcaa8843d8e4d1911c055 /demo/more/meta.urs | |
parent | 7491cad2aabb379a0d6b2bb5234634c183b3dba2 (diff) |
Start of Decision
Diffstat (limited to 'demo/more/meta.urs')
-rw-r--r-- | demo/more/meta.urs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/demo/more/meta.urs b/demo/more/meta.urs index 0d3422af..cd3e183a 100644 --- a/demo/more/meta.urs +++ b/demo/more/meta.urs @@ -26,3 +26,11 @@ val allPopulatedTr : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) - val ensql : avail ::: {{Type}} -> ts ::: {(Type * Type)} -> $(map meta ts) -> $(map snd ts) -> folder ts -> $(map (sql_exp avail [] []) (map fst ts)) + +con private = fn t :: Type => + {Nam : string, + Initialize : t, + Show : t -> xbody, + Inject : sql_injectable t} + +val initialize : ts ::: {Type} -> $(map private ts) -> folder ts -> $(map (sql_exp [] [] []) ts) |