package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Archetype.Gen_debug_traceSource

Sourcemodule M = Model
Sourcemodule T = Michelson
Sourcetype lcc = {
  1. line : int;
  2. col : int;
  3. char : int;
}
Sourceval lcc_to_yojson : lcc -> Yojson.Safe.t
Sourcetype range = {
  1. name : string;
  2. begin_ : lcc;
  3. end_ : lcc;
}
Sourceval range_to_yojson : range -> Yojson.Safe.t
Sourcetype node_micheline =
  1. | Nprim of prim
  2. | Nstring of string
  3. | Nbytes of string
  4. | Nint of string
  5. | Narray of micheline list
Sourceand prim = {
  1. prim : string;
  2. args : micheline list;
  3. annots : string list;
}
Sourceand micheline = {
  1. node : node_micheline;
  2. debug : T.debug option;
}
Sourcetype arg = {
  1. name : string;
  2. type_ : string;
}
Sourceval arg_to_yojson : arg -> Yojson.Safe.t
Sourcetype entrypoint = {
  1. name : string;
  2. args : arg list;
  3. range : range;
}
Sourceval entrypoint_to_yojson : entrypoint -> Yojson.Safe.t
Sourcetype storage_item = {
  1. name : string;
  2. type_ : string;
  3. value : string option;
}
Sourceval storage_item_to_yojson : storage_item -> Yojson.Safe.t
Sourcetype interface = {
  1. entrypoints : entrypoint list;
  2. storage : storage_item list;
  3. const_params : storage_item list;
}
Sourceval interface_to_yojson : interface -> Yojson.Safe.t
Sourceval _ : Yojson.Safe.t -> interface Ppx_deriving_yojson_runtime.error_or
Sourcetype debug_trace = {
  1. name : string;
  2. path : string;
  3. interface : interface;
  4. contract : micheline;
}
Sourceval mk_micheline : ?debug:T.debug -> node_micheline -> micheline
Sourceval mk_mich_prim : ?debug:T.debug -> ?args:micheline list -> ?annots:string list -> string -> micheline
Sourceval mk_mich_string : ?debug:T.debug -> string -> micheline
Sourceval mk_mich_bytes : ?debug:T.debug -> string -> micheline
Sourceval mk_mich_int : ?debug:T.debug -> string -> micheline
Sourceval mk_mich_int_int : ?debug:T.debug -> int -> micheline
Sourceval mk_mich_array : ?debug:T.debug -> micheline list -> micheline
Sourceval type_to_micheline : T.type_ -> micheline
Sourceval data_to_micheline : T.data -> micheline
Sourceval obj_micheline_to_micheline : T.obj_micheline -> micheline
Sourceval code_to_micheline : T.code -> micheline
Sourceval for_interface : M.model -> interface
Sourceval generate_debug_trace_json : M.model -> T.michelson -> debug_trace
Sourceval pp_range : Format.formatter -> Location.t -> unit
Sourceval pp_decl_bound : Format.formatter -> T.decl_bound -> unit
Sourceval pp_debug_ : Format.formatter -> T.debug -> unit
Sourceval pp_micheline_ : Core.Format.formatter -> micheline -> unit
Sourceval pp_trace_json : Format.formatter -> debug_trace -> unit