package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.stdlib-unix/Tezos_stdlib_unix/Stored_data/index.html

Module Tezos_stdlib_unix.Stored_dataSource

Persistent data manager.

Every data read/write operation is protected by a mutex preventing concurrent data-races.

Sourcetype 'a file = private {
  1. encoding : 'a Data_encoding.t;
  2. eq : 'a -> 'a -> bool;
  3. path : string;
  4. json : bool;
}

A data structure that represents files via their paths and encodings.

type 'a eq := 'a -> 'a -> bool
Sourcetype 'a t

The type for the (persistent) data of a file.

Sourcetype Tezos_error_monad.Error_monad.error +=
  1. | Missing_stored_data of string

This error is returned when the requested data is not found.

Sourceval make_file : ?json:bool -> filepath:string -> 'a Data_encoding.t -> 'a eq -> 'a file

make_file ?(json=false) ~filepath encoding represents a file located at filepath. The content of this value is encoded using encoding. By default, the content is encoded in binary content except if json=true. eq is used internally to test whether the contents of the file should be updated when calling write or update_with.

Warning It is the caller responsability to ensure that the base directory of the filepath exists; otherwise, reading and writing will fail.

Sourceval get : 'a t -> 'a Lwt.t

get data accesses the data (cached).

Sourceval write : 'a t -> 'a -> unit Tezos_error_monad.Error_monad.tzresult Lwt.t

write data value overwrites the previous data with the new value. The cache is only updated if the write succeeds. If the write fails, it is up to the user to retry.

Sourceval write_file : 'a file -> 'a -> unit Tezos_error_monad.Error_monad.tzresult Lwt.t

write_file encoded_file value raw writes the encoded_file with the value.

Warning this function should not be used in a normal context as it aims to overwrite the target without avoiding data races. Favour the usage of write.

Sourceval update_with : 'a t -> ('a -> 'a Lwt.t) -> unit Tezos_error_monad.Error_monad.tzresult Lwt.t

update_with data f atomically updates data with the result of the application of f. Concurrent accesses to the data will block until the value is updated.

The cache is only updated if the write succeeds. If the write fails, it is up to the user to retry.

Warning Calling read/write in f will result in a deadlock.

load encoded_file loads and decode a data from an encoded_file.

Sourceval init : 'a file -> initial_data:'a -> 'a t Tezos_error_monad.Error_monad.tzresult Lwt.t

init encoded_file eq ~initial_data creates or load an on-disk data. If the file already exists, then the data is read from the file. Otherwise, initial_data is used.