package archetype

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

Module Archetype.Gen_contract_interfaceSource

Sourcemodule M = Model
Sourcemodule T = Michelson
Sourcetype micheline = {
  1. prim : string option;
  2. int : string option;
  3. bytes : string option;
  4. string : string option;
  5. args : micheline list;
  6. annots : string list;
  7. array : micheline list;
  8. var_id : string option;
  9. var_type : micheline option;
}
Sourceval micheline_to_yojson : micheline -> Yojson.Safe.t
Sourcetype type_ = {
  1. node : string;
  2. name : string option;
  3. int_value : int option;
  4. args : type_ list;
}
Sourceval type__to_yojson : type_ -> Yojson.Safe.t
Sourceval type__of_yojson : Yojson.Safe.t -> type_ Ppx_deriving_yojson_runtime.error_or
Sourceval pp_type_ : Ppx_deriving_runtime.Format.formatter -> type_ -> Ppx_deriving_runtime.unit
Sourceval show_type_ : type_ -> Ppx_deriving_runtime.string
Sourcetype parameter = {
  1. name : string;
  2. type_ : type_;
  3. const : bool;
  4. default : micheline option;
}
Sourceval parameter_to_yojson : parameter -> Yojson.Safe.t
Sourcetype argument = {
  1. name : string;
  2. type_ : type_;
}
Sourceval argument_to_yojson : argument -> Yojson.Safe.t
Sourcetype decl_asset_field = {
  1. name : string;
  2. type_ : type_;
  3. is_key : bool;
}
Sourceval decl_asset_field_to_yojson : decl_asset_field -> Yojson.Safe.t
Sourcetype decl_record_field = {
  1. name : string;
  2. type_ : type_;
}
Sourceval decl_record_field_to_yojson : decl_record_field -> Yojson.Safe.t
Sourcetype decl_asset = {
  1. name : string;
  2. container_kind : string;
  3. fields : decl_asset_field list;
  4. container_type_michelson : micheline;
  5. key_type_michelson : micheline;
  6. value_type_michelson : micheline;
}
Sourceval decl_asset_to_yojson : decl_asset -> Yojson.Safe.t
Sourcetype decl_record = {
  1. name : string;
  2. fields : decl_record_field list;
  3. type_michelson : micheline;
}
Sourceval decl_record_to_yojson : decl_record -> Yojson.Safe.t
Sourcetype decl_constructor = {
  1. name : string;
  2. types : type_ list;
}
Sourceval decl_constructor_to_yojson : decl_constructor -> Yojson.Safe.t
Sourcetype decl_enum = {
  1. name : string;
  2. constructors : decl_constructor list;
  3. type_michelson : micheline;
}
Sourceval decl_enum_to_yojson : decl_enum -> Yojson.Safe.t
Sourcetype decl_event = {
  1. name : string;
  2. fields : decl_record_field list;
  3. type_michelson : micheline;
}
Sourceval decl_event_to_yojson : decl_event -> Yojson.Safe.t
Sourcetype decl_type = {
  1. assets : decl_asset list;
  2. enums : decl_enum list;
  3. records : decl_record list;
  4. events : decl_event list;
}
Sourceval decl_type_to_yojson : decl_type -> Yojson.Safe.t
Sourcetype decl_storage = {
  1. name : string;
  2. type_ : type_;
  3. const : bool;
}
Sourceval decl_storage_to_yojson : decl_storage -> Yojson.Safe.t
Sourcetype decl_entrypoint = {
  1. name : string;
  2. args : argument list;
}
Sourceval decl_entrypoint_to_yojson : decl_entrypoint -> Yojson.Safe.t
Sourcetype type_micheline = {
  1. value : micheline;
  2. is_storable : bool;
}
Sourceval type_micheline_to_yojson : type_micheline -> Yojson.Safe.t
Sourcetype decl_fun_ret = {
  1. name : string;
  2. args : argument list;
  3. return : type_;
  4. return_michelson : type_micheline;
}
Sourceval decl_fun_ret_to_yojson : decl_fun_ret -> Yojson.Safe.t
Sourcetype error_struct = {
  1. kind : string;
  2. args : string list;
  3. expr : micheline;
}
Sourceval error_struct_to_yojson : error_struct -> Yojson.Safe.t
Sourcetype contract_interface = {
  1. name : string;
  2. parameters : parameter list;
  3. types : decl_type;
  4. storage : decl_storage list;
  5. storage_type : type_micheline;
  6. entrypoints : decl_entrypoint list;
  7. getters : decl_fun_ret list;
  8. views : decl_fun_ret list;
  9. errors : error_struct list;
}
Sourceval contract_interface_to_yojson : contract_interface -> Yojson.Safe.t
Sourceval _ : Yojson.Safe.t -> contract_interface Ppx_deriving_yojson_runtime.error_or
Sourceval show_contract_interface : contract_interface -> Ppx_deriving_runtime.string
Sourceval mk_type : string -> string option -> int option -> type_ list -> type_
Sourceval decl_type : decl_asset list -> decl_record list -> decl_enum list -> decl_event list -> decl_type
Sourceval mk_decl_asset_field : string -> type_ -> bool -> decl_asset_field
Sourceval mk_decl_record_field : string -> type_ -> decl_record_field
Sourceval mk_decl_asset : string -> string -> decl_asset_field list -> micheline -> micheline -> micheline -> decl_asset
Sourceval mk_decl_record : string -> decl_record_field list -> micheline -> decl_record
Sourceval mk_decl_constructor : string -> type_ list -> decl_constructor
Sourceval mk_decl_enum : string -> decl_constructor list -> micheline -> decl_enum
Sourceval mk_decl_event : string -> decl_record_field list -> micheline -> decl_event
Sourceval mk_decl_type : decl_asset list -> decl_enum list -> decl_record list -> decl_event list -> decl_type
Sourceval mk_storage : string -> type_ -> bool -> decl_storage
Sourceval mk_argument : string -> type_ -> argument
Sourceval mk_entrypoint : string -> argument list -> decl_entrypoint
Sourceval mk_type_micheline : micheline -> bool -> type_micheline
Sourceval mk_decl_fun_ret : string -> argument list -> type_ -> type_micheline -> decl_fun_ret
Sourceval mk_parameter : string -> type_ -> bool -> micheline option -> parameter
Sourceval mk_error_struct : ?args:string list -> string -> micheline -> error_struct
Sourceval mk_contract_interface : string -> parameter list -> decl_type -> decl_storage list -> type_micheline -> decl_entrypoint list -> decl_fun_ret list -> decl_fun_ret list -> error_struct list -> contract_interface
Sourceval for_type : M.type_ -> type_
Sourcetype preprocess_obj = {
  1. params : M.parameter list;
  2. var_decls : M.decl_node list;
  3. size : int;
  4. with_state : bool;
}
Sourceval get_var_decls_size : M.model -> preprocess_obj
Sourceval compute_path : int -> int -> int list
Sourceval for_parameters : preprocess_obj -> M.parameter list -> parameter list
Sourceval for_argument : M.argument -> argument
Sourceval mk_prim : string -> micheline list -> string list -> micheline
Sourceval mk_string : string -> micheline
Sourceval mk_bytes : string -> micheline
Sourceval mk_int : string -> micheline
Sourceval mk_array : micheline list -> micheline
Sourceval mk_var : 'a -> micheline
Sourceval to_micheline : T.obj_micheline -> micheline
Sourceval to_michelson_type : M.model -> M.type_ -> micheline
Sourceval for_decl_type : M.model -> M.model -> M.decl_node list -> decl_type
Sourceval for_storage_internal : M.model -> preprocess_obj -> (string * M.type_ * bool * M.mterm option) list
Sourceval for_storage : M.model -> preprocess_obj -> decl_storage list
Sourceval tz_type_to_type_micheline : Archetype__Michelson.type_node Archetype__Michelson.with_annot -> type_micheline
Sourceval for_errors : M.model -> error_struct list
Sourceval model_to_contract_interface : M.model -> M.model -> T.michelson -> contract_interface
Sourceval model_to_contract_interface_json : M.model -> M.model -> T.michelson -> string
Sourceval tz_type_to_type_ : T.type_ -> type_
Sourceval tz_type_to_args : T.type_ -> argument list
Sourceval remove_percent : string -> string
Sourceval extract_storage : T.type_ -> decl_storage list
Sourceval extract_entypoint : T.type_ -> decl_entrypoint list
Sourceval tz_to_contract_interface : (T.michelson * Gen_decompile.env) -> contract_interface
Sourceval tz_to_contract_interface_json : (T.michelson * Gen_decompile.env) -> string