package tezos-protocol-006-PsCARTHA

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val typecheck_code : 'a Tezos_protocol_environment_006_PsCARTHA__Environment.RPC_context.simple -> 'a -> (Alpha_context.Script.expr * Z.t option) -> (Script_tc_errors.type_map * Alpha_context.Gas.t, Tezos_error_monad.Error_monad.error list) result Lwt.t
val typecheck_data : 'a Tezos_protocol_environment_006_PsCARTHA__Environment.RPC_context.simple -> 'a -> (Alpha_context.Script.expr * Alpha_context.Script.expr * Z.t option) -> (Alpha_context.Gas.t, Tezos_error_monad.Error_monad.error list) result Lwt.t
val pack_data : 'a Tezos_protocol_environment_006_PsCARTHA__Environment.RPC_context.simple -> 'a -> (Alpha_context.Script.expr * Alpha_context.Script.expr * Z.t option) -> (Tezos_stdlib.MBytes.t * Alpha_context.Gas.t, Tezos_error_monad.Error_monad.error list) result Lwt.t
val run_operation : 'a Tezos_protocol_environment_006_PsCARTHA__Environment.RPC_context.simple -> 'a -> (Alpha_context.packed_operation * Tezos_crypto.Chain_id.t) -> (Alpha_context.packed_protocol_data * Apply_results.packed_operation_metadata, Tezos_error_monad.Error_monad.error list) result Lwt.t
val entrypoint_type : 'a Tezos_protocol_environment_006_PsCARTHA__Environment.RPC_context.simple -> 'a -> (Alpha_context.Script.expr * string) -> (Alpha_context.Script.expr, Tezos_error_monad.Error_monad.error list) result Lwt.t
val list_entrypoints : 'a Tezos_protocol_environment_006_PsCARTHA__Environment.RPC_context.simple -> 'a -> Alpha_context.Script.expr -> (Michelson_v1_primitives.prim list list * (string * Alpha_context.Script.expr) list, Tezos_error_monad.Error_monad.error list) result Lwt.t