package diffable

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module A : Diffable_intf.S

module B : Diffable_intf.S

module C : Diffable_intf.S

module D : Diffable_intf.S

module E : Diffable_intf.S

Signature

module Update : sig ... end

include Diffable_intf.S_plain
  with module Update := Update
  with type t = A.t * B.t * C.t * D.t * E.t

type t = A.t * B.t * C.t * D.t * E.t

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

val diffs : from:t -> to_:t -> Update.t

val to_diffs : t -> Update.t

val of_diffs : Update.t -> t