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, 'b) derived_on

type ('a, 'b, 'a_diff, 'b_diff) t

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

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

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