Control.OperationalTransformation.List

Documentation

data N

Constructors

Z

S N

Instances

Eq N

Show N

data Vector :: * -> N -> * where

Constructors

EmptyV :: Vector a Z

ConsV :: a -> Vector a n -> Vector a (S n)

data Operation :: * -> N -> N -> * where

Constructors

EmptyOp :: Operation a Z Z

RetainOp :: Operation a n m -> Operation a (S n) (S m)

InsertOp :: a -> Operation a n m -> Operation a n (S m)

DeleteOp :: Operation a n m -> Operation a (S n) m

apply :: Operation a n m -> Vector a n -> Vector a m

compose :: Operation a n m -> Operation a m k -> Operation a n k

data TransformedPair :: * -> N -> N -> * where

Constructors

TP :: Operation a n k -> Operation a m k -> TransformedPair a n m

transform :: Operation a n m -> Operation a n k -> TransformedPair a k m