Either (core_kernel.Core

type ('f, 's) t = ('f, 's) Base.Either.t =

| First of 'f

| Second of 's

include Bin_prot.Binable.S2 with type ('f, 's) t := ('f, 's) t

val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t

val bin_size_t : ('a, 'b, ('f, 's) t) Bin_prot.Size.sizer2

val bin_write_t : ('a, 'b, ('f, 's) t) Bin_prot.Write.writer2

val bin_read_t : ('a, 'b, ('f, 's) t) Bin_prot.Read.reader2

val __bin_read_t__ : ('a, 'b, int -> ('f, 's) t) Bin_prot.Read.reader2

val bin_writer_t : ('a, 'b, ('f, 's) t) Bin_prot.Type_class.S2.writer

val bin_reader_t : ('a, 'b, ('f, 's) t) Bin_prot.Type_class.S2.reader

val bin_t : ('a, 'b, ('f, 's) t) Bin_prot.Type_class.S2.t

include Typerep_lib.Typerepable.S2 with type ('f, 's) t := ('f, 's) t

val typerep_of_t : 'a Typerep_lib.Std_internal.Typerep.t -> 'b Typerep_lib.Std_internal.Typerep.t -> ('f, 's) t Typerep_lib.Std_internal.Typerep.t

val typename_of_t : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> ('f, 's) t Typerep_lib.Typename.t

include module type of struct include Base.Either end with type ('f, 's) t := ('f, 's) t

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

include Base.Sexpable.S2 with type ('f, 's) t := ('f, 's) t

val t_of_sexp : (Base.Sexp.t -> 'a) -> (Base.Sexp.t -> 'b) -> Base.Sexp.t -> ('f, 's) t

val sexp_of_t : ('a -> Base.Sexp.t) -> ('b -> Base.Sexp.t) -> ('f, 's) t -> Base.Sexp.t

include Base.Invariant.S2 with type ('a, 'b) t := ('f, 's) t

val invariant : ('a -> unit) -> ('b -> unit) -> ('f, 's) t -> unit

val swap : ('f, 's) t -> ('f, 's) t

val value : ('f, 's) t -> 'a

val iter : ('f, 's) t -> first:('a -> unit) -> second:('b -> unit) -> unit

val value_map : ('f, 's) t -> first:('a -> 'c) -> second:('b -> 'c) -> 'c

val map : ('f, 's) t -> first:('a -> 'c) -> second:('b -> 'd) -> ('f, 's) t

val equal : ('f -> 'f -> bool) -> ('s -> 's -> bool) -> ('f, 's) t -> ('f, 's) t -> bool

module type Focused = Base__Either_intf.Focused

module First : Focused with type ('a, 'b) t = ('f, 's) t

module Second : Focused with type ('a, 'b) t = ('f, 's) t

val is_first : ('f, 's) t -> bool

val is_second : ('f, 's) t -> bool

val first : 'f -> ('f, 's) t

first and second are First.return and Second.return.

val second : 's -> ('f, 's) t

include Comparator.Derived2 with type ('a, 'b) t := ('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

val quickcheck_generator : 'a Base_quickcheck.Generator.t -> 'b Base_quickcheck.Generator.t -> ('a, 'b) t Base_quickcheck.Generator.t

val quickcheck_observer : 'a Base_quickcheck.Observer.t -> 'b Base_quickcheck.Observer.t -> ('a, 'b) t Base_quickcheck.Observer.t

val quickcheck_shrinker : 'a Base_quickcheck.Shrinker.t -> 'b Base_quickcheck.Shrinker.t -> ('a, 'b) t Base_quickcheck.Shrinker.t

module Stable : sig ... end