package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module re-exports definitions from Lazy_storage_diff.

module Kind : sig ... end

This module re-exports definitions from Lazy_storage_kind.

module IdSet : sig ... end

This module re-exports definitions from Lazy_storage_kind.IdSet.

type ('id, 'alloc) init =

| Existing
| Copy of {
1. src : 'id;
}
| Alloc of 'alloc

type ('id, 'alloc, 'updates) diff =

| Remove
| Update of {
1. init : ('id, 'alloc) init;
2. updates : 'updates;
}

type diffs_item = private

| Item : ('i, 'a, 'u) Lazy_storage_kind.t * 'i * ('i, 'a, 'u) diff -> diffs_item

val make : ('i, 'a, 'u) Kind.t -> 'i -> ('i, 'a, 'u) diff -> diffs_item

type diffs = diffs_item list

val encoding : diffs Tezos_protocol_environment_alpha.Data_encoding.t

val diffs_in_memory_size : diffs -> Cache_memory_helpers.nodes_and_size

val cleanup_temporaries : 
  context ->
  context Tezos_protocol_environment_alpha.Lwt.t

val apply : 
  t ->
  diffs ->
  (t * Tezos_protocol_environment_alpha.Z.t)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t