diff options
Diffstat (limited to 'lib/abstract/Storage.ml')
| -rw-r--r-- | lib/abstract/Storage.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/abstract/Storage.ml b/lib/abstract/Storage.ml index 5eaeba3..19d6c5c 100644 --- a/lib/abstract/Storage.ml +++ b/lib/abstract/Storage.ml @@ -7,6 +7,8 @@ module type STORAGE = sig type connection type transaction + type address = Label of string | Hash of Concepts.Hash.hash + val connect : Concepts.Configuration.term -> (connection, Concepts.Condition.condition) result (** begin a transaction within `connection` *) @@ -21,13 +23,13 @@ module type STORAGE = sig (** within a transaction, fetch a blob from disk *) val get : transaction -> - Concepts.Hash.hash -> - (Concepts.Representation.blob option, Concepts.Condition.condition) result + address -> + (Concepts.Blob.t option, Concepts.Condition.condition) result (** within a transaction, associate a hash with a blob on disk *) val put : transaction -> - Concepts.Hash.hash -> - Concepts.Representation.blob -> + address -> + Concepts.Blob.t -> (unit, Concepts.Condition.condition) result end |