archetype 1.3.6 · OCaml Package

module PT = ParseTree

module T = Michelson

exception TypeEntrypointNotFound of string

type error_desc =

val pp_error_desc : Core.Format.formatter -> error_desc -> unit

type error = Location.t * error_desc

val emit_error : (Location.t * error_desc) -> int -> 'a

val string_to_ttype : ?entrypoint:Tools.String.t -> string -> T.type_

val to_model_expr : PT.expr -> T.data

val extract_from_micheline : 
  Tools.String.t ->
  T.obj_micheline ->
  T.obj_micheline

type eargs = {

}

val eargs_to_yojson : eargs -> Yojson.Safe.t

val eargs_of_yojson : 
  Yojson.Safe.t ->
  eargs Ppx_deriving_yojson_runtime.error_or

val pp_eargs : 
  Ppx_deriving_runtime.Format.formatter ->
  eargs ->
  Ppx_deriving_runtime.unit

val show_eargs : eargs -> Ppx_deriving_runtime.string

type entry = {

}

val entry_to_yojson : entry -> Yojson.Safe.t

val entry_of_yojson : 
  Yojson.Safe.t ->
  entry Ppx_deriving_yojson_runtime.error_or

val pp_entry : 
  Ppx_deriving_runtime.Format.formatter ->
  entry ->
  Ppx_deriving_runtime.unit

val show_entry : entry -> Ppx_deriving_runtime.string

type entries = entry list

val entries_to_yojson : entries -> Yojson.Safe.t

val entries_of_yojson : 
  Yojson.Safe.t ->
  entries Ppx_deriving_yojson_runtime.error_or

val pp_entries : 
  Ppx_deriving_runtime.Format.formatter ->
  entries ->
  Ppx_deriving_runtime.unit

val show_entries : T.obj_micheline -> string

val to_micheline : string -> unit

type storage_value = {

}

val storage_value_to_yojson : storage_value -> Yojson.Safe.t

val storage_value_of_yojson : 
  Yojson.Safe.t ->
  storage_value Ppx_deriving_yojson_runtime.error_or

val pp_storage_value : 
  Ppx_deriving_runtime.Format.formatter ->
  storage_value ->
  Ppx_deriving_runtime.unit

val show_storage_value : storage_value -> Ppx_deriving_runtime.string

type storage_values = storage_value list

val storage_values_to_yojson : storage_values -> Yojson.Safe.t

val storage_values_of_yojson : 
  Yojson.Safe.t ->
  storage_values Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> storage_values Ppx_deriving_yojson_runtime.error_or

val pp_storage_values : 
  Ppx_deriving_runtime.Format.formatter ->
  storage_values ->
  Ppx_deriving_runtime.unit

val show_storage_values : storage_values -> Ppx_deriving_runtime.string

val get_storage_values : Model.model -> string

val generate_contract_metadata : 
  ?only_views:bool ->
  Model.model ->
  Michelson.offchain_view list ->
  string

package archetype