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

代数。图表。关系。反射式

数据结构

说明

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

简介

数据结构

数据自反关系一来源 #

这个反射关系数据类型表示自反二元关系在一组元素上。自反关系满足反射式类型类，尤其是自循环公理：

顶点x个==顶点x个*顶点x个

这个显示实例生成自反封闭表达式：

显示（1:：ReflexiveRelation Int）==“边缘1 1”显示（1*2:：ReflexiveRelation Int）==“边[（1,1），（1,2），（2,2）]”

实例

实例详细信息

订单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*log（m））时间。