Python-OTType

操作变换（OT）的Python库。基本思想遵循https://github.com/ottypes/docs上的规范。

支持的Python版本：CPython 3.9 - 3.12，PyPy 3.9 - 3.10

安装

pip install python-ottype

基本用法

import ottype

assert ottype.apply('asdf', [3, '123', {'d':'f'}]) == 'asd123'

OT操作

跳过

对象类型： int

跳过当前位置的 n 个字符表示为 n

assert apply('asdf', [3]) == 'asdf'

插入

对象类型： str

在当前位置插入字符串 s 表示为 s

assert apply('asdf', ['qwer']) == 'qwerasdf'
assert apply('asdf', [2, 'qwer']) == 'asqwerdf'

删除

对象类型： dict

删除当前位置的字符串 s 表示为 {'d': s}

assert apply('asdf', [{'d': 'as'}]) == 'df'
assert apply('asdf', [1, {'d': 'sd'}]) == 'af'

支持的功能

OT = int | str | dict[str, str]

check(ots: Sequence[OT], *, check_unoptimized: bool = True) -> bool

检查序列是否仅包含有效的OT。如果 check_unoptimized 为 True，则仅接受OT的规范化序列。

assert check(['a', 4, 'b'])
assert not check(['a', 'b'])  # is not normalized
assert not check([3])  # is not normalized

apply(doc: str, ots: Sequence[OT], *, check_unoptimized: bool = True) -> str

将一系列OT应用于字符串。

assert apply('abcde', [2, 'qq', {'d': 'c'}, 1, 'w']) == 'abqqdwe'

inverse_apply(doc: str, ots: Sequence[OT], *, check_unoptimized: bool = True) -> str

逆应用一系列OT到字符串。

assert inverse_apply(apply(doc, ots), ots) == doc

normalize(ots: Sequence[OT]) -> Sequence[OT]

规范化一系列OT：合并连续的OT并删除最后一个跳过操作。

assert normalize([1, 2, 'as', 'df', {'d': 'qw'}, {'d': 'er'}, 3]) \
        == [3, 'asdf', {'d': 'qwer'}]

transform(ots1: Sequence[OT], ots2: Sequence[OT]) -> Sequence[OT]

将具有属性的自定义类型序列进行转换

assert apply(apply(doc, ots1), transform(ots2, ots1, 'left')) \
        == apply(apply(doc, ots2), transform(ots1, ots2, 'right'))

compose(ots1: Sequence[OT], ots2: Sequence[OT]) -> Sequence[OT]

组合具有属性的两个自定义类型序列

assert apply(apply(doc, ots1), ots2) == apply(doc, compose(ots1, ots2))

基准测试（在CPython 3.12.1中）

基准测试：apply操作

基准测试：inverse_apply操作