package tezos-protocol-006-PsCARTHA

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : QTY

Signature

type qty
type Tezos_protocol_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 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 to_int64 : qty -> int64
include Tezos_protocol_environment.Compare.S with type t := qty
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 of_string : string -> qty option
val to_string : qty -> string