Module `Tezos_raw_protocol_012_Psithaca.Script_ir_annot`Source

Sourcetype var_annot = private

| Var_annot of Non_empty_string.t

Sourcetype type_annot = private

| Type_annot of Non_empty_string.t

Sourcetype field_annot = private

| Field_annot of Non_empty_string.t

Sourcemodule FOR_TESTS : sig ... end

Default annotations

Sourceval default_now_annot : var_annot option

Sourceval default_amount_annot : var_annot option

Sourceval default_balance_annot : var_annot option

Sourceval default_level_annot : var_annot option

Sourceval default_source_annot : var_annot option

Sourceval default_sender_annot : var_annot option

Sourceval default_self_annot : var_annot option

Sourceval default_arg_annot : var_annot option

Sourceval lambda_arg_annot : var_annot option

Sourceval default_param_annot : var_annot option

Sourceval default_storage_annot : var_annot option

Sourceval default_sapling_state_annot : var_annot option

Sourceval default_sapling_balance_annot : var_annot option

Sourceval default_car_annot : field_annot option

Sourceval default_cdr_annot : field_annot option

Sourceval default_contract_annot : field_annot option

Sourceval default_addr_annot : field_annot option

Sourceval default_pack_annot : field_annot option

Sourceval default_unpack_annot : field_annot option

Sourceval default_slice_annot : field_annot option

Sourceval default_elt_annot : field_annot option

Sourceval default_key_annot : field_annot option

Sourceval default_hd_annot : field_annot option

Sourceval default_tl_annot : field_annot option

Sourceval default_some_annot : field_annot option

Sourceval default_left_annot : field_annot option

Sourceval default_right_annot : field_annot option

Unparse annotations to their string representation

Sourceval unparse_type_annot : type_annot option -> string list

Sourceval unparse_var_annot : var_annot option -> string list

Sourceval unparse_field_annot : field_annot option -> string list

Conversion functions between different annotation kinds

Sourceval field_to_var_annot : field_annot option -> var_annot option

Sourceval type_to_var_annot : type_annot option -> var_annot option

Sourceval var_to_field_annot : var_annot option -> field_annot option

Sourceval default_annot : default:'a option -> 'a option -> 'a option

Replace an annotation by its default value if it is None

Source

val gen_access_annot : 
  var_annot option ->
  ?default:field_annot option ->
  field_annot option ->
  var_annot option

Generate annotation for field accesses, of the form var.field1.field2

Source

val merge_type_annot : 
  legacy:bool ->
  type_annot option ->
  type_annot option ->
  type_annot option
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Merge type annotations.

returns
an error Inconsistent_type_annotations if they are both present and different, unless legacy

Source

val merge_field_annot : 
  legacy:bool ->
  field_annot option ->
  field_annot option ->
  field_annot option
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Merge field annotations.

returns
an error Inconsistent_type_annotations if they are both present and different, unless legacy

Sourceval merge_var_annot : var_annot option -> var_annot option -> var_annot option

Merge variable annotations, does not fail (None if different).

Source

val error_unexpected_annot : 
  Alpha_context.Script.location ->
  'a list ->
  unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

returns
an error Unexpected_annotation in the monad the list is not empty.

Source

val parse_type_annot : 
  Alpha_context.Script.location ->
  string list ->
  type_annot option
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Parse a type annotation only.

Source

val parse_field_annot : 
  Alpha_context.Script.location ->
  string list ->
  field_annot option
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Parse a field annotation only.

Source

val parse_composed_type_annot : 
  Alpha_context.Script.location ->
  string list ->
  (type_annot option * field_annot option * field_annot option)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Parse an annotation for composed types, of the form :ty_name %field1 %field2 in any order.

Source

val extract_field_annot : 
  Alpha_context.Script.node ->
  (Alpha_context.Script.node * field_annot option)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Extract and remove a field annotation from a node

Source

val check_correct_field : 
  field_annot option ->
  field_annot option ->
  unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Check that field annotations match, used for field accesses.

Instruction annotations parsing

Source

val parse_var_annot : 
  Alpha_context.Script.location ->
  ?default:var_annot option ->
  string list ->
  var_annot option Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Parse a variable annotation, replaced by a default value if None.

Sourceval is_allowed_char : char -> bool

Source

val parse_constr_annot : 
  Alpha_context.Script.location ->
  ?if_special_first:field_annot option ->
  ?if_special_second:field_annot option ->
  string list ->
  (var_annot option
   * type_annot option
   * field_annot option
   * field_annot option)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Source

val parse_two_var_annot : 
  Alpha_context.Script.location ->
  string list ->
  (var_annot option * var_annot option)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Source

val parse_destr_annot : 
  Alpha_context.Script.location ->
  string list ->
  default_accessor:field_annot option ->
  field_name:field_annot option ->
  pair_annot:var_annot option ->
  value_annot:var_annot option ->
  (var_annot option * field_annot option)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Source

val parse_unpair_annot : 
  Alpha_context.Script.location ->
  string list ->
  field_name_car:field_annot option ->
  field_name_cdr:field_annot option ->
  pair_annot:var_annot option ->
  value_annot_car:var_annot option ->
  value_annot_cdr:var_annot option ->
  (var_annot option
   * var_annot option
   * field_annot option
   * field_annot option)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Source

val parse_entrypoint_annot : 
  Alpha_context.Script.location ->
  ?default:var_annot option ->
  string list ->
  (var_annot option * field_annot option)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Source

val parse_var_type_annot : 
  Alpha_context.Script.location ->
  string list ->
  (var_annot option * type_annot option)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Script_ir_annot/index.html

Module `Tezos_raw_protocol_012_Psithaca.Script_ir_annot`Source

package tezos-protocol-012-Psithaca

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Script_ir_annot/index.html

Module Tezos_raw_protocol_012_Psithaca.Script_ir_annotSource

Module `Tezos_raw_protocol_012_Psithaca.Script_ir_annot`Source