View_helpers (mavkit-protocol-alpha-libs.Mavryk_protocol_plugin_alpha.View

type Mavryk_protocol_alpha.Environment.Error_monad.error +=

| Viewed_contract_has_no_script

type Mavryk_protocol_alpha.Environment.Error_monad.error +=

| View_callback_origination_failed

type Mavryk_protocol_alpha.Environment.Error_monad.error +=

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

type Mavryk_protocol_alpha.Environment.Error_monad.error +=

| View_never_returns of Mavryk_protocol_alpha.Protocol.Alpha_context.Entrypoint.t * Mavryk_protocol_alpha.Protocol.Contract_hash.t

type Mavryk_protocol_alpha.Environment.Error_monad.error +=

| View_unexpected_return of Mavryk_protocol_alpha.Protocol.Alpha_context.Entrypoint.t * Mavryk_protocol_alpha.Protocol.Contract_hash.t

type Mavryk_protocol_alpha.Environment.Error_monad.error +=

| View_not_found of Mavryk_protocol_alpha.Protocol.Contract_hash.t * string

type Mavryk_protocol_alpha.Environment.Error_monad.error +=

| Viewer_unexpected_storage

val make_tzip4_viewer_script : 
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.prim
    Mavryk_micheline.Micheline.canonical ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.t

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

val extract_view_output_type : 
  Mavryk_protocol_alpha.Protocol.Alpha_context.Entrypoint.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.prim
    Mavryk_micheline.Micheline.canonical ->
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Script.prim
     Mavryk_micheline.Micheline.canonical,
    Mavryk_protocol_alpha.Environment.Error_monad.error
      Mavryk_protocol_alpha.Environment.Error_monad.trace)
    Mavryk_protocol_environment_alpha.Pervasives.result

val extract_parameter_from_operations : 
  Mavryk_protocol_alpha.Protocol.Alpha_context.Entrypoint.t ->
  Mavryk_protocol_alpha.Protocol.Script_typed_ir.packed_internal_operation list ->
  Mavryk_protocol_alpha.Protocol.Contract_hash.t ->
  (Mavryk_raw_protocol_alpha.Alpha_context.Script.expr,
    Mavryk_protocol_alpha.Environment.Error_monad.error
      Mavryk_protocol_alpha.Environment.Error_monad.trace)
    Mavryk_protocol_environment_alpha.Pervasives.result

val make_michelson_viewer_script : 
  Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  string ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.prim
    Mavryk_micheline.Micheline.canonical ->
  (Mavryk_micheline.Micheline.canonical_location,
    Mavryk_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  (Mavryk_micheline.Micheline.canonical_location,
    Mavryk_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.t

val extract_value_from_storage : 
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr ->
  ((Mavryk_micheline.Micheline.canonical_location,
     Mavryk_protocol_alpha.Protocol.Alpha_context.Script.prim)
     Mavryk_micheline.Micheline.node,
    Mavryk_protocol_alpha.Environment.Error_monad.error
      Mavryk_protocol_alpha.Environment.Error_monad.trace)
    Mavryk_protocol_environment_alpha.Pervasives.result