package core_kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module extends Base.Either.

type ('f, 's) t = ('f, 's) Base.Either.t =
  1. | First of 'f
  2. | Second of 's
include sig ... end
val bin_t : 'f Bin_prot.Type_class.t -> 's Bin_prot.Type_class.t -> ('f, 's) t Bin_prot.Type_class.t
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_reader_t : 'f Bin_prot.Type_class.reader -> 's Bin_prot.Type_class.reader -> ('f, 's) t Bin_prot.Type_class.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
val bin_writer_t : 'f Bin_prot.Type_class.writer -> 's Bin_prot.Type_class.writer -> ('f, 's) t Bin_prot.Type_class.writer
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t
val typerep_of_t : 'f Typerep_lib.Std.Typerep.t -> 's Typerep_lib.Std.Typerep.t -> ('f, 's) t Typerep_lib.Std.Typerep.t
val typename_of_t : 'f Typerep_lib.Std.Typename.t -> 's Typerep_lib.Std.Typename.t -> ('f, 's) t Typerep_lib.Std.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__.Ppx_hash_lib.Std.Hash.state -> 'f -> Base__.Ppx_hash_lib.Std.Hash.state) -> (Base__.Ppx_hash_lib.Std.Hash.state -> 's -> Base__.Ppx_hash_lib.Std.Hash.state) -> Base__.Ppx_hash_lib.Std.Hash.state -> ('f, 's) t -> Base__.Ppx_hash_lib.Std.Hash.state
val t_of_sexp : (Base__.Ppx_sexp_conv_lib.Sexp.t -> 'f) -> (Base__.Ppx_sexp_conv_lib.Sexp.t -> 's) -> Base__.Ppx_sexp_conv_lib.Sexp.t -> ('f, 's) t
val sexp_of_t : ('f -> Base__.Ppx_sexp_conv_lib.Sexp.t) -> ('s -> Base__.Ppx_sexp_conv_lib.Sexp.t) -> ('f, 's) t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val invariant : 'a Base__.Invariant_intf.inv -> 'b Base__.Invariant_intf.inv -> ('a, 'b) t Base__.Invariant_intf.inv
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
module type Focused = Either.Focused
module First = Either.First
module Second = Either.Second
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
module Export = Either.Export
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
module Stable : sig ... end
OCaml

Innovation. Community. Security.