package ppx_diff

You can search for identifiers within the package.

in-package search v0.2.0

ppx_diff.diffable
- Diffable
  - Atomic
    
    Make
    
    Diff
    
    M
    
    Make_diff
    
    M
    
    Make_diff_plain
    
    M
    
    Make_plain
    
    Diff
    
    M
  - Diff
    
    S
    
    S1
    
    S1_plain
    
    S2
    
    S2_plain
    
    S_atomic
    
    S_plain
  - Diff_of_bool
  - Diff_of_char
  - Diff_of_float
  - Diff_of_int
  - Diff_of_option
  - Diff_of_string
  - Diff_of_unit
  - For_ppx
    
    Diff_of_bool
    
    Diff_of_char
    
    Diff_of_float
    
    Diff_of_int
    
    Diff_of_option
    
    Diff_of_string
    
    Diff_of_unit
    
    Of_variant
    
    S_with_quickcheck
  - Map_diff
    
    Change
    
    Make
    
    M
    
    Key
    
    Stable
    
    V1
    
    Change
    
    Make
    
    M
    
    Key
  - Optional_diff
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Optional_syntax
    
    Optional_syntax
  - S
    
    Diff
  - S1
    
    Diff
  - S1_plain
    
    Diff
  - S2
    
    Diff
  - S2_plain
    
    Diff
  - S_atomic
    
    Diff
  - S_plain
    
    Diff
  - S_with_quickcheck
  - Set_diff
    
    Change
    
    Make
    
    S
    
    Elt
    
    Stable
    
    V1
    
    Change
    
    Make
    
    S
    
    Elt
  - Tuples
    
    Tuple2
    
    Diff
    
    Entry_diff
    
    Variants
    
    For_inlined_tuple
    
    Diff
    
    Tuple3
    
    Diff
    
    Entry_diff
    
    Variants
    
    For_inlined_tuple
    
    Diff
    
    Tuple4
    
    Diff
    
    Entry_diff
    
    Variants
    
    For_inlined_tuple
    
    Diff
    
    Tuple5
    
    Diff
    
    Entry_diff
    
    Variants
    
    For_inlined_tuple
    
    Diff
    
    Tuple6
    
    Diff
    
    Entry_diff
    
    Variants
    
    For_inlined_tuple
    
    Diff
ppx_diff.diffable_cinaps
- Diffable_cinaps
  - Tuple_helpers

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a derived_on = 'a Base.option

val sexp_of_derived_on : 
  ('a -> Sexplib0.Sexp.t) ->
  'a derived_on ->
  Sexplib0.Sexp.t

val derived_on_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a derived_on

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

val bin_size_derived_on : 
  'a Bin_prot.Size.sizer ->
  'a derived_on Bin_prot.Size.sizer

val bin_write_derived_on : 
  'a Bin_prot.Write.writer ->
  'a derived_on Bin_prot.Write.writer

val bin_writer_derived_on : 
  'a Bin_prot.Type_class.writer ->
  'a derived_on Bin_prot.Type_class.writer

val bin_read_derived_on : 
  'a Bin_prot.Read.reader ->
  'a derived_on Bin_prot.Read.reader

val __bin_read_derived_on__ : 
  'a Bin_prot.Read.reader ->
  (Base.int -> 'a derived_on) Bin_prot.Read.reader

val bin_reader_derived_on : 
  'a Bin_prot.Type_class.reader ->
  'a derived_on Bin_prot.Type_class.reader

val bin_derived_on : 
  'a Bin_prot.Type_class.t ->
  'a derived_on Bin_prot.Type_class.t

type ('a, 'a_diff) t =

| Set_to_none
| Set_to_some of 'a
| Diff_some of 'a_diff

include Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

include Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

include Ppx_quickcheck_runtime.Quickcheckable.S2
  with type ('a, 'a_diff) t := ('a, 'a_diff) 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

include Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

val t_of_sexp : 
  (Sexplib0__.Sexp.t -> 'a) ->
  (Sexplib0__.Sexp.t -> 'b) ->
  Sexplib0__.Sexp.t ->
  ('a, 'b) t

val sexp_of_t : 
  ('a -> Sexplib0__.Sexp.t) ->
  ('b -> Sexplib0__.Sexp.t) ->
  ('a, 'b) t ->
  Sexplib0__.Sexp.t

include Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

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

val bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Size.sizer2

val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Write.writer2

val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Read.reader2

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

val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.writer

val bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.reader

val bin_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.t

val get : 
  (from:'a -> to_:'a -> 'a_diff Optional_diff.t) ->
  from:'a derived_on ->
  to_:'a derived_on ->
  ('a, 'a_diff) t Optional_diff.t

val apply_exn : 
  ('a -> 'a_diff -> 'a) ->
  'a derived_on ->
  ('a, 'a_diff) t ->
  'a derived_on

val of_list_exn : 
  ('a_diff list -> 'a_diff Optional_diff.t) ->
  ('a -> 'a_diff -> 'a) ->
  ('a, 'a_diff) t list ->
  ('a, 'a_diff) t Optional_diff.t