Tezos_protocol_plugin_013_PtJakart.Plugin.View_helpers · tezos-protocol-plugin-013-PtJakart 13.0

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

| Viewed_contract_has_no_script

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

| View_callback_origination_failed

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

| Illformed_view_type of Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t
  * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr

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

| View_never_returns of Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t
  * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t

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

| View_unexpected_return of Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t
  * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t

val make_viewer_script : 
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.prim
    Tezos_micheline.Micheline.canonical ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.t

val make_view_parameter : 
  ( int, Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.prim )
    Tezos_micheline.Micheline.node ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.prim
    Tezos_micheline.Micheline.canonical

val extract_view_output_type : 
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.prim
    Tezos_micheline.Micheline.canonical ->
  ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.prim
      Tezos_micheline.Micheline.canonical,
    Tezos_protocol_013_PtJakart.Protocol.Environment.Error_monad.error
      Tezos_protocol_013_PtJakart.Protocol.Environment.Error_monad.trace )
    result

val extract_parameter_from_operations : 
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t ->
  Tezos_protocol_013_PtJakart.Protocol.Script_typed_ir.packed_internal_operation
    list ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.lazy_expr,
    Tezos_protocol_013_PtJakart.Protocol.Environment.Error_monad.error
      Tezos_protocol_013_PtJakart.Protocol.Environment.Error_monad.trace )
    result

tezos-protocol-plugin-013-PtJakart 15.1 15.0 14.0 13.0

tezos-protocol-plugin-013-PtJakart