Module Core_kernel.Either

This module extends Base.Either.

type ('f, 's) t = ('f, 's) Base.Either.t =
| First of 'f
| Second of 's
include sig ... end
val bin_read_t : 'f Bin_prot.Read.reader ‑> 's Bin_prot.Read.reader ‑> ('f, 's) t Bin_prot.Read.reader
val __bin_read_t__ : 'f Bin_prot.Read.reader ‑> 's Bin_prot.Read.reader ‑> (int ‑> ('f, 's) t) Bin_prot.Read.reader
val bin_size_t : 'f Bin_prot.Size.sizer ‑> 's Bin_prot.Size.sizer ‑> ('f, 's) t Bin_prot.Size.sizer
val bin_write_t : 'f Bin_prot.Write.writer ‑> 's Bin_prot.Write.writer ‑> ('f, 's) t Bin_prot.Write.writer
include module type of sig ... end with type (f, s) t := (f, s) t
type ('f, 's) t = ('f, 's) Base__Either.t =
| First of 'f
| Second of 's
val compare : ('f ‑> 'f ‑> int) ‑> ('s ‑> 's ‑> int) ‑> ('f, 's) t ‑> ('f, 's) t ‑> int
val hash_fold_t : (Base.Hash.state ‑> 'f ‑> Base.Hash.state) ‑> (Base.Hash.state ‑> 's ‑> Base.Hash.state) ‑> Base.Hash.state ‑> ('f, 's) t ‑> Base.Hash.state
val t_of_sexp : (Base.Sexp.t ‑> 'f) ‑> (Base.Sexp.t ‑> 's) ‑> Base.Sexp.t ‑> ('f, 's) t
val sexp_of_t : ('f ‑> Base.Sexp.t) ‑> ('s ‑> Base.Sexp.t) ‑> ('f, 's) t ‑> Base.Sexp.t
val swap : ('f, 's) t ‑> ('s, 'f) t
val value : ('a, 'a) t ‑> 'a
val iter : ('a, 'b) t ‑> first:('a ‑> unit) ‑> second:('b ‑> unit) ‑> unit
val value_map : ('a, 'b) t ‑> first:('a ‑> 'c) ‑> second:('b ‑> 'c) ‑> 'c
val map : ('a, 'b) t ‑> first:('a ‑> 'c) ‑> second:('b ‑> 'd) ‑> ('c, 'd) t
val equal : ('f ‑> 'f ‑> bool) ‑> ('s ‑> 's ‑> bool) ‑> ('f, 's) t ‑> ('f, 's) t ‑> bool
val is_first : ('a, 'b) t ‑> bool
val is_second : ('a, 'b) t ‑> bool
val first : 'f ‑> ('f, 'a) t
val second : 's ‑> ('a, 's) t
include Comparator.Derived2 with type (a, b) t := (a, b) t
type ('a, 'b) t
type ('cmp_a, 'cmp_b) comparator_witness
val comparator : ('a, 'cmp_a) Comparator.comparator ‑> ('b, 'cmp_b) Comparator.comparator ‑> (('a, 'b) t, ('cmp_a, 'cmp_b) comparator_witness) Comparator.comparator
include Quickcheckable.S2 with type (a, b) t := (a, b) t
type 'a gen
type 'a obs
type 'a shr
type ('a, 'b) t
val gen : 'a gen ‑> 'b gen ‑> ('a, 'b) t gen
val obs : 'a obs ‑> 'b obs ‑> ('a, 'b) t obs
val shrinker : 'a shr ‑> 'b shr ‑> ('a, 'b) t shr
module Stable : sig ... end