archetype 1.5.0 · OCaml Package

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_pt : ParseTree.archetype -> Ppx_deriving_runtime.unit

val output_expr_pt : ParseTree.expr -> Ppx_deriving_runtime.unit

val output_tast : Ast.ast -> Ppx_deriving_runtime.unit

val output_tmdl : Model.model -> Ppx_deriving_runtime.unit

val output_mdl_mterm : Model.mterm -> Ppx_deriving_runtime.unit

val output_model : Model.model -> Ppx_deriving_runtime.unit

val output_ir : Michelson.ir -> Ppx_deriving_runtime.unit

val output_dprogram : Michelson.dprogram -> Ppx_deriving_runtime.unit

val output_micheline : Michelson.micheline -> Ppx_deriving_runtime.unit

val output_michelson : Michelson.michelson -> Ppx_deriving_runtime.unit

val extract_data : Michelson.data -> string

val output_data : Michelson.data -> Ppx_deriving_runtime.unit

val extract_obj_micheline : Michelson.obj_micheline -> string

val output_obj_micheline : Michelson.obj_micheline -> Ppx_deriving_runtime.unit

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_model : 
  (Typing.env * Archetype.Gen_model.A.ast) ->
  Archetype.Gen_model.M.model

val generate_storage : Model.model -> Model.model

val generate_api_storage : ?verif:bool -> Model.model -> Model.model

val print_debug : 
  bool ->
  string ->
  (Archetype.Gen_decompile.M.model -> Archetype.Gen_decompile.M.model) ->
  Archetype.Gen_decompile.M.model ->
  Archetype.Gen_decompile.M.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 parse : Core.from_input -> Archetype.Gen_decompile.A.archetype * string

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 = {

name : string;
type_ : string;
const : bool;
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 _ : 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

package archetype