package tezos-protocol-plugin-010-PtGRANAD

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-protocol-plugin-010-PtGRANAD

tezos-protocol-plugin-010-PtGRANAD
- Tezos_protocol_plugin_010_PtGRANAD
  - Plugin
    
    Mempool
    
    RPC
    
    Big_map
    
    S
    
    Contract
    
    S
    
    Forge
    
    Manager
    
    S
    
    Parse
    
    S
    
    Registration
    
    S
    
    Scripts
    
    S
    
    Traced_interpreter
    
    Unparsing_mode
    
    UNPARSING_MODE
    
    Unparse_types
    
    View_helpers

Legend:
Library
Module
Module type
Parameter
Class
Class type

type nanotez = Q.t

val nanotez_enc : nanotez Data_encoding.t

type config = {

minimal_fees : Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.t;
minimal_nanotez_per_gas_unit : nanotez;
minimal_nanotez_per_byte : nanotez;
allow_script_failure : bool;
(*
If true, this makes post_filter_manager unconditionally return `Passed_postfilter filter_state, no matter the operation's success.
*)

}

type state = unit

val init : 
  'a ->
  ?validation_state:Tezos_protocol_010_PtGRANAD.Protocol.validation_state ->
  predecessor:'b ->
  unit ->
  (unit, 'c) result Lwt.t

val on_flush : 
  'a ->
  'b ->
  ?validation_state:Tezos_protocol_010_PtGRANAD.Protocol.validation_state ->
  predecessor:'c ->
  unit ->
  (unit, 'd) result Lwt.t

val remove : filter_state:'a -> 'b -> 'a

val default_minimal_fees : 
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.tez

val default_minimal_nanotez_per_gas_unit : Q.t

val default_minimal_nanotez_per_byte : Q.t

val config_encoding : config Data_encoding.t

val default_config : config

val get_manager_operation_gas_and_fee : 
  'a Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.contents_list ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.tez
   * Tezos_raw_protocol_010_PtGRANAD.Saturation_repr.may_saturate
       Tezos_raw_protocol_010_PtGRANAD.Saturation_repr.t,
    Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.error
      Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.trace)
    result

type Tezos_protocol_010_PtGRANAD.Protocol.Environment.Error_monad.error +=

| Fees_too_low

val pre_filter_manager : 
  't. config ->
  't Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Kind.manager
    Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.contents_list ->
  int ->
  [ `Branch_delayed of Tezos_error_monad.TzCore.error list
  | `Branch_refused of Tezos_error_monad.TzCore.error list
  | `Outdated of Tezos_error_monad.TzCore.error list
  | `Passed_prefilter
  | `Refused of Tezos_error_monad.TzCore.error list ]

type Tezos_protocol_010_PtGRANAD.Protocol.Environment.Error_monad.error +=

| Outdated_endorsement

type Tezos_protocol_010_PtGRANAD.Protocol.Environment.Error_monad.error +=

| Wrong_operation

val pre_filter : 
  config ->
  filter_state:'a ->
  ?validation_state_before:
    Tezos_protocol_010_PtGRANAD.Protocol.validation_state ->
  Tezos_protocol_010_PtGRANAD.Protocol.Main.operation ->
  [> `Branch_delayed of Tezos_error_monad.TzCore.error list
  | `Branch_refused of Tezos_error_monad.TzCore.error list
  | `Outdated of Tezos_error_monad.TzCore.error list
  | `Passed_prefilter of [> `High | `Low of 'b list ]
  | `Refused of Tezos_error_monad.TzCore.error list ]
    Lwt.t

val precheck : 
  'a ->
  filter_state:'b ->
  validation_state:'c ->
  'd ->
  'e ->
  nb_successful_prechecks:'f ->
  [> `Undecided ] Lwt.t

type Tezos_protocol_010_PtGRANAD.Protocol.Environment.Error_monad.error +=

| Skipped_operation

type Tezos_protocol_010_PtGRANAD.Protocol.Environment.Error_monad.error +=

| Backtracked_operation

val post_filter_manager : 
  't. Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.t ->
  state ->
  't Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Kind.manager
    Tezos_protocol_010_PtGRANAD.Protocol.Apply_results.contents_result_list ->
  config ->
  [ `Passed_postfilter of state
  | `Refused of Tezos_error_monad.TzCore.error list ]

val post_filter : 
  config ->
  filter_state:state ->
  validation_state_before:'a ->
  validation_state_after:Tezos_protocol_010_PtGRANAD.Protocol.validation_state ->
  ('b
   * Tezos_protocol_010_PtGRANAD.Protocol.Apply_results.packed_operation_metadata) ->
  [ `Passed_postfilter of state
  | `Refused of Tezos_error_monad.TzCore.error list ]
    Lwt.t