package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

md5=1fd7bddce07cf5d244fc9427f7b5e4d4

sha512=c0f2a0fdc8253e0ea999d8d4c58bfbf32b18d251a2e1d9656bf279de5f01a33e9aabac3af4d95f465f8b671e7711ebd37218043face233340a0c11b08fa62f78

include BoundedType

Sourcetype base_t

The base/raw type

Sourcetype t

The type that makes up the bounded range

Sourceval bounds : base_t bound_t * base_t bound_t

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

Sourceval bounded : (base_t, t) bounding_f

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

Sourceval base_of_t : t -> base_t option

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

Sourceval 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.

Sourcemodule Infix : BatNumber.Infix with type bat__infix_t := base_t