Control.OperationalTransformation.Properties

Documentation

prop_compose_apply :: (OTSystem doc op, OTComposableOperation op, Arbitrary doc, Show doc, Eq doc) => (doc -> Gen op) -> Property

(b ∘ a)(d) = a(b(d)) where a and b are two consecutive operations and d is the initial document.

prop_transform_apply :: (OTSystem doc op, Arbitrary doc, Show doc, Eq doc) => (doc -> Gen op) -> Property

b'(a(d)) = b'(a(d)) where a and b are random operations, d is the initial document and (a', b') = transform(a, b).