Module `BatBool`Source

Operations on booleans

author Gabriel Scherer

author David Teller

Sourcetype t = bool

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

Sourceval not : bool -> bool

The boolean negation.

Sourceval (&&) : 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.

Sourceval (||) : 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.

Sourceval zero : bool

Sourceval one : bool

Sourceval neg : bool -> bool

Sourceval succ : bool -> bool

Sourceval pred : bool -> bool

Sourceval abs : bool -> bool

Sourceval add : bool -> bool -> bool

Sourceval mul : bool -> bool -> bool

Sourceval sub : bool -> bool -> bool

Sourceval div : t -> t -> t

Sourceval modulo : t -> t -> t

Sourceval pow : t -> t -> t

Sourceval compare : bool -> bool -> int

Sourceval equal : bool -> bool -> bool

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

Sourceval of_int : int -> bool

anything but 0 is true

Sourceval to_int : bool -> int

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

Sourceval to_string : bool -> string

Sourceval of_float : float -> bool

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

Sourceval to_float : bool -> float

Sourceval (+) : t -> t -> t

Sourceval (-) : t -> t -> t

Sourceval (*) : t -> t -> t

Sourceval (/) : t -> t -> t

Sourceval (**) : t -> t -> t

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

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

Sourceval operations : t BatNumber.numeric

include BatNumber.Bounded

Sourcetype bounded

Sourceval min_num : bounded

Sourceval max_num : bounded

Submodules grouping all infix operators

Sourcemodule Infix : BatNumber.Infix with type bat__infix_t = t

Sourcemodule Compare : BatNumber.Compare with type bat__compare_t = t

Boilerplate code

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

Printing

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatBool/index.html

Module `BatBool`Source

Submodules grouping all infix operators

Boilerplate code

package batteries

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/batteries.unthreaded/BatBool/index.html

Module BatBoolSource

Submodules grouping all infix operators

Boilerplate code

dune-project
Dependency

Module `BatBool`Source