public ORSet <T> Effect(ORSet <T> crdt, object operation, DurableEvent e)
{
switch (operation)
{
case AddOp add: return(crdt.Add((T)add.Entry, e.VectorTimestamp));
case RemoveOp rem: return(crdt.Remove(rem.Timestamps));
default: throw new NotSupportedException($"ORSet doesn't support [{operation.GetType().FullName}] operation.");
}
}
/// <summary>
/// Adds the given <paramref name="quantity"/> of <paramref name="key"/>,
/// uniquely identified by <paramref name="timestamp"/>, and returns an updated <see cref="ORCart{T}"/>.
/// </summary>
public ORCart <T> Add(T key, int quantity, VectorTime timestamp) =>
new ORCart <T>(inner.Add(new ORCartEntry <T>(key, quantity), timestamp));