comparison lib/ur/basis.urs @ 1104:72670131dace

Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 11:41:57 -0500
parents 118ab9641a64
children 951fced704d6
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
191 val sql_char : sql_injectable_prim char 191 val sql_char : sql_injectable_prim char
192 val sql_time : sql_injectable_prim time 192 val sql_time : sql_injectable_prim time
193 val sql_blob : sql_injectable_prim blob 193 val sql_blob : sql_injectable_prim blob
194 val sql_channel : t ::: Type -> sql_injectable_prim (channel t) 194 val sql_channel : t ::: Type -> sql_injectable_prim (channel t)
195 val sql_client : sql_injectable_prim client 195 val sql_client : sql_injectable_prim client
196
197 con serialized :: Type -> Type
198 val serialize : t ::: Type -> t -> serialized t
199 val deserialize : t ::: Type -> serialized t -> t
200 val sql_serialized : t ::: Type -> sql_injectable_prim (serialized t)
196 201
197 con primary_key :: {Type} -> {{Unit}} -> Type 202 con primary_key :: {Type} -> {{Unit}} -> Type
198 val no_primary_key : fs ::: {Type} -> primary_key fs [] 203 val no_primary_key : fs ::: {Type} -> primary_key fs []
199 val primary_key : rest ::: {Type} -> t ::: Type -> key1 :: Name -> keys :: {Type} 204 val primary_key : rest ::: {Type} -> t ::: Type -> key1 :: Name -> keys :: {Type}
200 -> [[key1] ~ keys] => [[key1 = t] ++ keys ~ rest] 205 -> [[key1] ~ keys] => [[key1 = t] ++ keys ~ rest]