Module `Result.Diff`Source

Sourcetype ('a, 'b) derived_on = ('a, 'b) Core.Result.t

Sourcetype ('a, 'b, 'a_diff, 'b_diff) t =

| Set_to_ok of 'a
| Set_to_error of 'b
| Diff_ok of 'a_diff
| Diff_error of 'b_diff

include sig ... end

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

Source

val bin_size_t : 
  'a Bin_prot.Size.sizer ->
  'b Bin_prot.Size.sizer ->
  'a_diff Bin_prot.Size.sizer ->
  'b_diff Bin_prot.Size.sizer ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t Bin_prot.Size.sizer

Source

val bin_write_t : 
  'a Bin_prot.Write.writer ->
  'b Bin_prot.Write.writer ->
  'a_diff Bin_prot.Write.writer ->
  'b_diff Bin_prot.Write.writer ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t Bin_prot.Write.writer

Source

val bin_writer_t : 
  'a Bin_prot.Type_class.writer ->
  'b Bin_prot.Type_class.writer ->
  'a_diff Bin_prot.Type_class.writer ->
  'b_diff Bin_prot.Type_class.writer ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t Bin_prot.Type_class.writer

Source

val bin_read_t : 
  'a Bin_prot.Read.reader ->
  'b Bin_prot.Read.reader ->
  'a_diff Bin_prot.Read.reader ->
  'b_diff Bin_prot.Read.reader ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t Bin_prot.Read.reader

Source

val __bin_read_t__ : 
  'a Bin_prot.Read.reader ->
  'b Bin_prot.Read.reader ->
  'a_diff Bin_prot.Read.reader ->
  'b_diff Bin_prot.Read.reader ->
  (Base.Int.t ->
    ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t)
    Bin_prot.Read.reader

Source

val bin_reader_t : 
  'a Bin_prot.Type_class.reader ->
  'b Bin_prot.Type_class.reader ->
  'a_diff Bin_prot.Type_class.reader ->
  'b_diff Bin_prot.Type_class.reader ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t Bin_prot.Type_class.reader

Source

val bin_t : 
  'a Bin_prot.Type_class.t ->
  'b Bin_prot.Type_class.t ->
  'a_diff Bin_prot.Type_class.t ->
  'b_diff Bin_prot.Type_class.t ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t Bin_prot.Type_class.t

Source

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a_diff -> Sexplib0.Sexp.t) ->
  ('b_diff -> Sexplib0.Sexp.t) ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t ->
  Sexplib0.Sexp.t

Source

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  (Sexplib0.Sexp.t -> 'a_diff) ->
  (Sexplib0.Sexp.t -> 'b_diff) ->
  Sexplib0.Sexp.t ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t

Source

val get : 
  (from:'a -> to_:'a -> 'a_diff Diffable.For_ppx.Optional_diff.t) ->
  (from:'b -> to_:'b -> 'b_diff Diffable.For_ppx.Optional_diff.t) ->
  from:('a, 'b) Core.Result.Diff.derived_on ->
  to_:('a, 'b) Core.Result.Diff.derived_on ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t
    Diffable.For_ppx.Optional_diff.t

Source

val apply_exn : 
  ('a -> 'a_diff -> 'a) ->
  ('b -> 'b_diff -> 'b) ->
  ('a, 'b) Core.Result.Diff.derived_on ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t ->
  ('a, 'b) Core.Result.Diff.derived_on

Source

val of_list_exn : 
  ('a_diff Base.List.t -> 'a_diff Diffable.For_ppx.Optional_diff.t) ->
  ('a -> 'a_diff -> 'a) ->
  ('b_diff Base.List.t -> 'b_diff Diffable.For_ppx.Optional_diff.t) ->
  ('b -> 'b_diff -> 'b) ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t Base.List.t ->
  ('a, 'b, 'a_diff, 'b_diff) Core.Result.Diff.t
    Diffable.For_ppx.Optional_diff.t

Module Result.DiffSource

Module `Result.Diff`Source