package safemoney

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

Parameters

module Qv : Qv_intf.S
module Zv : Zv_intf.S

Signature

exception ScaleTypeMismatch of string
module Scale : sig ... end
type t = {
  1. scale : Scale.t;
    (*

    Scale Setting

    *)
  2. value : Zv.t;
    (*

    Integer Value

    *)
}

Types

type showable = {
  1. scale_ : string;
  2. value_ : string;
}

showable for t

val showable_to_yojson : showable -> Yojson.Safe.t
val showable_of_yojson : Yojson.Safe.t -> showable Ppx_deriving_yojson_runtime.error_or
val pp_showable : Ppx_deriving_runtime.Format.formatter -> showable -> Ppx_deriving_runtime.unit
val show_showable : showable -> Ppx_deriving_runtime.string
val sexp_of_showable : showable -> Sexplib0.Sexp.t
val showable_of_sexp : Sexplib0.Sexp.t -> showable
val make_dv : (Scale.t * Zv.t) -> t

Construction

Construct discrete value

val show_scale : t -> unit

Print the scale setting

val show_val : t -> unit

Print the integer value

val show_t : t -> unit

Print the discrete value

val neg : t -> t

Negate a discrete integer value

val abs : t -> t

Return an absolute discrete integer value

val (+) : t -> t -> t

Add two discrete integer values

val (-) : t -> t -> t

Substract two discrete integer values

val (*) : t:t -> value:Zv.t -> t

Multiply two discrete integer values

val to_showable_json : t -> string

Convert t to showable rep

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct