Module Delta.MakeSource

Make (Z) lifts events over Z.elt into Z.t deltas.

Parameters

module Z : Zset.S

Signature

Sourceval of_event : Z.elt event -> Z.t

of_event e is the Z-set delta for a single event: +1 for Insert, -1 for Delete, -old +new for Update.

Sourceval of_events : Z.elt event list -> Z.t

of_events es is the sum of of_event over es (cancellations collapse, as in any Z-set).