Block_services (mavkit-shell-libs.Mavryk_mockup.Local_services.Make.E.Block

val path : 
  (unit,
    (unit * [ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ])
    * [ `Genesis
      | `Head of int
      | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
      | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
      | `Level of Stdlib.Int32.t ])
    Mavryk_rpc.Path.t

type raw_block_header = {

shell : Mavryk_base.Block_header.shell_header;
protocol_data : Protocol.block_header_data;

}

type block_header = {

chain_id : Mavryk_base.TzPervasives.Chain_id.t;
hash : Mavryk_base.TzPervasives.Block_hash.t;
shell : Mavryk_base.Block_header.shell_header;
protocol_data : Protocol.block_header_data;

}

type block_metadata = {

protocol_data : Protocol.block_header_metadata;
test_chain_status : Mavryk_base.Test_chain_status.t;
max_operations_ttl : int;
max_operation_data_length : int;
max_block_header_length : int;
operation_list_quota : Mavryk_shell_services__Block_services.operation_list_quota list;

}

type operation_receipt =

| Empty
| Too_large
| Receipt of Protocol.operation_receipt

type operation = {

chain_id : Mavryk_base.TzPervasives.Chain_id.t;
hash : Mavryk_base.TzPervasives.Operation_hash.t;
shell : Mavryk_base.Operation.shell_header;
protocol_data : Protocol.operation_data;
receipt : operation_receipt;

}

type block_info = {

chain_id : Mavryk_base.TzPervasives.Chain_id.t;
hash : Mavryk_base.TzPervasives.Block_hash.t;
header : raw_block_header;
metadata : block_metadata option;
operations : operation list list;

}

val block_info_encoding : 
  (Mavryk_shell_services__Block_services.version * block_info)
    Mavryk_base.TzPervasives.Data_encoding.t

val info : 
  Mavryk_rpc.Context.simple ->
  ?version:Mavryk_shell_services__Block_services.version ->
  ?force_metadata:bool ->
  ?metadata:[ `Always | `Never ] ->
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  unit ->
  block_info Mavryk_base.TzPervasives.tzresult Lwt.t

val hash : 
  Mavryk_rpc.Context.simple ->
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  unit ->
  Mavryk_base.TzPervasives.Block_hash.t Mavryk_base.TzPervasives.tzresult Lwt.t

val raw_header : 
  Mavryk_rpc.Context.simple ->
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  unit ->
  Mavryk_base.TzPervasives.Bytes.t Mavryk_base.TzPervasives.tzresult Lwt.t

val header : 
  Mavryk_rpc.Context.simple ->
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  unit ->
  block_header Mavryk_base.TzPervasives.tzresult Lwt.t

val metadata : 
  Mavryk_rpc.Context.simple ->
  ?version:Mavryk_shell_services__Block_services.version ->
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  unit ->
  block_metadata Mavryk_base.TzPervasives.tzresult Lwt.t

val metadata_hash : 
  Mavryk_rpc.Context.simple ->
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  unit ->
  Mavryk_base.TzPervasives.Block_metadata_hash.t
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val resulting_context_hash : 
  Mavryk_rpc.Context.simple ->
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  unit ->
  Mavryk_base.TzPervasives.Context_hash.t Mavryk_base.TzPervasives.tzresult
    Lwt.t

module Header : sig ... end

module Operations : sig ... end

module Operation_hashes : sig ... end

module Operation_metadata_hashes : sig ... end

module Context : sig ... end

module Helpers : sig ... end

module Mempool : sig ... end

val live_blocks : 
  Mavryk_rpc.Context.simple ->
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  unit ->
  Mavryk_base.TzPervasives.Block_hash.Set.t Mavryk_base.TzPervasives.tzresult
    Lwt.t

module S : sig ... end