Layer1_services (mavkit-protocol-001-PtAtLas-libs.Mavryk_layer2_utils_001_PtAtLas.Layer1

type Mavryk_base.TzPervasives.error +=

| Cannot_read_block_metadata of Mavryk_base.TzPervasives.Block_hash.t

type 'accu successful_operation_processor = {

apply : 'kind. 'accu -> source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash -> 'kind Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.manager_operation -> 'kind Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.successful_manager_operation_result -> 'accu;
apply_internal : 'kind. 'accu -> source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash -> 'kind Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.internal_operation -> 'kind Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.successful_internal_operation_result -> 'accu;

}

type 'accu operation_processor = {

apply : 'kind. 'accu -> source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash -> 'kind Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.manager_operation -> 'kind Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.manager_operation_result -> 'accu;
apply_internal : 'kind. 'accu -> source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash -> 'kind Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.internal_operation -> 'kind Mavryk_protocol_001_PtAtLas.Protocol.Apply_internal_results.internal_operation_result -> 'accu;

}

val process_manager_operations : 
  'a ->
  Mavryk_client_001_PtAtLas.Protocol_client_context.Alpha_block_services.operation
    list
    list ->
  'a operation_processor ->
  'a

process_manager_operations accu operations operator folds over the list of manager operations in operations applying operator to transform accu along the way.

val process_applied_manager_operations : 
  'a ->
  Mavryk_client_001_PtAtLas.Protocol_client_context.Alpha_block_services.operation
    list
    list ->
  'a successful_operation_processor ->
  'a

process_applied_manager_operations accu operations operator folds over the list of applied manager operations in operations applying operator to transform accu along the way.