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

代数。图表。关系。预订单

数据结构

描述

预订单关系的抽象实现。使用代数。图表。等级用于多态构造和操作。

简介

数据结构

数据预订单关系一来源 #

这个预订单关系数据类型表示既自反又传递的二元关系.预订单满足所有要求法律预订单类型类，尤其是自循环公理：

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

和关闭公理：

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

例如，以下内容适用：

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

这个显示实例生成自反和传递的闭合表达式：

show（1:：预订单关联Int）==“边缘1 1”显示（1*2:：PreorderRelation Int）==“边[（1,1），（1,2），（2,2）]”显示（1*2+2*3:：PreorderRelation Int）==“边[（1,1），（1,2），（1.3），（2,2），，（2,3），（3,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->预订单关系一来源 #
类型顶点(预订单关系a）来源 #
实例详细信息定义于代数。图表。关系。预订单类型顶点(预订单关系a） =a

来自关系::关系a->预订单关系一来源 #

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

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

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