Maskable (mina_ledger.Mina_ledger.Ledger.Maskable)

include Merkle_mask.Base_merkle_tree_intf.S
  with module Location = Location
  with module Addr = Location.Addr
  with type account := Mina_base.Account.t
  with type key := Signature_lib.Public_key.Compressed.t
  with type token_id := Mina_base.Token_id.t
  with type token_id_set := Mina_base.Token_id.Set.t
  with type account_id := Mina_base.Account_id.t
  with type account_id_set := Mina_base.Account_id.Set.t
  with type hash := Mina_base.Ledger_hash.t
  with type root_hash := Mina_base.Ledger_hash.t
  with type t := Any_ledger.M.t

type index = int

module Addr = Location.Addr

module Path : 
  Merkle_ledger.Merkle_path.S with type hash := Mina_base.Ledger_hash.t

module Location = Location

include Merkle_ledger.Syncable_intf.S
  with type root_hash := Mina_base.Ledger_hash.t
   and type hash := Mina_base.Ledger_hash.t
   and type account := Mina_base.Account.t
   and type addr := Addr.t
   and type path = Path.t
   and type t := Any_ledger.M.t

include Ppx_sexp_conv_lib.Sexpable.S with type t := Any_ledger.M.t

val t_of_sexp : Sexplib0__.Sexp.t -> Any_ledger.M.t

val sexp_of_t : Any_ledger.M.t -> Sexplib0__.Sexp.t

type path = Path.t

val depth : Any_ledger.M.t -> int

val num_accounts : Any_ledger.M.t -> int

val merkle_path_at_addr_exn : Any_ledger.M.t -> Addr.t -> path

val get_inner_hash_at_addr_exn : 
  Any_ledger.M.t ->
  Addr.t ->
  Mina_base.Ledger_hash.t

val set_inner_hash_at_addr_exn : 
  Any_ledger.M.t ->
  Addr.t ->
  Mina_base.Ledger_hash.t ->
  unit

val set_all_accounts_rooted_at_exn : 
  Any_ledger.M.t ->
  Addr.t ->
  Mina_base.Account.t list ->
  unit

val set_batch_accounts : 
  Any_ledger.M.t ->
  (Addr.t * Mina_base.Account.t) list ->
  unit

val get_all_accounts_rooted_at_exn : 
  Any_ledger.M.t ->
  Addr.t ->
  (Addr.t * Mina_base.Account.t) list

Get all of the accounts that are in a subtree of the underlying Merkle tree rooted at `address`. The accounts are ordered by their addresses.

val make_space_for : Any_ledger.M.t -> int -> unit

val to_list : Any_ledger.M.t -> Mina_base.Account.t list

list of accounts in the ledger

val iteri : 
  Any_ledger.M.t ->
  f:( index -> Mina_base.Account.t -> unit ) ->
  unit

iterate over all indexes and accounts

val foldi : 
  Any_ledger.M.t ->
  init:'accum ->
  f:( Addr.t -> 'accum -> Mina_base.Account.t -> 'accum ) ->
  'accum

fold over accounts in the ledger, passing the Merkle address

val foldi_with_ignored_accounts : 
  Any_ledger.M.t ->
  Mina_base.Account_id.Set.t ->
  init:'accum ->
  f:( Addr.t -> 'accum -> Mina_base.Account.t -> 'accum ) ->
  'accum

the set of account_ids are ledger elements to skip during the fold, because they're in a mask

val fold_until : 
  Any_ledger.M.t ->
  init:'accum ->
  f:
    ( 'accum ->
      Mina_base.Account.t ->
      ( 'accum, 'stop ) Base.Continue_or_stop.t ) ->
  finish:( 'accum -> 'stop ) ->
  'stop

fold over accounts until stop condition reached when calling f; calls finish for result

val accounts : Any_ledger.M.t -> Mina_base.Account_id.Set.t

set of account ids associated with accounts

val token_owner : 
  Any_ledger.M.t ->
  Mina_base.Token_id.t ->
  Mina_base.Account_id.t option

Get the account id that owns a token.

val token_owners : Any_ledger.M.t -> Mina_base.Account_id.Set.t

Get the set of all accounts which own a token.

val tokens : 
  Any_ledger.M.t ->
  Signature_lib.Public_key.Compressed.t ->
  Mina_base.Token_id.Set.t

Get all of the tokens for which a public key has accounts.

val location_of_account : 
  Any_ledger.M.t ->
  Mina_base.Account_id.t ->
  Location.t option

val location_of_account_batch : 
  Any_ledger.M.t ->
  Mina_base.Account_id.t list ->
  (Mina_base.Account_id.t * Location.t option) list

val get_or_create_account : 
  Any_ledger.M.t ->
  Mina_base.Account_id.t ->
  Mina_base.Account.t ->
  ([ `Added | `Existed ] * Location.t) Core.Or_error.t

This may return an error if the ledger is full.

val close : Any_ledger.M.t -> unit

the ledger should not be used after calling close

val last_filled : Any_ledger.M.t -> Location.t option

for account locations in the ledger, the last (rightmost) filled location

val get_uuid : Any_ledger.M.t -> Uuid.t

val get_directory : Any_ledger.M.t -> string option

return Some directory for ledgers that use a file system, else None

val get : Any_ledger.M.t -> Location.t -> Mina_base.Account.t option

val get_batch : 
  Any_ledger.M.t ->
  Location.t list ->
  (Location.t * Mina_base.Account.t option) list

val set : Any_ledger.M.t -> Location.t -> Mina_base.Account.t -> unit

val set_batch : 
  Any_ledger.M.t ->
  (Location.t * Mina_base.Account.t) list ->
  unit

val get_at_index_exn : Any_ledger.M.t -> int -> Mina_base.Account.t

val set_at_index_exn : Any_ledger.M.t -> int -> Mina_base.Account.t -> unit

val index_of_account_exn : Any_ledger.M.t -> Mina_base.Account_id.t -> int

val merkle_root : Any_ledger.M.t -> Mina_base.Ledger_hash.t

meant to be a fast operation: the root hash is stored, rather than calculated dynamically

val merkle_path : Any_ledger.M.t -> Location.t -> Path.t

val merkle_path_at_index_exn : Any_ledger.M.t -> int -> Path.t

val remove_accounts_exn : Any_ledger.M.t -> Mina_base.Account_id.t list -> unit

val detached_signal : Any_ledger.M.t -> unit Async_kernel.Deferred.t

Triggers when the ledger has been detached and should no longer be accessed.

val register_mask : Any_ledger.M.t -> Mask.t -> Mask.Attached.t

val unregister_mask_exn : 
  ?grandchildren:
    [ `Check | `Recursive | `I_promise_I_am_reparenting_this_mask ] ->
  loc:string ->
  Mask.Attached.t ->
  Mask.t

raises an exception if mask is not registered

val remove_and_reparent_exn : Any_ledger.M.t -> Mask.Attached.t -> unit

* o * / * / * o --- o - * ^ ^ \ * parent | \ * mask o * children * * Removes the attached mask from its parent and attaches the children to the * parent instead. Raises an exception if the merkle roots of the mask and the * parent are not the same.

module Debug : sig ... end