Module `Tezos_raw_protocol_007_PsDELPH1.Alpha_context`Source

Sourcemodule type BASIC_DATA = sig ... end

Sourcetype t

Sourcetype context = t

type public_key =
  Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key.t

Source

type public_key_hash =
  Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t

Sourcetype signature = Tezos_protocol_environment_007_PsDELPH1.Signature.t

Sourcemodule Tez : sig ... end

Sourcemodule Period : sig ... end

Sourcemodule Timestamp : sig ... end

Sourcemodule Raw_level : sig ... end

Sourcemodule Cycle : sig ... end

Sourcemodule Gas : sig ... end

Sourcemodule Script_int : module type of Script_int_repr

Sourcemodule Script_timestamp : sig ... end

Sourcemodule Script : sig ... end

Sourcemodule Constants : sig ... end

Sourcemodule Voting_period : sig ... end

Sourcemodule Level : sig ... end

Sourcemodule Fitness : sig ... end

Sourcemodule Nonce : sig ... end

Sourcemodule Seed : sig ... end

Sourcemodule Big_map : sig ... end

Sourcemodule Contract : sig ... end

Sourcemodule Delegate : sig ... end

Sourcemodule Vote : sig ... end

Sourcemodule Block_header : sig ... end

Sourcemodule Kind : sig ... end

Sourcetype 'kind operation = {

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

}

Sourceand 'kind protocol_data = {

contents : 'kind contents_list;
signature : Tezos_protocol_environment_007_PsDELPH1.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.t;
} -> Kind.endorsement contents
| Seed_nonce_revelation : {
1. level : Raw_level.t;
2. nonce : Nonce.t;
} -> 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.t;
2. bh2 : Block_header.t;
} -> Kind.double_baking_evidence contents
| Activate_account : {
1. id : Tezos_protocol_environment_007_PsDELPH1.Ed25519.Public_key_hash.t;
2. activation_code : Blinded_public_key_hash.activation_code;
} -> Kind.activate_account contents
| Proposals : {
1. source : Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t;
2. period : Voting_period.t;
3. proposals : Tezos_protocol_environment_007_PsDELPH1.Protocol_hash.t list;
} -> Kind.proposals contents
| Ballot : {
1. source : Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t;
2. period : Voting_period.t;
3. proposal : Tezos_protocol_environment_007_PsDELPH1.Protocol_hash.t;
4. ballot : Vote.ballot;
} -> Kind.ballot contents
| Manager_operation : {
1. source : Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t;
2. fee : Tez.tez;
3. counter : counter;
4. operation : 'kind manager_operation;
5. gas_limit : Gas.Arith.integral;
6. storage_limit : Tezos_protocol_environment_007_PsDELPH1.Z.t;
} -> 'kind Kind.manager contents

Sourceand _ manager_operation =

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

Sourceand counter = Tezos_protocol_environment_007_PsDELPH1.Z.t

Sourcetype 'kind internal_operation = {

source : Contract.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

Sourcetype packed_protocol_data =

| Operation_data : 'kind protocol_data -> packed_protocol_data

Sourcetype packed_operation = {

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

}

Sourcetype packed_internal_operation =

| Internal_operation : 'kind internal_operation -> packed_internal_operation

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

Sourcemodule Fees : sig ... end

Sourcemodule Operation : sig ... end

Sourcemodule Roll : sig ... end

Sourcemodule Commitment : sig ... end

Sourcemodule Bootstrap : sig ... end

Sourcemodule Global : sig ... end

Source

val prepare_first_block : 
  Tezos_protocol_environment_007_PsDELPH1.Context.t ->
  typecheck:
    (context ->
      Script.t ->
      ((Script.t * Contract.big_map_diff option) * context)
        Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
        Tezos_protocol_environment_007_PsDELPH1.Lwt.t) ->
  level:Tezos_protocol_environment_007_PsDELPH1.Int32.t ->
  timestamp:Tezos_protocol_environment_007_PsDELPH1.Time.t ->
  fitness:Fitness.t ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val prepare : 
  Tezos_protocol_environment_007_PsDELPH1.Context.t ->
  level:Tezos_protocol_environment_007_PsDELPH1.Int32.t ->
  predecessor_timestamp:Tezos_protocol_environment_007_PsDELPH1.Time.t ->
  timestamp:Tezos_protocol_environment_007_PsDELPH1.Time.t ->
  fitness:Fitness.t ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val finalize : 
  ?commit_message:string ->
  context ->
  Tezos_protocol_environment_007_PsDELPH1.Updater.validation_result

Source

val activate : 
  context ->
  Tezos_protocol_environment_007_PsDELPH1.Protocol_hash.t ->
  context Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val fork_test_chain : 
  context ->
  Tezos_protocol_environment_007_PsDELPH1.Protocol_hash.t ->
  Tezos_protocol_environment_007_PsDELPH1.Time.t ->
  context Tezos_protocol_environment_007_PsDELPH1.Lwt.t

Source

val record_endorsement : 
  context ->
  Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t ->
  context

Source

val allowed_endorsements : 
  context ->
  (Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key.t
   * int list
   * bool)
    Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.Map.t

Source

val init_endorsements : 
  context ->
  (Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key.t
   * int list
   * bool)
    Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.Map.t ->
  context

Sourceval included_endorsements : context -> int

Sourceval reset_internal_nonce : context -> context

Source

val fresh_internal_nonce : 
  context ->
  (context * int) Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

Sourceval record_internal_nonce : context -> int -> context

Sourceval internal_nonce_already_recorded : context -> int -> bool

Source

val add_fees : 
  context ->
  Tez.t ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

Source

val add_rewards : 
  context ->
  Tez.t ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

Source

val add_deposit : 
  context ->
  Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t ->
  Tez.t ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

Sourceval get_fees : context -> Tez.t

Sourceval get_rewards : context -> Tez.t

Source

val get_deposits : 
  context ->
  Tez.t Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.Map.t

Sourceval description : context Storage_description.t

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Alpha_context/index.html

Module `Tezos_raw_protocol_007_PsDELPH1.Alpha_context`Source

package tezos-protocol-007-PsDELPH1

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Alpha_context/index.html

Module Tezos_raw_protocol_007_PsDELPH1.Alpha_contextSource

dune-project
Dependency

Module `Tezos_raw_protocol_007_PsDELPH1.Alpha_context`Source