package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

Dune Dependency

github.com Edit opam file Versions (14)

Authors

O

OCaml batteries-included team

Maintainers

Sources

v3.5.1.tar.gz

md5=d3d16ffc960e832a1c0e21b7123194e9

sha512=36c8561079aa9fefc864c2f03bd8ae20aa05987bb67e7a9beac3ab4f440dbf7d44f141c172b05fddb1a5b618fc55a27962bb45fc39bd7b3a15d56e0ed3ff3870

doc/batteries.unthreaded/BatBool/index.html

Module `BatBool`

Operations on booleans

author Gabriel Scherer

author David Teller

type t = bool

The type of booleans. Formally, this is defined as type t = true | false

val not : bool -> bool

The boolean negation.

val (&&) : bool -> bool -> bool

The boolean ``and''. Evaluation is sequential, left-to-right: in e1 && e2, e1 is evaluated first, and if it returns false, e2 is not evaluated at all.

val (||) : bool -> bool -> bool

The boolean ``or''. Evaluation is sequential, left-to-right: in e1 || e2, e1 is evaluated first, and if it returns true, e2 is not evaluated at all.

val zero : bool

val one : bool

val neg : bool -> bool

val succ : bool -> bool

val pred : bool -> bool

val abs : bool -> bool

val add : bool -> bool -> bool

val mul : bool -> bool -> bool

val sub : bool -> bool -> bool

val div : t -> t -> t

val modulo : t -> t -> t

val pow : t -> t -> t

val compare : bool -> bool -> int

val equal : bool -> bool -> bool

val ord : bool -> bool -> BatOrd.order

val of_int : int -> bool

anything but 0 is true

val to_int : bool -> int

val of_string : string -> bool

Convert the given string to a boolean.

raises Invalid_argument
if the string is not "true", "false", "0", "1", "tt" or "ff".

val to_string : bool -> string

val of_float : float -> bool

0., nan +infinity and -infiity are false. The other values convert to true

val to_float : bool -> float

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

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

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

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

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

val (--) : t -> t -> t BatEnum.t

val (---) : t -> t -> t BatEnum.t

val operations : t BatNumber.numeric

include BatNumber.Bounded

type bounded

val min_num : bounded

val max_num : bounded

Submodules grouping all infix operators

module Infix : BatNumber.Infix with type bat__infix_t = t

module Compare : BatNumber.Compare with type bat__compare_t = t

Boilerplate code

val print : 'a BatInnerIO.output -> t -> unit

Printing

On This Page

Submodules grouping all infix operators
Boilerplate code