package diffable

You can search for identifiers within the package.

in-package search v0.2.0

package diffable

diffable
- Diffable
  - Atomic
    
    Make
    
    Update
    
    Diff
    
    V
    
    Make_plain
    
    Update
    
    Diff
    
    V
  - Diffable_intf
    
    S
    
    Update
    
    Diff
    
    S1
    
    Update
    
    Diff
    
    S1_plain
    
    Update
    
    Diff
    
    S_plain
    
    Update
    
    Diff
  - Iso
    
    Make
    
    S
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    X
    
    Make_plain
    
    S
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    X
  - Make_streamable
    
    Intermediate
    
    Part
    
    T
    
    Update
    
    Diff
  - Make_streamable_rpc
    
    Diff
    
    Intermediate
    
    Part
    
    T
    
    Update
    
    Diff
  - Map
    
    Make
    
    Key
    
    Update
    
    Diff
    
    Value
    
    Make_plain
    
    Key
    
    Update
    
    Diff
    
    Value
    
    Make_plain_with_value_diffs
    
    Key
    
    Update
    
    Diff
    
    Value
    
    Update
    
    Diff
    
    Make_with_value_diffs
    
    Key
    
    Update
    
    Diff
    
    Value
    
    Update
    
    Diff
  - Option
    
    Make
    
    Update
    
    Diff
    
    X
    
    Update
    
    Diff
    
    Make_plain
    
    Update
    
    Diff
    
    X
    
    Update
    
    Diff
  - Set
    
    Make
    
    Key
    
    Update
    
    Diff
    
    Make_plain
    
    Key
    
    Update
    
    Diff
  - Tuples
    
    Make2
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make2_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make3
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make3_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make4
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make4_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make5
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    E
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make5_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    E
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make6
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    E
    
    Update
    
    Diff
    
    F
    
    Update
    
    Diff
    
    Update
    
    Diff
    
    Make6_plain
    
    A
    
    Update
    
    Diff
    
    B
    
    Update
    
    Diff
    
    C
    
    Update
    
    Diff
    
    D
    
    Update
    
    Diff
    
    E
    
    Update
    
    Diff
    
    F
    
    Update
    
    Diff
    
    Update
    
    Diff

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Update : sig ... end

include S1_plain with module Update := Update

type 'a t

val update : 'a t -> 'a Update.t -> 'a t

val diffs : ('a -> 'a -> int) -> from:'a t -> to_:'a t -> 'a Update.t

val to_diffs : 'a t -> 'a Update.t

val of_diffs : 'a Update.t -> 'a t