package octez-l2-libs

  1. Overview
  2. Docs
Octez layer2 libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam
  2. W
    WebAssembly Authors

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/octez-l2-libs.layer2_store/Tezos_layer2_store/Delayed_write_monad/index.html

Module Tezos_layer2_store.Delayed_write_monadSource

Monad for values with delayed write effects

Sourcetype ('a, 'store) t

Type to encapsulate values with a callback that should write to disk. This allows to delay some writes to a location where we have write access to the context.

Sourceval no_write : 'a -> ('a, _) t

no_write v returns v together with a write function that does nothing.

Sourceval delay_write : 'a -> ('store -> unit Tezos_base.TzPervasives.tzresult Lwt.t) -> ('a, 'store) t

delay_write v write returns a delayed write version of v with the write function to be called later.

Sourceval map : ('a -> 'b) -> ('a, 'store) t -> ('b, 'store) t

map f dw returns the delayed write dw where f is applied to the encapsulated value.

Sourceval map_es : ('a -> ('b, 'c) result Lwt.t) -> ('a, 'store) t -> (('b, 'store) t, 'c) result Lwt.t

map_es is like map in the Lwt result monad.

Sourceval bind : ('a -> ('b, 'store) t) -> ('a, 'store) t -> ('b, 'store) t

bind f dw returns a delayed write value where f is applied to the encapsulated value and the write effects of f are added to the effects of dw.

Sourceval apply : 'store -> ('a, 'store) t -> 'a Tezos_base.TzPervasives.tzresult Lwt.t

apply node_ctxt dw applies the write effects on the context node_ctxt and returns the encapsulated value.

Sourceval ignore : ('a, _) t -> 'a

ignore dw ignores the write effects and returns the encapsulated value.

Sourcemodule Lwt_result_syntax : sig ... end