package batteries

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (15)

Authors

  1. O
    OCaml batteries-included team

Maintainers

  1. C
    Cedric Cellier <rixed@happyleptic.org>
  2. F
    Francois Berenger <unixjunkie@sdf.org>
  3. Gabriel Scherer
  4. T
    Thibault Suzanne <thi.suzanne@gmail.com>

Sources

v3.6.0.tar.gz
md5=1bcb27dfbd130eb057561196ef851649
sha512=2a56611b09a5f1cba6457539f8b6bc87a5f2a5454b36cdb39f6e0d6a5dac6db179aab1ba87c74dd49cc41df31a9a96feb349028ea41df7371ecb47f4d9dfafc4

doc/batteries.unthreaded/BatBounded/MakeNumeric/argument-1-M/index.html

Parameter MakeNumeric.M

include BoundedType
type base_t

The base/raw type

type t

The type that makes up the bounded range

val bounds : base_t bound_t * base_t bound_t

bounds defines the (min, max) bounds for the bounded range

val bounded : (base_t, t) bounding_f

bounded ~bounds x returns a bounded t value derived from x.

val base_of_t : t -> base_t option

base_of_t x converts a value of type t back to a base_t if possible.

val base_of_t_exn : t -> base_t

base_of_t_exn x converts a value of type t back to a base_t. If a conversion is not possible then an exception will be raised.