Module `Archetype.Gen_extra`Source

Sourcemodule PT = ParseTree

Sourcemodule T = Michelson

Sourceexception TypeEntrypointNotFound of string

Sourcetype error_desc =

| TypeNotCompatible of T.type_ * PT.expr

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

Sourcetype error = Location.t * error_desc

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

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

Sourceval to_model_expr : PT.expr -> T.data

Source

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

Sourcetype eargs = {

id : string;
typ : string;

}

Sourceval eargs_to_yojson : eargs -> Yojson.Safe.t

Source

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

Source

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

Sourceval show_eargs : eargs -> Ppx_deriving_runtime.string

Sourcetype entry = {

name : string;
args : eargs list;
typ : string;

}

Sourceval entry_to_yojson : entry -> Yojson.Safe.t

Source

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

Source

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

Sourceval show_entry : entry -> Ppx_deriving_runtime.string

Sourcetype entries = entry list

Sourceval entries_to_yojson : entries -> Yojson.Safe.t

Source

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

Source

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

Sourceval show_entries : T.obj_micheline -> string

Sourceval to_micheline : string -> unit

Sourcetype storage_value = {

id : string;
value : string;

}

Sourceval storage_value_to_yojson : storage_value -> Yojson.Safe.t

Source

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

Source

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

Sourceval show_storage_value : storage_value -> Ppx_deriving_runtime.string

Sourcetype storage_values = storage_value list

Sourceval storage_values_to_yojson : storage_values -> Yojson.Safe.t

Source

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

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

Source

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

Sourceval show_storage_values : storage_values -> Ppx_deriving_runtime.string

Sourceval get_storage_values : Model.model -> string

Source

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

package archetype

Module Archetype.Gen_extraSource

Module `Archetype.Gen_extra`Source