package batteries

  1. Overview
  2. Docs
A community-maintained standard library extension

Install

dune-project
 Dependency

Authors

Maintainers

Sources

batteries-3.11.0.tar.gz
md5=096be9e83e347b4c7b5b6e5b2af22992
sha512=621dca842c4a7adf0ac1e907bf44c1405e0b66a088987a138a4f4e98ca744815913bf87fd780619151cb049a07d7fdb1e8adb7b65698ab46b8c2dfe46cd7119d

doc/batteries.unthreaded/BatNumber/module-type-Numeric/index.html

Module type BatNumber.NumericSource

The full set of operations of a type of numbers

Sourcetype t
Sourceval zero : t
Sourceval one : t
Sourceval neg : t -> t
Sourceval abs : t -> t
Sourceval add : t -> t -> t
Sourceval sub : t -> t -> t
Sourceval mul : t -> t -> t
Sourceval div : t -> t -> t
Sourceval modulo : t -> t -> t
Sourceval pow : t -> t -> t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval of_int : int -> t
Sourceval to_int : t -> int
Sourceval of_float : float -> t
Sourceval to_float : t -> float
Sourceval of_string : string -> t
Sourceval to_string : t -> string
Sourceval operations : t numeric
Sourcetype discrete = t
Sourceval succ : t -> t
Sourceval pred : t -> t
Sourcemodule Infix : Infix with type bat__infix_t = t
Sourcemodule Compare : Compare with type bat__compare_t = t
include RefOps with type bat__refops_t = t
Sourcetype bat__refops_t = t
Sourceval (+=) : bat__refops_t ref -> bat__refops_t -> unit
Sourceval (-=) : bat__refops_t ref -> bat__refops_t -> unit
Sourceval (*=) : bat__refops_t ref -> bat__refops_t -> unit
Sourceval (/=) : bat__refops_t ref -> bat__refops_t -> unit