package safemoney

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

Module Safemoney.DiscreteSource

Discrete type functor

Sourceexception ScaleTypeMismatch of string
Sourcemodule Scale : sig ... end
Sourcetype t = {
  1. scale : Scale.t;
  2. value : Zv.t;
}
Sourcetype showable = {
  1. scale_ : string;
  2. value_ : string;
}
Sourceval showable_to_yojson : showable -> Yojson.Safe.t
Sourceval sexp_of_showable : showable -> Sexplib0.Sexp.t
Sourceval showable_of_sexp : Sexplib0.Sexp.t -> showable
Sourceval make_dv : (Scale.t * Zv.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:Zv.t -> t
Sourceval to_showable_json : t -> string
OCaml

Innovation. Community. Security.