Module `Archetype.Compile`Source

Sourceexception Compiler_error

Sourceexception E_arg

Sourceexception ArgError of string

Sourceexception Stop

Sourceexception Stop_error of int

Sourceval parse_error : int

Sourceval type_error : int

Sourceval model_error : int

Sourceval post_model_error : int

Sourceval gen_output_error : int

Sourceval other_error : int

Sourceval raise_if_error : int -> ('a -> 'b) -> 'a -> 'b

Sourceval extract_pt : ParseTree.archetype -> string

Sourceval output_pt : ParseTree.archetype -> Ppx_deriving_runtime.unit

Sourceval output_expr_pt : ParseTree.expr -> Ppx_deriving_runtime.unit

Sourceval output_tast : Ast.ast -> Ppx_deriving_runtime.unit

Sourceval output_tmdl : Model.model -> Ppx_deriving_runtime.unit

Sourceval output_mdl_mterm : Model.mterm -> Ppx_deriving_runtime.unit

Sourceval output_model : Model.model -> Ppx_deriving_runtime.unit

Sourceval output_ir : Michelson.ir -> Ppx_deriving_runtime.unit

Sourceval output_dprogram : Michelson.dprogram -> Ppx_deriving_runtime.unit

Sourceval output_micheline : Michelson.micheline -> Ppx_deriving_runtime.unit

Sourceval output_michelson : Michelson.michelson -> Ppx_deriving_runtime.unit

Sourceval extract_data : Michelson.data -> string

Sourceval output_data : Michelson.data -> Ppx_deriving_runtime.unit

Sourceval extract_obj_micheline : Michelson.obj_micheline -> string

Sourceval output_obj_micheline : Michelson.obj_micheline -> Ppx_deriving_runtime.unit

Sourceval remove_newline : string -> string

Sourceval output : Model.model -> string

Sourceval type_ : ParseTree.archetype -> Ast.ast

Sourceval generate_target_pt : ParseTree.archetype -> ParseTree.archetype

Sourceval generate_model : Archetype.Gen_model.A.ast -> Archetype.Gen_model.M.model

Sourceval generate_storage : Model.model -> Model.model

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

Source

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

Sourceval toolchain : ?debug:bool -> Archetype.Gen_decompile.M.model -> Model.model

Sourceval generate_target : Archetype.Gen_decompile.M.model -> string

Sourceval compile_model : ParseTree.archetype -> Model.model

Sourceval parse : Core.from_input -> ParseTree.archetype

Sourceval compile : Core.from_input -> string

Sourceval decompile : Core.from_input -> string

Sourceval decompile_from_string : string -> string

Sourceval decompile_from_path : string -> string

Sourceval process_expr : ?tinput:Core.from_input -> string -> string

Sourceval process_expr_type_from_string : ?tinput:string -> string -> string

Sourceval show_entries : string -> string

Sourceval show_entries_from_input : Core.from_input -> string

Sourceval show_contract_interface : Core.from_input -> string

Sourcetype parameter = {

name : string;
type_ : string;
const : bool;
default_value : string option;

}

Sourceval parameter_to_yojson : parameter -> Yojson.Safe.t

Source

val parameter_of_yojson : 
  Yojson.Safe.t ->
  parameter Ppx_deriving_yojson_runtime.error_or

Sourceval _ : Yojson.Safe.t -> parameter Ppx_deriving_yojson_runtime.error_or

Source

val pp_parameter : 
  Ppx_deriving_runtime.Format.formatter ->
  parameter ->
  Ppx_deriving_runtime.unit

Sourceval show_parameter : parameter -> Ppx_deriving_runtime.string

Sourceval with_parameters : Core.from_input -> string

Sourceval contract_interface : Core.from_input -> string

Sourceval get_storage_values : Core.from_input -> string

Sourceval get_storage_values_from_string : string -> string

Sourceval print_version : unit -> 'a

Sourceval compile_gen : Core.from_input -> string

Sourceval compile_from_string : string -> string

Sourceval compile_from_path : string -> string

package archetype

Module Archetype.CompileSource

Module `Archetype.Compile`Source