Module `Core.Either`Source

This module extends Base.Either.

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

| First of 'f
| Second of 's

include Bin_prot.Binable.S_local2
  with type ('f, 's) t := ('f, 's) Core.Either.t

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

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

Sourceval bin_size_t : ('a, 'b, ('a, 'b) Core.Either.t) Bin_prot.Size.sizer2

Sourceval bin_write_t : ('a, 'b, ('a, 'b) Core.Either.t) Bin_prot.Write.writer2

Sourceval bin_read_t : ('a, 'b, ('a, 'b) Core.Either.t) Bin_prot.Read.reader2

Source

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

Source

val bin_writer_t : 
  ('a, 'b, ('a, 'b) Core.Either.t) Bin_prot.Type_class.S2.writer

Source

val bin_reader_t : 
  ('a, 'b, ('a, 'b) Core.Either.t) Bin_prot.Type_class.S2.reader

Sourceval bin_t : ('a, 'b, ('a, 'b) Core.Either.t) Bin_prot.Type_class.S2.t

Source

val bin_size_t__local : 
  ('a, 'b, ('a, 'b) Core.Either.t) Bin_prot.Size.sizer_local2

Source

val bin_write_t__local : 
  ('a, 'b, ('a, 'b) Core.Either.t) Bin_prot.Write.writer_local2

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

Source

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

Source

val typename_of_t : 
  'a Typerep_lib.Typename.t ->
  'b Typerep_lib.Typename.t ->
  ('a, 'b) Core.Either.t Typerep_lib.Typename.t

Source

val compare : 
  ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) Core.Either.t ->
  ('a, 'b) Core.Either.t ->
  int

Source

val hash_fold_t : 
  (Base.Hash.state -> 'a -> Base.Hash.state) ->
  (Base.Hash.state -> 'b -> Base.Hash.state) ->
  Base.Hash.state ->
  ('a, 'b) Core.Either.t ->
  Base.Hash.state

include Sexplib0.Sexpable.S2 with type ('f, 's) t := ('f, 's) Core.Either.t

Source

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) Core.Either.t

Source

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) Core.Either.t ->
  Sexplib0.Sexp.t

Source

val t_sexp_grammar : 
  'f Sexplib0.Sexp_grammar.t ->
  's Sexplib0.Sexp_grammar.t ->
  ('f, 's) Core.Either.t Sexplib0.Sexp_grammar.t

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

Sourceval invariant : ('a -> unit) -> ('b -> unit) -> ('a, 'b) Core.Either.t -> unit

Sourceval swap : ('f, 's) Core.Either.t -> ('s, 'f) Core.Either.t

Sourceval value : ('a, 'a) Core.Either.t -> 'a

Source

val iter : 
  ('a, 'b) Core.Either.t ->
  first:('a -> unit) ->
  second:('b -> unit) ->
  unit

Source

val value_map : 
  ('a, 'b) Core.Either.t ->
  first:('a -> 'c) ->
  second:('b -> 'c) ->
  'c

Source

val map : 
  ('a, 'b) Core.Either.t ->
  first:('a -> 'c) ->
  second:('b -> 'd) ->
  ('c, 'd) Core.Either.t

Source

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

Source

val local_equal : 
  ('f -> 'f -> bool) ->
  ('s -> 's -> bool) ->
  ('f, 's) Core.Either.t ->
  ('f, 's) Core.Either.t ->
  bool

Sourcemodule type Focused = Base.Either.Focused

Sourcemodule First = Base.Either.First

Sourcemodule Second = Base.Either.Second

Sourceval is_first : (_, _) Core.Either.t -> bool

Sourceval is_second : (_, _) Core.Either.t -> bool

Sourceval first : 'f -> ('f, _) Core.Either.t

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

Sourceval second : 's -> (_, 's) Core.Either.t

include Core.Comparator.Derived2 with type ('a, 'b) t := ('a, 'b) Core.Either.t

Sourcetype (!'cmp_a, !'cmp_b) comparator_witness

Source

val comparator : 
  ('a, 'cmp_a) Base.Comparator.comparator ->
  ('b, 'cmp_b) Base.Comparator.comparator ->
  (('a, 'b) Core.Either.t, ('cmp_a, 'cmp_b) Core.Either.comparator_witness)
    Base.Comparator.comparator

include Core.Quickcheckable.S2 with type ('a, 'b) t := ('a, 'b) Core.Either.t

Source

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

Source

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

Source

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

Sourcemodule Stable : sig ... end

Module Core.EitherSource

Module `Core.Either`Source