From d92155463bff760184418a3d282730841c9e3b7f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 31 Dec 2009 11:41:57 -0500 Subject: Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly --- lib/ur/basis.urs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'lib') diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index ffce96c0..330bea31 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -194,6 +194,11 @@ val sql_blob : sql_injectable_prim blob 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} -- cgit v1.2.3