package tezos-protocol-007-PsDELPH1

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type qty
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Addition_overflow of qty * qty
  2. | Subtraction_underflow of qty * qty
  3. | Multiplication_overflow of qty * int64
  4. | Negative_multiplicator of qty * int64
  5. | Invalid_divisor of qty * int64
val id : string
val zero : qty
val one_mutez : qty
val one_cent : qty
val fifty_cents : qty
val one : qty
val (-?) : qty -> qty -> (qty, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val (+?) : qty -> qty -> (qty, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val (*?) : qty -> int64 -> (qty, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val (/?) : qty -> int64 -> (qty, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val to_mutez : qty -> int64
val of_mutez : int64 -> qty option

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

val of_mutez_exn : int64 -> qty

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

val add_exn : qty -> qty -> qty

It should only be used at toplevel for constants.

val mul_exn : qty -> int -> qty

It should only be used at toplevel for constants.

val encoding : qty Data_encoding.t
val to_int64 : qty -> int64
val (=) : qty -> qty -> bool
val (<>) : qty -> qty -> bool
val (<) : qty -> qty -> bool
val (<=) : qty -> qty -> bool
val (>=) : qty -> qty -> bool
val (>) : qty -> qty -> bool
val compare : qty -> qty -> int
val equal : qty -> qty -> bool
val max : qty -> qty -> qty
val min : qty -> qty -> qty
val pp : Format.formatter -> qty -> unit
val of_string : string -> qty option
val to_string : qty -> string