Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Wed Dec 30 09:52:18 2009 -0500 +++ b/lib/ur/basis.urs Thu Dec 31 11:41:57 2009 -0500 @@ -194,6 +194,11 @@ val sql_channel : t ::: Type -> sql_injectable_prim (channel t) val sql_client : sql_injectable_prim client +con serialized :: Type -> Type +val serialize : t ::: Type -> t -> serialized t +val deserialize : t ::: Type -> serialized t -> t +val sql_serialized : t ::: Type -> sql_injectable_prim (serialized t) + con primary_key :: {Type} -> {{Unit}} -> Type val no_primary_key : fs ::: {Type} -> primary_key fs [] val primary_key : rest ::: {Type} -> t ::: Type -> key1 :: Name -> keys :: {Type}