Mercurial > urweb

comparison lib/ur/basis.urs @ 1229:a2cd6664f57f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sendOwnIds policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 17:55:37 -0400
parents 62af4cacd191
children beb67ff4c8a0
comparison
equal deleted inserted replaced
1228:7dfa67560916 1229:a2cd6664f57f
802 802
803 val sendClient : tables ::: {{Type}} -> exps ::: {Type} 803 val sendClient : tables ::: {{Type}} -> exps ::: {Type}
804 -> [tables ~ exps] => sql_query [] tables exps 804 -> [tables ~ exps] => sql_query [] tables exps
805 -> sql_policy 805 -> sql_policy
806 806
807 val sendOwnIds : sql_sequence -> sql_policy
808
807 val mayInsert : fs ::: {Type} -> tables ::: {{Type}} -> [[New] ~ tables] 809 val mayInsert : fs ::: {Type} -> tables ::: {{Type}} -> [[New] ~ tables]
808 => sql_query [] ([New = fs] ++ tables) [] 810 => sql_query [] ([New = fs] ++ tables) []
809 -> sql_policy 811 -> sql_policy
810 812
811 val mayDelete : fs ::: {Type} -> tables ::: {{Type}} -> [[Old] ~ tables] 813 val mayDelete : fs ::: {Type} -> tables ::: {{Type}} -> [[Old] ~ tables]