Module `Core.Bool`Source

This module extends Base.Bool.

Sourcetype t = bool

include Bin_prot.Binable.S__local with type t := Core.Bool.t

include Typerep_lib.Typerepable.S with type t := Core.Bool.t

Sourceval typerep_of_t : Core.Bool.t Typerep_lib.Std_internal.Typerep.t @@ portable

Sourceval typename_of_t : Core.Bool.t Typerep_lib.Typename.t @@ portable

include module type of Base.Bool with type t := Core.Bool.t

include Ppx_enumerate_lib.Enumerable.S with type t := Core.Bool.t

val all : Core.Bool.t list

val globalize : Core.Bool.t @ local -> Core.Bool.t

include Sexplib0.Sexpable.S__stack with type t := Core.Bool.t

val sexp_of_t__stack : Core.Bool.t @ local -> Sexplib0.Sexp.t @ local

val t_sexp_grammar : Core.Bool.t Sexplib0.Sexp_grammar.t @@ portable

include Base.Identifiable.S__local__portable with type t := Core.Bool.t

type comparator_witness = Base.Bool.comparator_witness

include Base.Invariant.S with type t := Core.Bool.t

val invariant : Core.Bool.t -> unit

val to_int : Core.Bool.t -> int @@ portable

to_int true = 1
to_int false = 0

include sig ... end

val select : ('a : value_or_null). bool -> 'a -> 'a -> 'a @@ portable

Sourcemodule Non_short_circuiting = Base.Bool.Non_short_circuiting

include Core.Identifiable.S__local
  with type t := Core.Bool.t
   and type comparator_witness := Base.Bool.comparator_witness

val bin_size_t : Core.Bool.t Bin_prot.Size.sizer

val bin_write_t : Core.Bool.t Bin_prot.Write.writer

Sourceval bin_size_t__local : Core.Bool.t Bin_prot.Size.sizer__local

Sourceval bin_write_t__local : Core.Bool.t Bin_prot.Write.writer__local

val bin_read_t : Core.Bool.t Bin_prot.Read.reader

val __bin_read_t__ : Core.Bool.t Bin_prot.Read.vtag_reader

val bin_shape_t : Bin_prot.Shape.t

val bin_writer_t : Core.Bool.t Bin_prot.Type_class.writer

val bin_reader_t : Core.Bool.t Bin_prot.Type_class.reader

val bin_t : Core.Bool.t Bin_prot.Type_class.t

val t_of_sexp : Sexplib0.Sexp.t -> Core.Bool.t

val sexp_of_t : Core.Bool.t -> Sexplib0.Sexp.t

val of_string : string -> Core.Bool.t

val to_string : Core.Bool.t -> string

val pp : Base.Formatter.t -> Core.Bool.t -> unit

val (>=) : Core.Bool.t -> Core.Bool.t -> bool

val (<=) : Core.Bool.t -> Core.Bool.t -> bool

val (=) : Core.Bool.t -> Core.Bool.t -> bool

val (>) : Core.Bool.t -> Core.Bool.t -> bool

val (<) : Core.Bool.t -> Core.Bool.t -> bool

val (<>) : Core.Bool.t -> Core.Bool.t -> bool

val equal : Core.Bool.t -> Core.Bool.t -> bool

val compare : Core.Bool.t -> Core.Bool.t -> int

val equal__local : Core.Bool.t @ local -> Core.Bool.t @ local -> bool

val compare__local : Core.Bool.t @ local -> Core.Bool.t @ local -> int

val min : Core.Bool.t -> Core.Bool.t -> Core.Bool.t

val max : Core.Bool.t -> Core.Bool.t -> Core.Bool.t

val ascending : Core.Bool.t -> Core.Bool.t -> int

val descending : Core.Bool.t -> Core.Bool.t -> int

val between : Core.Bool.t -> low:Core.Bool.t -> high:Core.Bool.t -> bool

val clamp_exn : 
  Core.Bool.t ->
  min:Core.Bool.t ->
  max:Core.Bool.t ->
  Core.Bool.t

val clamp : 
  Core.Bool.t ->
  min:Core.Bool.t ->
  max:Core.Bool.t ->
  Core.Bool.t Base.Or_error.t

Source

val validate_lbound : 
  min:Core.Bool.t Core.Maybe_bound.t ->
  Core.Bool.t Validate.check

Source

val validate_ubound : 
  max:Core.Bool.t Core.Maybe_bound.t ->
  Core.Bool.t Validate.check

Source

val validate_bound : 
  min:Core.Bool.t Core.Maybe_bound.t ->
  max:Core.Bool.t Core.Maybe_bound.t ->
  Core.Bool.t Validate.check

Sourcemodule Replace_polymorphic_compare : sig ... end

val comparator : 
  (Core.Bool.t, Base.Bool.comparator_witness) Base.Comparator.T.comparator

Sourcemodule Map : sig ... end

Sourcemodule Set : sig ... end

val hash_fold_t : Core.Bool.t Ppx_hash_lib.hash_fold

val hash : Core.Bool.t -> Ppx_hash_lib.Std.Hash.hash_value

val hashable : Core.Bool.t Base.Hashable.t

Sourcemodule Table : sig ... end

Sourcemodule Hash_set : sig ... end

Sourcemodule Hash_queue : sig ... end

Sourceval of_string_hum : string -> Core.Bool.t @@ portable

Human readable parsing. Accepted inputs are (case insensitive):

true/false
yes/no
1/0
t/f
y/n

include Core.Quickcheckable.S with type t := Core.Bool.t

Sourceval quickcheck_generator : Core.Bool.t Base_quickcheck.Generator.t

Sourceval quickcheck_observer : Core.Bool.t Base_quickcheck.Observer.t

Sourceval quickcheck_shrinker : Core.Bool.t Base_quickcheck.Shrinker.t

Sourcemodule Stable : sig ... end

Module Core.BoolSource

Module `Core.Bool`Source