package octez-protocol-alpha-libs

  1. Overview
  2. Docs
package octez-protocol-alpha-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Annotated manager operations are wrappers used to accumulate information (especially about limits) on the operation prior to the injection.

type packed =
  1. | Annotated_manager_operation : 'kind t -> packed
type _ annotated_list =
  1. | Single_manager : 'kind t -> 'kind annotated_list
  2. | Cons_manager : 'kind t * 'rest annotated_list -> ('kind * 'rest) annotated_list

The annotated_list type helps making contents_list from a list of manager_operations. Its construction mimics contents_list in order to keep consistent types when calling inject_manager_operation and inject_operation.

type packed_annotated_list =
  1. | Manager_list : 'kind annotated_list -> packed_annotated_list
val manager_to_list : packed_annotated_list -> packed list

Convert a list of annotated operations to a list of packed annotated operations

val manager_of_list : packed list -> packed_annotated_list

Converse of manager_to_list

val join_fee : Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t Limit.t -> 'a t -> 'a t Tezos_base.TzPervasives.tzresult

join_fee fee op updates op.fee to Limit.join op.fee fee and fails if the join fails

set_fee fee op updates op.fee to fee

val join_gas_limit : Tezos_protocol_alpha.Protocol.Alpha_context.Gas.Arith.integral Limit.t -> 'a t -> 'a t Tezos_base.TzPervasives.tzresult

See join_fee

See set_fee

val join_storage_limit : Z.t Limit.t -> 'a t -> 'a t Tezos_base.TzPervasives.tzresult

See join_fee

val set_storage_limit : Z.t Limit.t -> 'a t -> 'a t

See set_fee

val set_counter : Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t -> 'a t -> 'a t Tezos_base.TzPervasives.tzresult

Set the counter of the annotated operation. Fail if the counter is already set.

val set_source : Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash -> 'a t -> 'a t Tezos_base.TzPervasives.tzresult

Set the source of the operation. Fail if the source is already set.

val manager_from_annotated : 'a t -> 'a Tezos_protocol_alpha.Protocol.Alpha_context.Kind.manager Tezos_protocol_alpha.Protocol.Alpha_context.contents Tezos_base.TzPervasives.tzresult

Convert an annotated manager operation to a proper manager operation. Fail if some fields in the annotated operation are not set.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct