package ppx_deriving

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Booleans
Predicates and comparisons
Converting

ppx_deriving.api
- Ppx_deriving
  - Arg
ppx_deriving.runtime
- Ppx_deriving_runtime
  - Arg
  - Array
  - ArrayLabels
  - Bigarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
    
    Genarray
  - Bool
  - Buffer
  - Bytes
  - BytesLabels
  - Callback
  - Char
  - Complex
  - Digest
  - Ephemeron
    
    GenHashTable
    
    MakeSeeded
    
    H
    
    K1
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    K2
    
    Make
    
    H1
    
    H2
    
    MakeSeeded
    
    H1
    
    H2
    
    Kn
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
  - Filename
  - Float
    
    Array
    
    ArrayLabels
  - Format
  - Fun
  - Gc
  - Genlex
  - Hashtbl
    
    HashedType
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededHashedType
    
    SeededS
  - Int
  - Int32
  - Int64
  - LargeFile
  - Lazy
  - Lexing
  - List
  - ListLabels
  - Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
  - Marshal
  - MoreLabels
    
    Hashtbl
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededS
    
    Map
    
    Make
    
    Ord
    
    S
    
    Set
    
    Make
    
    Ord
    
    S
  - Nativeint
  - Obj
    
    Ephemeron
    
    Extension_constructor
  - Oo
  - Option
  - Parsing
  - Pervasives
  - Printexc
    
    Slot
  - Printf
  - Queue
  - Random
    
    State
  - Result
  - Scanf
    
    Scanning
  - Seq
  - Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
  - Spacetime
    
    Series
    
    Snapshot
  - Stack
  - StdLabels
  - Stream
  - String
  - StringLabels
  - Sys
  - Uchar
  - Unit
  - Weak
    
    Make
    
    H
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

Boolean values.

since 4.08

Booleans

type t = bool =

| false
| true

The type of booleans (truth values).

The constructors false and true are included here so that they have paths, but they are not intended to be used in user-defined data types.

val not : bool -> bool

not b is the boolean negation of b.

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

e0 && e1 is the lazy boolean conjunction of expressions e0 and e1. If e0 evaluates to false, e1 is not evaluated. Right-associative operator at precedence level 3/11.

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

e0 || e1 is the lazy boolean disjunction of expressions e0 and e1. If e0 evaluates to true, e1 is not evaluated. Right-associative operator at precedence level 2/11.

Predicates and comparisons

val equal : bool -> bool -> bool

equal b0 b1 is true iff b0 and b1 are both either true or false.

val compare : bool -> bool -> int

compare b0 b1 is a total order on boolean values. false is smaller than true.

Converting

val to_int : bool -> int

to_int b is 0 if b is false and 1 if b is true.

val to_float : bool -> float

to_float b is 0. if b is false and 1. if b is true.

val to_string : bool -> string

to_string b is "true" if b is true and "false" if b is false.