package safemoney

  1. Overview
  2. Docs
package safemoney
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Safemoney.DiscreteSource

Discrete type

Sourceexception ScaleTypeMismatch of string
Sourcemodule Scale : sig ... end
Sourcetype t = {
  1. scale : Scale.t;
  2. value : Z.t;
}
Sourcetype showable = {
  1. scale_ : string;
  2. value_ : string;
}
Sourceval showable_to_yojson : showable -> Yojson.Safe.t
Sourceval make_dv : (Scale.t * Z.t) -> t
Sourceval show_scale : t -> unit
Sourceval show_val : t -> unit
Sourceval show_t : t -> unit
Sourceval neg : t -> t
Sourceval abs : t -> t
Sourceval (+) : t -> t -> t
Sourceval (-) : t -> t -> t
Sourceval (*) : t:t -> value:Z.t -> t
Sourceval to_json : t -> string