package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val cost_of_instr : 'a 's 'r 'f. ('a, 's, 'r, 'f) Script_typed_ir.kinstr -> 'a -> 's -> Alpha_context.Gas.cost
val cost_of_control : 'a 's 'r 'f. ('a, 's, 'r, 'f) Script_typed_ir.continuation -> Alpha_context.Gas.cost
type local_gas_counter = int
type outdated_context =
  1. | OutDatedContext of Alpha_context.context
val update_context : int -> outdated_context -> Tezos_raw_protocol_alpha__Alpha_context.t
val update_local_gas_counter : Tezos_raw_protocol_alpha__Alpha_context.t -> int
val context_from_outdated_context : outdated_context -> Alpha_context.context
val use_gas_counter_in_ctxt : outdated_context -> int -> (Tezos_raw_protocol_alpha__Alpha_context.t -> ('a * Alpha_context.context, 'b) Stdlib.result Lwt.t) -> ('a * outdated_context * int, 'b) Stdlib.result Lwt.t
val update_and_check : int -> Alpha_context.Gas.cost -> int option
val consume : int -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'a -> 'b -> int option
val consume' : outdated_context -> int -> Alpha_context.Gas.cost -> (int, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result
val consume_control : int -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation -> int option
val log_entry : Script_typed_ir.logger -> outdated_context -> int -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'a -> 'b -> unit
val log_exit : Script_typed_ir.logger -> outdated_context -> int -> ('a, 'b) Script_typed_ir.kinfo -> ('c, 'd, 'e, 'f) Script_typed_ir.kinstr -> 'c -> 'd -> unit
val log_control : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation -> unit
val get_log : Script_typed_ir.logger option -> (Script_typed_ir.execution_trace option, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val log_kinstr : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr
val log_next_kinstr : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr
val id : 'a -> 'a
val kundip : 'a 's 'e 'z 'c 'u 'd 'w 'b 't. ('a, 's, 'e, 'z, 'c, 'u, 'd, 'w) Script_typed_ir.stack_prefix_preservation_witness -> 'c -> 'u -> ('d, 'w, 'b, 't) Script_typed_ir.kinstr -> 'a * 's * ('e, 'z, 'b, 't) Script_typed_ir.kinstr
val apply : outdated_context -> int -> 'a Script_typed_ir.ty -> 'a -> (('a, 'b) Script_typed_ir.pair, 'c) Script_typed_ir.lambda -> (('b, 'c) Script_typed_ir.lambda * outdated_context * int, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val transfer : (outdated_context * step_constants) -> int -> Alpha_context.Tez.tez -> 'a Script_typed_ir.ty -> 'a -> Alpha_context.Contract.contract -> string -> ((Alpha_context.packed_internal_operation * Alpha_context.Lazy_storage.diffs option) * outdated_context * int, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val create_contract : (outdated_context * step_constants) -> int -> 'a Script_typed_ir.ty -> 'b Script_typed_ir.ty -> (Alpha_context.Script.location, Alpha_context.Script.prim) Tezos_micheline.Micheline.node -> Script_typed_ir.field_annot option -> Tezos_crypto.Signature.public_key_hash option -> Alpha_context.Tez.tez -> 'a -> ((Alpha_context.packed_internal_operation * Alpha_context.Lazy_storage.diffs option) * Alpha_context.Contract.t * outdated_context * int, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val unpack : Tezos_raw_protocol_alpha__Alpha_context.t -> ty:'a Script_typed_ir.ty -> bytes:bytes -> ('a option * Tezos_raw_protocol_alpha__Alpha_context.t, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val interp_stack_prefix_preserving_operation : 'a 's 'b 't 'c 'u 'd 'w 'result. ('a -> 's -> ('b * 't) * 'result) -> ('a, 's, 'b, 't, 'c, 'u, 'd, 'w) Script_typed_ir.stack_prefix_preservation_witness -> 'c -> 'u -> ('d * 'w) * 'result
type ('a, 's, 'b, 't, 'r, 'f) step_type = (outdated_context * step_constants) -> local_gas_counter -> ('a, 's, 'b, 't) Script_typed_ir.kinstr -> ('b, 't, 'r, 'f) Script_typed_ir.continuation -> 'a -> 's -> ('r * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'm, 'n, 'o) kmap_exit_type = (('c, 'd, 'e, 'f) Script_typed_ir.continuation -> ('a, 'b, 'g, 'h) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('m * 'n, 'c * 'd, 'o, 'c * 'd) Script_typed_ir.kinstr * ('m * 'n) list * ('m, 'o) Script_typed_ir.map * 'm) -> (('m, 'o) Script_typed_ir.map, 'c * 'd, 'e, 'f) Script_typed_ir.continuation -> 'o -> ('a * 'b) -> ('g * 'h * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'j, 'k) kmap_enter_type = (('a, 'b * 'c, 'd, 'e) Script_typed_ir.continuation -> ('a, 'b * 'c, 'd, 'e) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('j * 'k, 'b * 'c, 'a, 'b * 'c) Script_typed_ir.kinstr * ('j * 'k) list * ('j, 'a) Script_typed_ir.map) -> (('j, 'a) Script_typed_ir.map, 'b * 'c, 'd, 'e) Script_typed_ir.continuation -> 'b -> 'c -> ('d * 'e * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'i, 'j) klist_exit_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('i, 'a * 'b, 'j, 'a * 'b) Script_typed_ir.kinstr * 'i list * 'j list * local_gas_counter) -> ('j Script_typed_ir.boxed_list, 'a * 'b, 'c, 'd) Script_typed_ir.continuation -> 'j -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'j) klist_enter_type = (('b, 'a * 'c, 'd, 'e) Script_typed_ir.continuation -> ('b, 'a * 'c, 'd, 'e) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('j, 'a * 'c, 'b, 'a * 'c) Script_typed_ir.kinstr * 'j list * 'b list * local_gas_counter) -> ('b Script_typed_ir.boxed_list, 'a * 'c, 'd, 'e) Script_typed_ir.continuation -> 'a -> 'c -> ('d * 'e * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g) kloop_in_left_type = (outdated_context * step_constants) -> local_gas_counter -> ('c, 'd, 'e, 'f) Script_typed_ir.continuation -> ('a, 'g, 'c, 'd) Script_typed_ir.kinstr -> ('b, 'g, 'e, 'f) Script_typed_ir.continuation -> ('a, 'b) Script_typed_ir.union -> 'g -> ('e * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'r, 'f, 's) kloop_in_type = (outdated_context * step_constants) -> local_gas_counter -> ('b, 'c, 'r, 'f) Script_typed_ir.continuation -> ('a, 's, 'b, 'c) Script_typed_ir.kinstr -> ('a, 's, 'r, 'f) Script_typed_ir.continuation -> bool -> ('a * 's) -> ('r * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 's, 'r, 'f) kiter_type = (('a, 's, 'r, 'f) Script_typed_ir.continuation -> ('a, 's, 'r, 'f) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('b, 'a * 's, 'a, 's) Script_typed_ir.kinstr * 'b list) -> ('a, 's, 'r, 'f) Script_typed_ir.continuation -> 'a -> 's -> ('r * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h) ilist_map_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('e, 'a * 'b, 'f, 'a * 'b) Script_typed_ir.kinstr * ('f Script_typed_ir.boxed_list, 'a * 'b, 'g, 'h) Script_typed_ir.kinstr) -> ('g, 'h, 'c, 'd) Script_typed_ir.continuation -> 'e Script_typed_ir.boxed_list -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g) ilist_iter_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('e, 'a * 'b, 'a, 'b) Script_typed_ir.kinstr * ('a, 'b, 'f, 'g) Script_typed_ir.kinstr) -> ('f, 'g, 'c, 'd) Script_typed_ir.continuation -> 'e Script_typed_ir.boxed_list -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g) iset_iter_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('e, 'a * 'b, 'a, 'b) Script_typed_ir.kinstr * ('a, 'b, 'f, 'g) Script_typed_ir.kinstr) -> ('f, 'g, 'c, 'd) Script_typed_ir.continuation -> 'e Script_typed_ir.set -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i) imap_map_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('e * 'f, 'a * 'b, 'g, 'a * 'b) Script_typed_ir.kinstr * (('e, 'g) Script_typed_ir.map, 'a * 'b, 'h, 'i) Script_typed_ir.kinstr) -> ('h, 'i, 'c, 'd) Script_typed_ir.continuation -> ('e, 'f) Script_typed_ir.map -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h) imap_iter_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('e * 'f, 'a * 'b, 'a, 'b) Script_typed_ir.kinstr * ('a, 'b, 'g, 'h) Script_typed_ir.kinstr) -> ('g, 'h, 'c, 'd) Script_typed_ir.continuation -> ('e, 'f) Script_typed_ir.map -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f) imul_teznat_type = Script_typed_ir.logger option -> (outdated_context * step_constants) -> local_gas_counter -> ((Alpha_context.Tez.t, 'a) Script_typed_ir.kinfo * (Alpha_context.Tez.t, 'b, 'c, 'd) Script_typed_ir.kinstr) -> ('c, 'd, 'e, 'f) Script_typed_ir.continuation -> Alpha_context.Tez.t -> (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'b) -> ('e * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f) imul_nattez_type = Script_typed_ir.logger option -> (outdated_context * step_constants) -> local_gas_counter -> ((Alpha_context.Script_int.n Alpha_context.Script_int.num, 'a) Script_typed_ir.kinfo * (Alpha_context.Tez.t, 'b, 'c, 'd) Script_typed_ir.kinstr) -> ('c, 'd, 'e, 'f) Script_typed_ir.continuation -> Alpha_context.Script_int.n Alpha_context.Script_int.num -> (Alpha_context.Tez.t * 'b) -> ('e * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f) ilsl_nat_type = Script_typed_ir.logger option -> (outdated_context * step_constants) -> local_gas_counter -> ((Alpha_context.Script_int.n Alpha_context.Script_int.num, 'a) Script_typed_ir.kinfo * (Alpha_context.Script_int.n Alpha_context.Script_int.num, 'b, 'c, 'd) Script_typed_ir.kinstr) -> ('c, 'd, 'e, 'f) Script_typed_ir.continuation -> Alpha_context.Script_int.n Alpha_context.Script_int.num -> (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'b) -> ('e * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f) ilsr_nat_type = Script_typed_ir.logger option -> (outdated_context * step_constants) -> local_gas_counter -> ((Alpha_context.Script_int.n Alpha_context.Script_int.num, 'a) Script_typed_ir.kinfo * (Alpha_context.Script_int.n Alpha_context.Script_int.num, 'b, 'c, 'd) Script_typed_ir.kinstr) -> ('c, 'd, 'e, 'f) Script_typed_ir.continuation -> Alpha_context.Script_int.n Alpha_context.Script_int.num -> (Alpha_context.Script_int.n Alpha_context.Script_int.num * 'b) -> ('e * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b) ifailwith_type = Script_typed_ir.logger option -> (outdated_context * step_constants) -> local_gas_counter -> int -> 'a Script_typed_ir.ty -> 'a -> ('b, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g) iexec_type = Script_typed_ir.logger option -> (outdated_context * step_constants) -> local_gas_counter -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> ('c, 'd, 'e, 'f) Script_typed_ir.continuation -> 'g -> (('g, 'a) Script_typed_ir.lambda * 'b) -> ('e * 'f * outdated_context * local_gas_counter, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.