crdt-10.7:无冲突复制数据类型

安全哈斯克尔	安全感染
语言	哈斯克尔2010

CRDT公司。Cv.TwoP集

剧情简介

文档

新类型 TwoP集一来源 #

建造师

TwoP集(地图一布尔)

实例

实例详细信息

等式a=>等式(TwoP集a）来源 #
实例详细信息定义于CRDT公司。Cv.TwoP集方法（==）::TwoP集a->TwoP集a->布尔 # (/=)::TwoP集a->TwoP集a->布尔 #
显示a=>显示(TwoP集a）来源 #
实例详细信息定义于CRDT公司。Cv.TwoP集方法显示Prec::国际->TwoP集a->显示 # 显示::TwoP集a->字符串 # showList（显示列表）:: [TwoPSet（两组）a] ->显示 #
订单a=>半群(TwoP集a）来源 #
实例详细信息定义于CRDT中。Cv.TwoP集方法（<>）::TwoP集a->TwoP集a->TwoP集一# 烤饼::非空(TwoP集a） ->TwoP集一# 斯提姆::完整的b=>b->TwoP集a->TwoP集一#
订单a=>半格(TwoP集a）来源 #
实例详细信息定义于CRDT公司。Cv.TwoPSet公司

添加::订单a=>a->TwoP集a->TwoP集一来源 #

最初的::TwoP集一来源 #

成员::订单a=>a->TwoP集a->布尔来源 #

去除::订单a=>a->TwoP集a->TwoP集一来源 #

单独的::订单a=>a->TwoP集一来源 #

已知::订单a=>a->TwoP集a->布尔来源 #

XXX内部