Module `Tezos_raw_protocol_005_PsBabyM1.Operation_repr`Source

Sourcemodule Kind : sig ... end

Sourcetype raw = Tezos_protocol_environment_005_PsBabyM1.Operation.t = {

shell : Tezos_protocol_environment_005_PsBabyM1.Operation.shell_header;
proto : Tezos_protocol_environment_005_PsBabyM1.MBytes.t;

}

Sourceval raw_encoding : raw Tezos_protocol_environment_005_PsBabyM1.Data_encoding.t

Sourcetype 'kind operation = {

shell : Tezos_protocol_environment_005_PsBabyM1.Operation.shell_header;
protocol_data : 'kind protocol_data;

}

Sourceand 'kind protocol_data = {

contents : 'kind contents_list;
signature : Tezos_protocol_environment_005_PsBabyM1.Signature.t option;

}

Sourceand _ contents_list =

| Single : 'kind contents -> 'kind contents_list
| Cons : 'kind Kind.manager contents * 'rest Kind.manager contents_list -> ('kind * 'rest) Kind.manager contents_list

Sourceand _ contents =

| Endorsement : {
1. level : Raw_level_repr.t;
} -> Kind.endorsement contents
| Seed_nonce_revelation : {
1. level : Raw_level_repr.t;
2. nonce : Seed_repr.nonce;
} -> Kind.seed_nonce_revelation contents
| Double_endorsement_evidence : {
1. op1 : Kind.endorsement operation;
2. op2 : Kind.endorsement operation;
} -> Kind.double_endorsement_evidence contents
| Double_baking_evidence : {
1. bh1 : Block_header_repr.t;
2. bh2 : Block_header_repr.t;
} -> Kind.double_baking_evidence contents
| Activate_account : {
1. id : Tezos_protocol_environment_005_PsBabyM1.Ed25519.Public_key_hash.t;
2. activation_code : Blinded_public_key_hash.activation_code;
} -> Kind.activate_account contents
| Proposals : {
1. source : Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t;
2. period : Voting_period_repr.t;
3. proposals : Tezos_protocol_environment_005_PsBabyM1.Protocol_hash.t list;
} -> Kind.proposals contents
| Ballot : {
1. source : Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t;
2. period : Voting_period_repr.t;
3. proposal : Tezos_protocol_environment_005_PsBabyM1.Protocol_hash.t;
4. ballot : Vote_repr.ballot;
} -> Kind.ballot contents
| Manager_operation : {
1. source : Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t;
2. fee : Tez_repr.tez;
3. counter : counter;
4. operation : 'kind manager_operation;
5. gas_limit : Tezos_protocol_environment_005_PsBabyM1.Z.t;
6. storage_limit : Tezos_protocol_environment_005_PsBabyM1.Z.t;
} -> 'kind Kind.manager contents

Sourceand _ manager_operation =

| Reveal : Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key.t -> Kind.reveal manager_operation
| Transaction : {
1. amount : Tez_repr.tez;
2. parameters : Script_repr.lazy_expr;
3. entrypoint : string;
4. destination : Contract_repr.contract;
} -> Kind.transaction manager_operation
| Origination : {
1. delegate : Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t option;
2. script : Script_repr.t;
3. credit : Tez_repr.tez;
4. preorigination : Contract_repr.t option;
} -> Kind.origination manager_operation
| Delegation : Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t option -> Kind.delegation manager_operation

Sourceand counter = Tezos_protocol_environment_005_PsBabyM1.Z.t

Sourcetype 'kind internal_operation = {

source : Contract_repr.contract;
operation : 'kind manager_operation;
nonce : int;

}

Sourcetype packed_manager_operation =

| Manager : 'kind manager_operation -> packed_manager_operation

Sourcetype packed_contents =

| Contents : 'kind contents -> packed_contents

Sourcetype packed_contents_list =

| Contents_list : 'kind contents_list -> packed_contents_list

Sourceval of_list : packed_contents list -> packed_contents_list

Sourceval to_list : packed_contents_list -> packed_contents list

Sourcetype packed_protocol_data =

| Operation_data : 'kind protocol_data -> packed_protocol_data

Sourcetype packed_operation = {

shell : Tezos_protocol_environment_005_PsBabyM1.Operation.shell_header;
protocol_data : packed_protocol_data;

}

Sourceval pack : 'kind operation -> packed_operation

Sourcetype packed_internal_operation =

| Internal_operation : 'kind internal_operation -> packed_internal_operation

Sourceval manager_kind : 'kind manager_operation -> 'kind Kind.manager

Source

val encoding : 
  packed_operation Tezos_protocol_environment_005_PsBabyM1.Data_encoding.t

Source

val contents_encoding : 
  packed_contents Tezos_protocol_environment_005_PsBabyM1.Data_encoding.t

Source

val contents_list_encoding : 
  packed_contents_list Tezos_protocol_environment_005_PsBabyM1.Data_encoding.t

Source

val protocol_data_encoding : 
  packed_protocol_data Tezos_protocol_environment_005_PsBabyM1.Data_encoding.t

Source

val unsigned_operation_encoding : 
  (Tezos_protocol_environment_005_PsBabyM1.Operation.shell_header
   * packed_contents_list)
    Tezos_protocol_environment_005_PsBabyM1.Data_encoding.t

Sourceval raw : _ operation -> raw

Sourceval hash_raw : raw -> Tezos_protocol_environment_005_PsBabyM1.Operation_hash.t

Source

val hash : 
  _ operation ->
  Tezos_protocol_environment_005_PsBabyM1.Operation_hash.t

Source

val hash_packed : 
  packed_operation ->
  Tezos_protocol_environment_005_PsBabyM1.Operation_hash.t

Sourceval acceptable_passes : packed_operation -> int list

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=

| Missing_signature

Sourcetype Tezos_protocol_environment_005_PsBabyM1.Error_monad.error +=

| Invalid_signature

Source

val check_signature : 
  Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key.t ->
  Tezos_protocol_environment_005_PsBabyM1.Chain_id.t ->
  _ operation ->
  unit Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
    Tezos_protocol_environment_005_PsBabyM1.Lwt.t

Source

val check_signature_sync : 
  Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key.t ->
  Tezos_protocol_environment_005_PsBabyM1.Chain_id.t ->
  _ operation ->
  unit Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult

Source

val internal_operation_encoding : 
  packed_internal_operation
    Tezos_protocol_environment_005_PsBabyM1.Data_encoding.t

Sourcetype ('a, 'b) eq =

| Eq : ('a, 'a) eq

Sourceval equal : 'a operation -> 'b operation -> ('a, 'b) eq option

Sourcemodule Encoding : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-005-PsBabyM1.raw/Tezos_raw_protocol_005_PsBabyM1/Operation_repr/index.html

Module `Tezos_raw_protocol_005_PsBabyM1.Operation_repr`Source

package tezos-protocol-005-PsBabyM1

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-005-PsBabyM1.raw/Tezos_raw_protocol_005_PsBabyM1/Operation_repr/index.html

Module Tezos_raw_protocol_005_PsBabyM1.Operation_reprSource

Module `Tezos_raw_protocol_005_PsBabyM1.Operation_repr`Source