package tezos-protocol-alpha

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

This module re-exports definitions from Contract_repr and Contract_storage.

type t =
  1. | Implicit of public_key_hash
  2. | Originated of Contract_hash.t

Functions related to contracts address.

type Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Non_existing_contract of t
include BASIC_DATA with type t := t
include Tezos_protocol_environment_alpha.Compare.S with type t := t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
val in_memory_size : t -> Cache_memory_helpers.sint
val to_b58check : t -> string

Functions related to contracts existence.

Functions related to both implicit accounts and originated contracts.

See Contract_storage.get_balance.

Functions related to implicit accounts.

See Contract_manager_storage.get_manager_key.

See Contract_manager_storage.is_manager_key_revealed.

See Contract_manager_storage.check_public_key.

See Contract_manager_storage.reveal_manager_key.

See Contract_storage.check_allocated_and_get_balance.

See Contract_storage.simulate_spending.

Functions related to smart contracts.

module Legacy_big_map_diff : sig ... end
module Delegate : sig ... end

Functions for handling the delegate of a contract.

module Internal_for_tests : sig ... end

This module discloses definitions that are only useful for tests and must not be used otherwise.

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