Module `Archetype.Gen_reduce`Source

Sourceexception Anomaly of string

Sourcetype error_desc =

| UnsupportedContainer of string
| UnsupportedType of string
| RecordNotFound
| NotSupportedType of string

val pp_error_desc : 
  Ppx_deriving_runtime.Format.formatter ->
  error_desc ->
  Ppx_deriving_runtime.unit

Sourceval show_error_desc : error_desc -> Ppx_deriving_runtime.string

Sourceval emit_error : error_desc -> 'a

Sourceval storage_lident : Model.lident

Sourceval storage_var : Model.mterm

Sourceval operations_lident : Model.lident

Sourceval operations_type : Model.type_

Sourceval operations_var : Model.mterm

Sourceval operations_init : Model.mterm

Sourceval operations_storage_type : Model.type_

Sourceval operations_storage_var : Model.mterm

Sourceval simplify : Model.lident Model.mterm_gen -> Model.lident Model.mterm_gen

Sourceval is_fail : Model.mterm -> Model.mterm option -> bool

Sourcetype s_red = {

with_ops : bool;
subs : (Ident.ident * Model.type_) list;

}

Sourcetype ctx_red = {

local_fun_types : (Ident.ident * Model.type_) list;
vars : (Ident.ident * Model.type_) list;
target : Model.mterm option;

}

Source

val compute_side_effect_aux : 
  ctx_red ->
  (Ident.ident * Model.type_) list ->
  Model.lident Model.mterm_gen ->
  (Ident.ident * Model.type_) list

Source

val compute_side_effect : 
  ctx_red ->
  Model.mterm ->
  (Ident.ident * Model.type_) list

Source

val compute_side_effect_for_list : 
  ctx_red ->
  Model.mterm list ->
  (Ident.ident * Model.type_) list

Source

val process_non_empty_list_term : 
  ctx_red ->
  s_red ->
  Model.mterm list ->
  Model.mterm * s_red

Source

val process_mtern : 
  ctx_red ->
  s_red ->
  Model.lident Model.mterm_gen ->
  Model.lident Model.mterm_gen * s_red

Sourceval process_body : ctx_red -> Model.mterm -> Model.mterm

Sourceval analyse_type : Model.mterm -> Model.type_

Sourceval process_functions : Model.model -> Model.model

Sourceval reduce : Model.model -> Model.model

package archetype

Module Archetype.Gen_reduceSource

Module `Archetype.Gen_reduce`Source