package core

  1. Overview
  2. Docs

Module Map.Symmetric_diff_elementSource

Sourcetype ('k, 'v) t = 'k * [ `Left of 'v | `Right of 'v | `Unequal of 'v * 'v ]
include Bin_prot.Binable.S2 with type ('k, 'v) t := ('k, 'v) t
Sourceval bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2
Sourceval bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2
Sourceval bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2
Sourceval __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2
Sourceval bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writer
Sourceval bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.reader
Sourceval bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t
include Ppx_compare_lib.Comparable.S2 with type ('k, 'v) t := ('k, 'v) t
Sourceval compare : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int
include Sexplib0.Sexpable.S2 with type ('k, 'v) t := ('k, 'v) t
Sourceval t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> Sexplib0.Sexp.t -> ('a, 'b) t
Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('a, 'b) t -> Sexplib0.Sexp.t
Sourceval map_data : ('k, 'v1) t -> f:('v1 -> 'v2) -> ('k, 'v2) t

left is defined as:

 function
  | (`Left x | `Unequal (x, _)) -> Some x
  | `Right _ -> None

and right is similar.

Sourceval left : (_, 'v) t -> 'v Base.Option.t
Sourceval right : (_, 'v) t -> 'v Base.Option.t