Haskell中用于图的代数构造和操作的库。请参阅这篇论文背后的动机图书馆、基础理论和实施细节。
顶级模块代数。图表定义核心数据类型代数。图表。图表它是四个图构造原语的深度嵌入代数。图形.空,代数。图形.vertex,代数。图形覆盖和代数。图形连接.更多传统的图形表示可以在代数。图表。相邻地图和代数。图表。关系.
代数。图表。图表
代数。图形.空
代数。图形.vertex
代数。图形覆盖
代数。图形连接
中定义的类型类代数。图表。等级和代数。图表。高级种类。等级可以用于多态图的构造和操作。另请参见代数。图表。折叠它定义了代数图的Boehm-Berarducci编码为多态图操作提供了额外的灵活性。
这是一个实验库,在1.0.0版之前,API将不稳定。
[索引]
包装维护人员
对于包维护者和黑客托管者
候选人
Haskell中用于图的代数构造和操作的库。请参阅这篇论文对于库背后的动机理论和实施细节。
以下一系列博客文章也描述了图书馆背后的想法:
可以在中找到一些初步基准文档/基准.