package tezos-protocol-018-Proxford

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

Internal representation of the Tez currency. Behaves mostly like a natural number where number 1 represents 1/1,000,000 Tez (1 micro-Tez or mutez). It's protected from ever becoming negative and overflowing by special arithmetic functions, which fail in case something undesired would happen. When divided, it's always rounded down to 1 mutez.

Internally encoded as int64, which may be relevant to guard against overflow errors.

type t =
  1. | Tez_tag of repr

t is made algebraic in order to distinguish it from the other type parameters of Script_typed_ir.ty.

type Tezos_protocol_environment_018_Proxford.Error_monad.error +=
  1. | Addition_overflow of t * t
  2. | Subtraction_underflow of t * t
  3. | Multiplication_overflow of t * int64
  4. | Negative_multiplicator of t * int64
  5. | Invalid_divisor of t * int64
type tez = t
val zero : t
val one_mutez : t
val one_cent : t
val fifty_cents : t
val one : t
val max_mutez : t
val sub_opt : t -> t -> t option

Same as ( -? ) but returns None instead of an error.

val div2 : t -> t
val div2_sub : t -> t * t

div2_sub tez returns (⌊tez / 2⌋, tez - ⌊tez / 2⌋).

val mul_ratio : rounding:[ `Down | `Up ] -> t -> num:int64 -> den:int64 -> t Tezos_protocol_environment_018_Proxford.Error_monad.tzresult

mul_ratio ~rounding tez ~num ~den returns tez * num / den without failing when tez * num overflows. rounding controls the rounding of the division.

val mul_percentage : rounding:[ `Down | `Up ] -> t -> Int_percentage.t -> t

mul_percentage tez percentage returns tez * percentage / 100. No errors can happen.

val to_mutez : t -> int64
val of_mutez : int64 -> t option

of_mutez n (micro tez) is None if n is negative

val of_mutez_exn : int64 -> t

of_mutez_exn n fails if n is negative. It should only be used at toplevel for constants.

val mul_exn : t -> int -> t

It should only be used at toplevel for constants.

val div_exn : t -> int -> t

It should only be used at toplevel for constants.

val balance_update_encoding : [ `Credited of t | `Debited of t ] Tezos_protocol_environment_018_Proxford.Data_encoding.t
include Tezos_protocol_environment_018_Proxford.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 of_string : string -> t option
val to_string : t -> string
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