Module `Tezos_raw_protocol_alpha.Entrypoint_repr`Source

Sourcetype t

An entrypoint is a non-empty string of at most 31 characters

Sourceval compare : t -> t -> int

Total ordering of entrypoints

Sourceval (=) : t -> t -> bool

Equality of entrypoints

Sourceval default : t

Default entrypoint "default"

Sourceval is_default : t -> bool

Checks whether an entrypoint is the default entrypoint

Sourceval root : t

Root entrypoint "root"

Sourceval is_root : t -> bool

Checks whether an entrypoint is the root entrypoint

Sourceval do_ : t

Entrypoint "do"

Sourceval set_delegate : t

Entrypoint "set_delegate"

Sourceval remove_delegate : t

Entrypoint "remove_delegate"

Sourceval deposit : t

Deposit entrypoint "deposit"

Sourceval stake : t

Entrypoint "stake"

Sourceval unstake : t

Entrypoint "unstake"

Sourceval finalize_unstake : t

Entrypoint "finalize_unstake"

Sourceval set_delegate_parameters : t

Entrypoint "set_delegate_parameters"

Sourceval is_deposit : t -> bool

Checks whether an entrypoint is the deposit entrypoint

Source

val of_annot_strict : 
  loc:Script_repr.location ->
  Non_empty_string.t ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

Converts an annot to an entrypoint. Returns an error if the string is too long or is "default".

Source

val of_string_strict : 
  loc:Script_repr.location ->
  string ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

Converts a string to an entrypoint. Returns an error if the string is too long or is "default". Converts "" to "default".

Sourceval of_string_strict_exn : string -> t

Converts a string to an entrypoint. Fails with Invalid_arg if the string is too long or is "default". Converts "" to "default".

Source

val of_annot_lax : 
  Non_empty_string.t ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

Converts an annot to an entrypoint. Returns an error if the string is too long. Accepts "default".

Sourceval of_annot_lax_opt : Non_empty_string.t -> t option

Converts an annot to an entrypoint. Returns None if the string is too long. Accepts "default".

Source

val of_string_lax : 
  string ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

Converts a string to an entrypoint. Returns an error if the string is too long. Accepts "default" and converts "" to "default".

Sourceval to_non_empty_string : t -> Non_empty_string.t

Converts an entrypoint to a non-empty string. "default" is kept as is.

Sourceval to_string : t -> string

Converts an entrypoint to a string. "default" is kept as is.

Sourceval to_address_suffix : t -> string

Converts an entrypoint to a string used as an address suffix. For the default entrypoint, the result is the empty string. Otherwise it is "%" followed by the entrypoint.

Sourceval unparse_as_field_annot : t -> string

Converts an entrypoint to a string used as a field annotation of a parameter union type. It is "%" followed by the entrypoint. The default entrypoint is converted to "%default".

Sourceval pp : Tezos_protocol_environment_alpha.Format.formatter -> t -> unit

Pretty-print an entrypoint

Sourceval simple_encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

An encoding of entrypoints reusing the lax semantics. Decoding fails if the string is too long. "" is decoded into "default". "default" is encoded into "default".

Sourceval value_encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

An encoding of entrypoints reusing the strict semantics. Decoding fails if the string is too long or is "default". "" is decoded into "default". "default" is encoded into "".

Sourceval smart_encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

An optimized encoding of entrypoints, used for operations.

Sourceval rpc_arg : t Tezos_protocol_environment_alpha.RPC_arg.t

Entrypoint RPC arg.

Sourceval in_memory_size : t -> Saturation_repr.may_saturate Saturation_repr.t

In-memory size of an entrypoint

Sourcemodule Set : Tezos_protocol_environment_alpha.Set.S with type elt = t

Set of entrypoints

Sourcemodule Map : Tezos_protocol_environment_alpha.Map.S with type key = t

Map of entrypoints

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Entrypoint_repr/index.html

Module `Tezos_raw_protocol_alpha.Entrypoint_repr`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Entrypoint_repr/index.html

Module Tezos_raw_protocol_alpha.Entrypoint_reprSource

Module `Tezos_raw_protocol_alpha.Entrypoint_repr`Source