package tezos-protocol-001-PtCJ7pwo

  1. Overview
  2. Docs
package tezos-protocol-001-PtCJ7pwo
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type BASIC_DATA = sig ... end
type t
type context = t
type public_key = Tezos_base__TzPervasives.Signature.public_key
type public_key_hash = Tezos_base__TzPervasives.Signature.public_key_hash
type signature = Tezos_base__TzPervasives.Signature.t
module Tez : sig ... end
module Period : sig ... end
module Timestamp : sig ... end
module Raw_level : sig ... end
module Cycle : sig ... end
module Gas : sig ... end
module Script_int : module type of Script_int_repr
module Script_timestamp : sig ... end
module Script : sig ... end
module Constants : sig ... end
module Voting_period : sig ... end
module Level : sig ... end
module Fitness : sig ... end
module Nonce : sig ... end
module Seed : sig ... end
module Contract : sig ... end
module Delegate : sig ... end
module Vote : sig ... end
module Block_header : sig ... end
module Kind : sig ... end
type 'kind operation = {
  1. shell : Tezos_base__TzPervasives.Operation.shell_header;
  2. protocol_data : 'kind protocol_data;
}
and 'kind protocol_data = {
  1. contents : 'kind contents_list;
  2. signature : Tezos_base__TzPervasives.Signature.t option;
}
and _ contents_list =
  1. | Single : 'kind contents -> 'kind contents_list
  2. | Cons : 'kind Kind.manager contents * 'rest Kind.manager contents_list -> ('kind * 'rest) Kind.manager contents_list
and _ contents =
  1. | Endorsement : {
    1. level : Raw_level.t;
    } -> Kind.endorsement contents
  2. | Seed_nonce_revelation : {
    1. level : Raw_level.t;
    2. nonce : Nonce.t;
    } -> Kind.seed_nonce_revelation contents
  3. | Double_endorsement_evidence : {
    1. op1 : Kind.endorsement operation;
    2. op2 : Kind.endorsement operation;
    } -> Kind.double_endorsement_evidence contents
  4. | Double_baking_evidence : {
    1. bh1 : Block_header.t;
    2. bh2 : Block_header.t;
    } -> Kind.double_baking_evidence contents
  5. | Manager_operation : {
    1. source : Contract.contract;
    2. fee : Tez.tez;
    3. counter : counter;
    4. operation : 'kind manager_operation;
    5. gas_limit : Z.t;
    6. storage_limit : Z.t;
    } -> 'kind Kind.manager contents
and _ manager_operation =
  1. | Transaction : {
    1. amount : Tez.tez;
    2. parameters : Script.lazy_expr option;
    3. destination : Contract.contract;
    } -> Kind.transaction manager_operation
and counter = Z.t
type 'kind internal_operation = {
  1. source : Contract.contract;
  2. operation : 'kind manager_operation;
  3. nonce : int;
}
type packed_manager_operation =
  1. | Manager : 'kind manager_operation -> packed_manager_operation
type packed_contents =
  1. | Contents : 'kind contents -> packed_contents
type packed_contents_list =
  1. | Contents_list : 'kind contents_list -> packed_contents_list
type packed_protocol_data =
  1. | Operation_data : 'kind protocol_data -> packed_protocol_data
type packed_operation = {
  1. shell : Tezos_base__TzPervasives.Operation.shell_header;
  2. protocol_data : packed_protocol_data;
}
type packed_internal_operation =
  1. | Internal_operation : 'kind internal_operation -> packed_internal_operation
val manager_kind : 'kind manager_operation -> 'kind Kind.manager
module Fees : sig ... end
module Operation : sig ... end
module Roll : sig ... end
module Commitment : sig ... end
module Bootstrap : sig ... end
module Global : sig ... end
val prepare_first_block : Environment_context.Context.t -> typecheck: (context -> Script.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t) -> level:int32 -> timestamp:Tezos_base__TzPervasives.Time.Protocol.t -> fitness:Fitness.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val prepare : Environment_context.Context.t -> level:int32 -> timestamp:Tezos_base__TzPervasives.Time.Protocol.t -> fitness:Fitness.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val finalize : ?commit_message:string -> context -> Environment_context.validation_result
val activate : context -> Tezos_base__TzPervasives.Protocol_hash.t -> context Lwt.t
val fork_test_chain : context -> Tezos_base__TzPervasives.Protocol_hash.t -> Tezos_base__TzPervasives.Time.Protocol.t -> context Lwt.t
val record_endorsement : context -> Tezos_base__TzPervasives.Signature.public_key_hash -> context
val allowed_endorsements : context -> (Tezos_base__TzPervasives.Signature.public_key * int list * bool) Tezos_protocol_environment_001_PtCJ7pwo__Environment.Signature.Public_key_hash.Map.t
val init_endorsements : context -> (Tezos_base__TzPervasives.Signature.public_key * int list * bool) Tezos_protocol_environment_001_PtCJ7pwo__Environment.Signature.Public_key_hash.Map.t -> context
val reset_internal_nonce : context -> context
val fresh_internal_nonce : context -> (context * int, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result
val record_internal_nonce : context -> int -> context
val internal_nonce_already_recorded : context -> int -> bool
val add_fees : context -> Tez.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val add_rewards : context -> Tez.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val add_deposit : context -> Tezos_base__TzPervasives.Signature.public_key_hash -> Tez.t -> (context, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_fees : context -> Tez.t
val get_rewards : context -> Tez.t
val get_deposits : context -> Tez.t Tezos_protocol_environment_001_PtCJ7pwo__Environment.Signature.Public_key_hash.Map.t
val description : context Storage_description.t
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