package archetype

  1. Overview
  2. Docs
exception Compiler_error
exception E_arg
exception ArgError of string
exception Stop
exception Stop_error of int
val parse_error : int
val type_error : int
val model_error : int
val post_model_error : int
val gen_output_error : int
val other_error : int
val raise_if_error : int -> ('a -> 'b) -> 'c -> 'd
val extract_pt : ParseTree.archetype -> string
val output_tast : Ast.ast -> Ppx_deriving_runtime.unit
val output_mdl_mterm : Model.mterm -> Ppx_deriving_runtime.unit
val extract_data : Michelson.data -> string
val extract_obj_micheline : Michelson.obj_micheline -> string
val remove_newline : string -> string
val output : Model.model -> string
val generate_target_pt : ParseTree.archetype -> ParseTree.archetype
val generate_storage : Model.model -> Model.model
val generate_api_storage : ?verif:bool -> Model.model -> Model.model
val toolchain : ?debug:bool -> Archetype.Gen_decompile.M.model -> Model.model
val generate_target : Archetype.Gen_decompile.M.model -> string
val compile_model : ParseTree.archetype -> Model.model
val compile : Core.from_input -> string
val decompile : Core.from_input -> string
val decompile_from_string : string -> string
val decompile_from_path : string -> string
val process_expr : ?tinput:Core.from_input -> string -> string
val process_expr_type_from_string : ?tinput:string -> string -> string
val show_entries : string -> string
val show_entries_from_input : Core.from_input -> string
val show_contract_interface : Core.from_input -> string
type parameter = {
  1. name : string;
  2. type_ : string;
  3. const : bool;
  4. default_value : string option;
}
val parameter_to_yojson : parameter -> Yojson.Safe.t
val pp_parameter : Ppx_deriving_runtime.Format.formatter -> parameter -> Ppx_deriving_runtime.unit
val show_parameter : parameter -> Ppx_deriving_runtime.string
val with_parameters : Core.from_input -> string
val contract_interface : Core.from_input -> string
val get_storage_values : Core.from_input -> string
val get_storage_values_from_string : string -> string
val print_version : unit -> 'a
val compile_gen : Core.from_input -> string
val compile_from_string : string -> string
val compile_from_path : string -> string