Module Tezos_protocol_plugin_alpha.View_helpersSource

Sourcetype Tezos_protocol_alpha.Environment.Error_monad.error +=
  1. | Viewed_contract_has_no_script
Sourcetype Tezos_protocol_alpha.Environment.Error_monad.error +=
  1. | View_callback_origination_failed
Sourcetype Tezos_protocol_alpha.Environment.Error_monad.error +=
  1. | Illformed_view_type of Tezos_protocol_alpha.Protocol.Alpha_context.Entrypoint.t * Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr
Sourcetype Tezos_protocol_alpha.Environment.Error_monad.error +=
  1. | View_never_returns of Tezos_protocol_alpha.Protocol.Alpha_context.Entrypoint.t * Tezos_protocol_alpha.Protocol.Contract_hash.t
Sourcetype Tezos_protocol_alpha.Environment.Error_monad.error +=
  1. | View_unexpected_return of Tezos_protocol_alpha.Protocol.Alpha_context.Entrypoint.t * Tezos_protocol_alpha.Protocol.Contract_hash.t
Sourcetype Tezos_protocol_alpha.Environment.Error_monad.error +=
  1. | View_not_found of Tezos_protocol_alpha.Protocol.Contract_hash.t * string
Sourcetype Tezos_protocol_alpha.Environment.Error_monad.error +=
  1. | Viewer_unexpected_storage
Sourceval make_tzip4_viewer_script : Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical -> Tezos_protocol_alpha.Protocol.Alpha_context.Script.t
Sourceval make_view_parameter : (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim) Tezos_micheline.Micheline.node -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical
Sourceval extract_view_output_type : Tezos_protocol_alpha.Protocol.Alpha_context.Entrypoint.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical -> (Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical, Tezos_protocol_alpha.Environment.Error_monad.error Tezos_protocol_alpha.Environment.Error_monad.trace) Tezos_protocol_environment_alpha.Pervasives.result
Sourceval extract_parameter_from_operations : Tezos_protocol_alpha.Protocol.Alpha_context.Entrypoint.t -> Tezos_protocol_alpha.Protocol.Script_typed_ir.packed_internal_operation list -> Tezos_protocol_alpha.Protocol.Contract_hash.t -> (Tezos_raw_protocol_alpha.Alpha_context.Script.expr, Tezos_protocol_alpha.Environment.Error_monad.error Tezos_protocol_alpha.Environment.Error_monad.trace) Tezos_protocol_environment_alpha.Pervasives.result
Sourceval make_michelson_viewer_script : Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> string -> Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical -> (Tezos_micheline.Micheline.canonical_location, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim) Tezos_micheline.Micheline.node -> (Tezos_micheline.Micheline.canonical_location, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim) Tezos_micheline.Micheline.node -> Tezos_protocol_alpha.Protocol.Alpha_context.Script.t
Sourceval extract_value_from_storage : Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr -> ((Tezos_micheline.Micheline.canonical_location, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim) Tezos_micheline.Micheline.node, Tezos_protocol_alpha.Environment.Error_monad.error Tezos_protocol_alpha.Environment.Error_monad.trace) Tezos_protocol_environment_alpha.Pervasives.result