archetype 1.5.2 (latest) · OCaml Package

module M = Model

module T = Michelson

type lcc = {

line : int;
col : int;
char : int;

}

val lcc_to_yojson : lcc -> Yojson.Safe.t

val lcc_of_yojson : Yojson.Safe.t -> lcc Ppx_deriving_yojson_runtime.error_or

val pp_lcc : 
  Ppx_deriving_runtime.Format.formatter ->
  lcc ->
  Ppx_deriving_runtime.unit

val show_lcc : lcc -> Ppx_deriving_runtime.string

type range = {

name : string;
begin_ : lcc;
end_ : lcc;

}

val range_to_yojson : range -> Yojson.Safe.t

val range_of_yojson : 
  Yojson.Safe.t ->
  range Ppx_deriving_yojson_runtime.error_or

val show_range : range -> Ppx_deriving_runtime.string

type node_micheline =

| Nprim of prim
| Nstring of string
| Nbytes of string
| Nint of string
| Narray of micheline list

and prim = {

prim : string;
args : micheline list;
annots : string list;

}

and micheline = {

node : node_micheline;
debug : T.debug option;

}

val pp_node_micheline : 
  Ppx_deriving_runtime.Format.formatter ->
  node_micheline ->
  Ppx_deriving_runtime.unit

val show_node_micheline : node_micheline -> Ppx_deriving_runtime.string

val pp_prim : 
  Ppx_deriving_runtime.Format.formatter ->
  prim ->
  Ppx_deriving_runtime.unit

val show_prim : prim -> Ppx_deriving_runtime.string

val pp_micheline : 
  Ppx_deriving_runtime.Format.formatter ->
  micheline ->
  Ppx_deriving_runtime.unit

val show_micheline : micheline -> Ppx_deriving_runtime.string

type arg = {

name : string;
type_ : string;

}

val arg_to_yojson : arg -> Yojson.Safe.t

val arg_of_yojson : Yojson.Safe.t -> arg Ppx_deriving_yojson_runtime.error_or

val pp_arg : 
  Ppx_deriving_runtime.Format.formatter ->
  arg ->
  Ppx_deriving_runtime.unit

val show_arg : arg -> Ppx_deriving_runtime.string

type entrypoint = {

name : string;
args : arg list;
range : range;

}

val entrypoint_to_yojson : entrypoint -> Yojson.Safe.t

val entrypoint_of_yojson : 
  Yojson.Safe.t ->
  entrypoint Ppx_deriving_yojson_runtime.error_or

val pp_entrypoint : 
  Ppx_deriving_runtime.Format.formatter ->
  entrypoint ->
  Ppx_deriving_runtime.unit

val show_entrypoint : entrypoint -> Ppx_deriving_runtime.string

type storage_item = {

name : string;
type_ : string;
value : string option;

}

val storage_item_to_yojson : storage_item -> Yojson.Safe.t

val storage_item_of_yojson : 
  Yojson.Safe.t ->
  storage_item Ppx_deriving_yojson_runtime.error_or

val pp_storage_item : 
  Ppx_deriving_runtime.Format.formatter ->
  storage_item ->
  Ppx_deriving_runtime.unit

val show_storage_item : storage_item -> Ppx_deriving_runtime.string

type interface = {

entrypoints : entrypoint list;
storage : storage_item list;
const_params : storage_item list;

}

val interface_to_yojson : interface -> Yojson.Safe.t

val interface_of_yojson : 
  Yojson.Safe.t ->
  interface Ppx_deriving_yojson_runtime.error_or

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

val pp_interface : 
  Ppx_deriving_runtime.Format.formatter ->
  interface ->
  Ppx_deriving_runtime.unit

val show_interface : interface -> Ppx_deriving_runtime.string

type debug_trace = {

name : string;
path : string;
interface : interface;
contract : micheline;

}

val pp_debug_trace : 
  Ppx_deriving_runtime.Format.formatter ->
  debug_trace ->
  Ppx_deriving_runtime.unit

val show_debug_trace : debug_trace -> Ppx_deriving_runtime.string

val mk_micheline : ?debug:T.debug -> node_micheline -> micheline

val mk_mich_prim : 
  ?debug:T.debug ->
  ?args:micheline list ->
  ?annots:string list ->
  string ->
  micheline

val mk_mich_string : ?debug:T.debug -> string -> micheline

val mk_mich_bytes : ?debug:T.debug -> string -> micheline

val mk_mich_int : ?debug:T.debug -> string -> micheline

val mk_mich_int_int : ?debug:T.debug -> int -> micheline

val mk_mich_array : ?debug:T.debug -> micheline list -> micheline

val type_to_micheline : T.type_ -> micheline

val data_to_micheline : T.data -> micheline

val obj_micheline_to_micheline : T.obj_micheline -> micheline

val code_to_micheline : T.code -> micheline

val for_interface : M.model -> interface

val generate_debug_trace_json : M.model -> T.michelson -> debug_trace

val pp_range : Format.formatter -> Location.t -> unit

val pp_decl_bound : Format.formatter -> T.decl_bound -> unit

val pp_debug_ : Format.formatter -> T.debug -> unit

val pp_micheline_ : Core.Format.formatter -> micheline -> unit

val pp_trace_json : Format.formatter -> debug_trace -> unit

package archetype