Module Context.ContractSource

Sourceval pp : Tezos_protocol_alpha.Environment.Format.formatter -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> unit
Sourceval equal : Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> bool
Sourceval pkh : Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash
Sourceval balance : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t

Returns the balance of a contract, by default the main balance. If the contract is implicit the frozen balances are available too: deposit, fees or rewards.

Sourceval frozen_bonds : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval balance_and_frozen_bonds : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval staked_balance : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval unstaked_frozen_balance : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval unstaked_finalizable_balance : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval full_balance : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval staking_numerator : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Environment.Z.t Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval counter : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval manager : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Account.t Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval is_manager_key_revealed : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> bool Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval delegate : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval delegate_opt : t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash option Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval storage : t -> Tezos_protocol_alpha.Protocol.Contract_hash.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval script : t -> Tezos_protocol_alpha.Protocol.Contract_hash.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t
Sourceval script_hash : t -> Tezos_protocol_alpha.Protocol.Contract_hash.t -> Tezos_protocol_alpha.Protocol.Script_expr_hash.t Tezos_base.TzPervasives.tzresult Tezos_protocol_alpha.Environment.Lwt.t