Control.OperationalTransformation

Documentation

class OTOperation op where

Methods

transform :: op -> op -> Either String (op, op)

Transforms two concurrent operations a and b, producing a' and b' such that b' ∘ a == a' ∘ b.

Instances

OTOperation TextOperation

OTOperation op => OTOperation [op]

(OTOperation a, OTOperation b) => OTOperation (a, b)

(OTOperation a, OTOperation b, OTOperation c) => OTOperation (a, b, c)

(OTOperation a, OTOperation b, OTOperation c, OTOperation d) => OTOperation (a, b, c, d)

(OTOperation a, OTOperation b, OTOperation c, OTOperation d, OTOperation e) => OTOperation (a, b, c, d, e)

class OTOperation op => OTComposableOperation op where

Methods

compose :: op -> op -> Either String op

Composes two operations a and b, producing c, such that c has the same effect when applied to a document as applying a and b one after another.

Instances

OTComposableOperation TextOperation

(OTOperation [op], OTOperation op) => OTComposableOperation [op]

(OTOperation (a, b), OTComposableOperation a, OTComposableOperation b) => OTComposableOperation (a, b)

(OTOperation (a, b, c), OTComposableOperation a, OTComposableOperation b, OTComposableOperation c) => OTComposableOperation (a, b, c)

(OTOperation (a, b, c, d), OTComposableOperation a, OTComposableOperation b, OTComposableOperation c, OTComposableOperation d) => OTComposableOperation (a, b, c, d)

(OTOperation (a, b, c, d, e), OTComposableOperation a, OTComposableOperation b, OTComposableOperation c, OTComposableOperation d, OTComposableOperation e) => OTComposableOperation (a, b, c, d, e)

class OTOperation op => OTSystem doc op where

Methods

apply :: op -> doc -> Either String doc

Apply an operation to a document, producing a new document.

Instances

OTSystem Text TextOperation

(OTOperation [op], OTSystem doc op) => OTSystem doc [op]

(OTOperation (a, b), OTSystem doca a, OTSystem docb b) => OTSystem (doca, docb) (a, b)

(OTOperation (a, b, c), OTSystem doca a, OTSystem docb b, OTSystem docc c) => OTSystem (doca, docb, docc) (a, b, c)

(OTOperation (a, b, c, d), OTSystem doca a, OTSystem docb b, OTSystem docc c, OTSystem docd d) => OTSystem (doca, docb, docc, docd) (a, b, c, d)

(OTOperation (a, b, c, d, e), OTSystem doca a, OTSystem docb b, OTSystem docc c, OTSystem docd d, OTSystem doce e) => OTSystem (doca, docb, docc, docd, doce) (a, b, c, d, e)