package safemoney

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

Discrete type functor

exception ScaleTypeMismatch of string
module Scale : sig ... end
type t = {
  1. scale : Scale.t;
  2. value : Zv.t;
}
type showable = {
  1. scale_ : string;
  2. value_ : string;
}
val pp_showable : Ppx_deriving_runtime.Format.formatter -> showable -> Ppx_deriving_runtime.unit
val show_showable : showable -> Ppx_deriving_runtime.string
val showable_to_yojson : showable -> Yojson.Safe.t
val showable_of_yojson : Yojson.Safe.t -> showable Ppx_deriving_yojson_runtime.error_or
val sexp_of_showable : showable -> Sexplib0.Sexp.t
val showable_of_sexp : Sexplib0.Sexp.t -> showable
val make_dv : (Scale.t * Zv.t) -> t
val show_scale : t -> unit
val show_val : t -> unit
val show_t : t -> unit
val neg : t -> t
val abs : t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t:t -> value:Zv.t -> t
val to_showable_json : t -> string
OCaml

Innovation. Community. Security.