版权	（c）安德烈·莫霍夫2016-2022
许可证	MIT（请参阅文件LICENSE）
维护人员	andrey.mokhov@gmail.com
稳定性	实验的
安全哈斯克尔	无
语言	哈斯克尔2010

代数。图表。关系。可传递的

数据结构

描述

可传递二进制关系的抽象实现。使用代数。图表。等级用于多态构造和操作。

简介

数据结构

数据传递关系一来源 #

这个传递关系数据类型表示传递二元关系在一组元素上。传递关系满足可传递的类型类，尤其是关闭公理：

年/=空的==>x*y+x*z+y*z==x*y+y*z

例如，以下内容适用：

路径xs==(集团xs:：TransitiveRelation Int）

这个显示实例生成传递闭包表达式：

显示（1*2:：TransitiveRelation Int）==“边1 2”show（1*2+2*3:：TransitiveRelation Int）==“边[（1,2），（1,3），（2,3）]”

实例

实例详细信息

订单a=>等式(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的方法 (==)::传递关系a->传递关系a->布尔 # (/=)::传递关系a->传递关系a->布尔 #
(订单a、，号码a） =>号码(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的方法 (+)::传递关系a->传递关系a->传递关系一# (-)::传递关系a->传递关系a->传递关系一# (*)::传递关系a->传递关系a->传递关系一# 否定::传递关系a->传递关系一# 防抱死制动系统::传递关系a->传递关系一# 符号::传递关系a->传递关系一# from整数::整数->传递关系一#
订单a=>订单(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的方法比较::传递关系a->传递关系a->订购 # (<)::传递关系a->传递关系a->布尔 # (<=)::传递关系a->传递关系a->布尔 # (>)::传递关系a->传递关系a->布尔 # (>=)::传递关系a->传递关系a->布尔 # 最大值::传递关系a->传递关系a->传递关系一# 最小值::传递关系a->传递关系a->传递关系一#
(订单a、，显示a） =>显示(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的方法显示Prec::国际->传递关系a->显示 # 显示::传递关系a->字符串 # showList（显示列表）:: [传递关系a] ->显示 #
IsString（IsString）a=>IsString（IsString）(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的方法来自字符串::字符串->传递关系一#
NFData公司a=>NFData公司(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的方法径向基函数::传递关系a->（）#
订单a=>可传递的(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的
订单a=>图表(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的关联的类型类型顶点(传递关系a）来源 # 方法空的::传递关系一来源 # 顶点::顶点(传递关系a） ->传递关系一来源 # 覆盖::传递关系a->传递关系a->传递关系一来源 # 连接::传递关系a->传递关系a->传递关系一来源 #
类型顶点(传递关系a）来源 #
实例详细信息定义于代数。图表。关系。可传递的类型顶点(传递关系a） =a

来自关系::关系a->传递关系一来源 #

从关系.复杂性：O（1）时间。

到关系::订单a=>传递关系a->关系一来源 #

提取基本关系。复杂性：O（n*m*log（m））时间。