package archetype

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

Module Archetype.Gen_transformSource

Sourcemodule MapString : sig ... end
Sourcemodule SetString : sig ... end
Sourcetype error_desc =
  1. | AssetPartitionnedby of string * string list
  2. | CallerNotSetInInit
  3. | CannotBuildAsset of string * string
  4. | ContainersInAssetContainers of string * string * string
  5. | DefaultValueOnKeyAsset of Ident.ident
  6. | DuplicatedKeyAsset of Ident.ident
  7. | InvalidInitValue
  8. | NoClearForPartitionAsset of Ident.ident
  9. | NoEmptyContainerForDefaultValue of string * string * Model.container
  10. | NoEntrypoint
  11. | NoInitForPartitionAsset of Ident.ident
  12. | NoInitValueForConstParam of Ident.ident
  13. | NoInitValueForParameter of Ident.ident
  14. | NoPutRemoveForIterableBigMapAsset
  15. | NoSortOnKeyWithMultiKey of Ident.ident
  16. | OnlyLiteralInAssetInit
  17. | UnknownContract of Ident.ident
  18. | UnusedArgument of Ident.ident
  19. | UnusedVariable of Ident.ident
Sourceval pp_error_desc : Format.formatter -> error_desc -> unit
Sourceval emit_error : (Location.t * error_desc) -> unit
Sourceval emit_warning : (Location.t * error_desc) -> unit
Sourceval prune_formula : Model.model -> Model.model
Sourceval flat_sequence_mterm : Model.mterm -> Model.mterm
Sourceval flat_sequence : Model.model -> Model.model
Sourceval remove_add_update : ?isformula:bool -> Model.model -> Model.model
Sourceval remove_container_op_in_update : Model.model -> Model.model
Sourceval remove_container_op_in_update_exec : Model.model -> Model.model
Sourceval remove_empty_update : Model.model -> Model.model
Sourceval build_col_asset : Ident.ident -> Model.mterm * Model.ntype
Sourceval replace_update_by_set : Model.model -> Model.model
Sourceval remove_label : Model.model -> Model.model
Sourceval extend_loop_iter : Model.model -> Model.model
Sourceval process_single_field_storage : Model.model -> Model.model
Sourceval check_partition_access : Model.model -> Model.model
Sourceval check_containers_asset : Model.model -> Model.model
Sourceval check_empty_container_on_asset_default_value : Model.model -> Model.model
Sourceval check_asset_key : Model.model -> Model.model
Sourceval check_invalid_init_value : Model.model -> Model.model
Sourceval check_and_replace_init_caller : ?doit:bool -> Model.model -> Model.model
Sourceval is_literal : Model.mterm -> bool
Sourceval check_init_partition_in_asset : Model.model -> Model.model
Sourceval check_duplicated_keys_in_asset : Model.model -> Model.model
Sourceval prune_properties : Model.model -> Model.model
Sourceval move_partition_init_asset : Model.model -> Model.model
Sourceval replace_declvar_by_letin : Model.model -> Model.model
Sourceval replace_label_by_mark : Model.model -> Model.model
Sourceval assign_loop_label : Model.model -> Model.model
Sourceval remove_enum000 : Model.model -> Model.model
Sourcetype enum_info = {
  1. type_ : Model.type_;
  2. fitems : (Model.mterm list -> Model.mterm) MapString.t;
  3. fmatch : Model.type_ option -> Model.mterm -> (Model.pattern * Model.mterm) list -> Model.mterm;
}
Sourceval remove_enum : Model.model -> Model.model
Sourceval remove_cmp_bool : Model.model -> Model.model
Sourceval update_nat_int_rat : Model.model -> Model.model
Sourceval remove_rational : Model.model -> Model.model
Sourceval remove_rational_update : Model.model -> Model.model
Sourceval replace_date_duration_by_timestamp : Model.model -> Model.model
Sourceval replace_assignfield_by_update : Model.model -> Model.model
Sourceval eval_variable_initial_value : Model.model -> Model.model
Sourceval add_explicit_sort : Model.model -> Model.model
Sourceval is_whyml_keyword : string -> bool
Sourceval replace_whyml_ident : Model.model -> Model.model
Sourceval replace_ident_model_val : Model.model -> Model.model
Sourceval merge_update : Model.model -> Model.model
Sourceval extract_term_from_instruction : (Model.mterm_gen -> Model.mterm_gen * (Model.mident * Model.mterm_gen) list) -> Model.model -> Model.model
Sourceval replace_dotassetfield_by_dot : Model.model -> Model.model
Sourceval remove_fun_dotasset : Model.model -> Model.model
Sourceval remove_letin_from_expr : Model.model -> Model.model
Sourceval process_internal_string : Model.model -> Model.model
Sourceval build_col : Ident.ident -> Model.mterm
Sourceval change_type_of_nth : Model.model -> Model.model
Sourceval add_contain_on_get : Model.model -> Model.model
Sourceval split_key_values : Model.model -> Model.model
Sourceval replace_for_to_iter : Model.model -> Model.model
Sourceval remove_duplicate_key : Model.model -> Model.model
Sourceval remove_assign_operator : Model.model -> Model.model
Sourceval extract_item_collection_from_add_asset : Model.model -> Model.model
Sourceval check_if_asset_in_function : Model.model -> Model.model
Sourceval replace_instr_verif : Model.model -> Model.model
Sourceval rename_shadow_variable : Model.model -> Model.model
Sourceval concat_shadown_effect_to_exec : Model.model -> Model.model
Sourceval transfer_shadow_variable_to_storage : Model.model -> Model.model
Sourceval create_var_before_for : Model.model -> Model.model
Sourceval replace_col_by_key_for_ckfield : Model.model -> Model.model
Sourceval optimize : Model.model -> Model.model
Sourceval filter_api_storage : Model.model -> Model.model
Sourceval process_multi_keys : Model.model -> Model.model
Sourceval remove_storage_field_in_function : Model.model -> Model.model
Sourceval remove_asset : Model.model -> Model.model
Sourceval remove_high_level_model : Model.model -> Model.model
Sourceval normalize_storage : Model.model -> Model.model
Sourceval remove_constant : Model.model -> Model.model
Sourceval eval_storage : Model.model -> Model.model
Sourceval getter_to_entry : ?no_underscore:bool -> ?extra:bool -> Model.model -> Model.model
Sourceval process_metadata : Model.model -> Model.model
Sourceval reverse_operations : Model.model -> Model.model
Sourceval process_parameter : Model.model -> Model.model
Sourceval fix_container : Model.model -> Model.model
Sourceval expr_to_instr : Model.model -> Model.model
Sourceval instr_to_expr_exec : Model.model -> Model.model
Sourceval test_mode : Model.model -> Model.model
Sourceval fill_stovars : Model.model -> Model.model
Sourceval patch_fa2 : Model.model -> Model.model
Sourceval remove_iterable_big_map : Model.model -> Model.model
Sourceval lazy_eval_condition : Model.model -> Model.model
Sourceval remove_ternary_opeartor : Model.model -> Model.model
Sourceval remove_update_all : Model.model -> Model.model
Sourceval remove_decl_var_opt : Model.model -> Model.model
Sourceval process_arith_container : Model.model -> Model.model
Sourceval check_unused_variables : Model.model -> Model.model
Sourceval remove_import_mterm : Model.model -> Model.model
Sourceval process_fail : Model.model -> Model.model