val pp_showable :
Ppx_deriving_runtime.Format.formatter ->
showable ->
Ppx_deriving_runtime.unitval show_showable : showable -> Ppx_deriving_runtime.stringval showable_to_yojson : showable -> Yojson.Safe.tval showable_of_yojson :
Yojson.Safe.t ->
showable Ppx_deriving_yojson_runtime.error_orval sexp_of_showable : showable -> Sexplib0.Sexp.tval showable_of_sexp : Sexplib0.Sexp.t -> showableval make : string -> tConstruction
Constructing Q by using a private type, create a Q value from string, e.g. from_str "123/456". Reason behind is to disallow a range of functions that are unsuitable for currency operations. Unsensical and undefined rational numbers are checked/excluded.In the context of safe money we want to establish a chain of proof that no lossy operations ever occurred. For convenience the function alias make_q can be used.
val one : tReturn rational value of 1: "1/1" or "1"
val signum : t -> intReturn the sign of Q value, -1, 0, or 1 when the argument is respectively negative, null, or positive.
val num_of_q : t -> Z.tGet the numerator of a Q value
val den_of_q : t -> Z.tGet the denominator of a Q value
val to_str : t -> stringConvert a Q value to string
val to_float : t -> floatConvert a Q value to float
val to_showable_json : t -> stringConvert a Q value to showable rep