Module `Archetype.Gen_transform`Source

Sourcemodule MapString : sig ... end

Sourcemodule SetString : sig ... end

Sourcetype error_desc =

| AssetPartitionnedby of string * string list
| CallerNotSetInInit
| CannotBuildAsset of string * string
| ContainersInAssetContainers of string * string * string
| DefaultValueOnKeyAsset of Ident.ident
| DuplicatedKeyAsset of Ident.ident
| ExecOperationsLambda
| InvalidInitValue
| NoClearForPartitionAsset of Ident.ident
| NoEmptyContainerForDefaultValue of string * string * Model.container
| NoEntrypoint
| NoInitForPartitionAsset of Ident.ident
| NoInitValueForConstParam of Ident.ident
| NoInitValueForParameter of Ident.ident
| NoPutRemoveForIterableBigMapAsset
| NoSandboxExecAddress
| NoSortOnKeyWithMultiKey of Ident.ident
| OnlyLiteralInAssetInit
| UnknownContract of Ident.ident
| UnusedArgument of Ident.ident
| UnusedVariable of Ident.ident

Sourceval pp_error_desc : Format.formatter -> error_desc -> unit

Sourcetype error = Location.t * error_desc

Sourceval emit_error : (Location.t * error_desc) -> unit

Sourceval emit_warning : (Location.t * error_desc) -> unit

Sourceval flat_sequence_mterm : Model.mterm -> Model.mterm

Sourceval flat_sequence : Model.model -> Model.model

Source

val process_assign_op : 
  Model.assignment_operator ->
  Model.type_ ->
  Model.mterm ->
  Model.mterm ->
  Model.mterm

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_get : Ident.ident -> Model.mterm_gen -> Model.mterm

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 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 move_partition_init_asset : Model.model -> Model.model

Sourceval replace_declvar_by_letin : Model.model -> Model.model

Sourcetype enum_info = {

type_ : Model.type_;
fitems : (Model.mterm list -> Model.mterm) MapString.t;
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 replace_date_duration_by_timestamp : Model.model -> Model.model

Sourceval abs_tez : Model.model -> Model.model

Sourceval replace_assignfield_by_update : Model.model -> Model.model

Sourceval eval_variable_initial_value : Model.model -> Model.model

Sourceval merge_update : Model.model -> Model.model

Sourceval replace_dotassetfield_by_dot : Model.model -> Model.model

Sourceval process_internal_string : Model.model -> Model.model

Sourceval split_key_values : Model.model -> Model.model

Sourceval remove_duplicate_key : Model.model -> Model.model

Sourceval remove_assign_operator : Model.model -> Model.model

Sourceval replace_col_by_key_for_ckfield : Model.model -> Model.model

Sourceval optimize : 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

Source

val getter_to_entry : 
  ?no_underscore:bool ->
  ?extra:bool ->
  Model.model ->
  Model.model

Sourceval process_metadata : Model.model -> Model.model

Sourceval process_parameter : Model.model -> Model.model

Sourceval expr_to_instr : Model.model -> Model.model

Sourceval instr_to_expr_exec : 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_operator : 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 check_exec_operation_lambda : Model.model -> Model.model

Sourceval remove_import_mterm : Model.model -> Model.model

Sourceval process_fail : Model.model -> Model.model

Sourceval process_inline_function : Model.model -> Model.model

Sourceval remove_unused_function : Model.model -> Model.model

Sourceval add_builtin_functions : Model.model -> Model.model

Sourceval remove_sandbox_exec : Model.model -> Model.model

package archetype

Module Archetype.Gen_transformSource

Module `Archetype.Gen_transform`Source