Persistent_frontier (transition_frontier_persistent_frontier.Persistent

module Database : sig ... end

This module implements the RocksDB interface for interacting with the * persistent frontier's database. This interface includes all of the * basic low level interactions with the database, as well as functionality * for checking the database for structural errors (corruption). Errors * returned from this module come in the form of polymorphic variants. * The Error module is provided as a simple interface for converting * these polymorphic variant errors into human readable strings.

module type CONTEXT = sig ... end

exception Invalid_genesis_state_hash of Mina_block.Validated.t

val construct_staged_ledger_at_root : 
  precomputed_values:Precomputed_values.t ->
  root_ledger:Mina_ledger.Ledger.Db.t ->
  root_transition:Mina_block.Validated.t ->
  root:Frontier_base.Root_data.Minimal.t ->
  protocol_states:Mina_state.Protocol_state.Value.t list ->
  logger:Logger.t ->
  Staged_ledger.t Async_kernel__Deferred_or_error.t

module Instance_type : sig ... end

module Factory_type : sig ... end

module Instance : sig ... end

type t = Factory_type.t

val create : 
  logger:Logger.t ->
  verifier:Verifier.t ->
  time_controller:Block_time.Controller.t ->
  directory:string ->
  Factory_type.t

val destroy_database_exn : Factory_type.t -> unit Async_kernel__Deferred.t

val create_instance_exn : Factory_type.t -> Instance_type.t

val with_instance_exn : 
  Factory_type.t ->
  f:( Instance_type.t -> 'a ) ->
  'b Async_kernel__Deferred.t

val reset_database_exn : 
  Factory_type.t ->
  root_data:Frontier_base.Root_data.Limited.t ->
  genesis_state_hash:Mina_base.State_hash.t ->
  unit Async_kernel__Deferred.t