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 path_input_string : string option -> string
val raise_if_error : int -> ('a -> 'b) -> 'a -> 'b
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 output_tz_micheline : Michelson.obj_micheline -> unit
val remove_newline : string -> string
val output : Model.model -> string
val type_ : ?path:string -> ParseTree.archetype -> Typing.env * Ast.ast
val generate_storage : Model.model -> Model.model
val generate_api_storage : ?verif:bool -> Model.model -> Model.model
val toolchain : ?debug:bool -> Model.model -> Archetype.Gen_michelson.M.model
val generate_target : Model.model -> string
val compile_model : (ParseTree.archetype * string) -> Model.model
val compile : Core.from_input -> string
val decompile : Core.from_input -> string
val decompile_from_string : ?path:string -> string -> string
val decompile_from_path : string -> string
val arl_model_arl : bool -> Core.from_input -> 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
val show_contract_interface_michelson : 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 parameter_of_yojson : Yojson.Safe.t -> parameter Ppx_deriving_yojson_runtime.error_or
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
OCaml

Innovation. Community. Security.