package octez-protocol-010-PtGRANAD-libs

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_client_010_PtGRANAD.Annotated_manager_operationSource

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

Sourcetype _ t =
  1. | Manager_info : {
    1. source : Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.public_key_hash option;
    2. fee : Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.t Limit.t;
    3. gas_limit : Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.Arith.integral Limit.t;
    4. storage_limit : Z.t Limit.t;
    5. counter : Z.t option;
    6. operation : 'kind Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.manager_operation;
    } -> 'kind t
Sourcetype packed =
  1. | Annotated_manager_operation : 'kind t -> packed
Sourcetype _ 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.

Sourcetype packed_annotated_list =
  1. | Manager_list : 'kind annotated_list -> packed_annotated_list
Sourceval manager_to_list : packed_annotated_list -> packed list

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

Sourceval manager_of_list : packed list -> packed_annotated_list

Converse of manager_to_list

Sourceval join_fee : Tezos_protocol_010_PtGRANAD.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

Sourceval set_fee : Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.t Limit.t -> 'a t -> 'a t

set_fee fee op updates op.fee to fee

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

See join_fee

Sourceval set_gas_limit : Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Gas.Arith.integral Limit.t -> 'a t -> 'a t

See set_fee

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

See join_fee

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

See set_fee

Sourceval set_counter : Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.counter -> 'a t -> 'a t Tezos_base.TzPervasives.tzresult

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

Sourceval set_source : Tezos_protocol_010_PtGRANAD.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.

Sourceval manager_from_annotated : 'a t -> 'a Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Kind.manager Tezos_protocol_010_PtGRANAD.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.

Sourceval manager_list_from_annotated : 'kind annotated_list -> 'kind Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Kind.manager Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.contents_list Tezos_base.TzPervasives.tzresult
OCaml

Innovation. Community. Security.