Модуль Bool

module Bool: sig .. end

Булевы значения.

Since 4.08

Булевы значения

type t = bool =

`\|`	`false`
`\|`	`true`

Тип булевых значений (истинностных значений).

Конструкторы false и true включены сюда для того, чтобы у них были пути, но они не предназначены для использования в пользовательских типах данных.

val not : bool -> bool

not b — это отрицание булевого значения b.

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

e0 && e1 — это ленивое логическое конъюнкция выражений e0 и e1. Если e0 вычисляется в false, то e1 не вычисляется. Оператор справа налево с приоритетом 3/11.

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

e0 || e1 — это ленивое логическое дизъюнкция выражений e0 и e1. Если e0 вычисляется в true, то e1 не вычисляется. Оператор справа налево с приоритетом 2/11.

Предикаты и сравнения

val equal : bool -> bool -> bool

equal b0 b1 равносильно true тогда и только тогда, когда b0 и b1 оба равны true или оба равны false.

val compare : bool -> bool -> int

compare b0 b1 — это полное упорядочение булевых значений. false меньше true.

Преобразования

val to_int : bool -> int

to_int b равно 0 если b равно false и 1 если b равно true.

val to_float : bool -> float

to_float b равно 0. если b равно false и 1. если b равно true.

val to_string : bool -> string

to_string b равно "true" если b равно true и "false" если b равно false.

val seeded_hash : int -> bool -> int

Функция хэширования с параметром для булевых значений, имеющая то же значение результата, что и Hashtbl.seeded_hash. Эта функция позволяет использовать этот модуль в качестве аргумента функтора Hashtbl.MakeSeeded.

Since 5.1

val hash : bool -> int

Функция хэширования без параметра для булевых значений, имеющая то же значение результата, что и Hashtbl.hash. Эта функция позволяет использовать этот модуль в качестве аргумента функтора Hashtbl.Make.

Since 5.1