黑客攻击：：[包]

fcf图:代数图的类型级版本。

[代数,图,图书馆,麻省理工学院,类型][建议标签]

代数图的类型级版本。

[跳到自述]

下载

维修人员角落

包装维护人员

对于包维护者和黑客托管者

候选人

  • 没有候选人
版本[RSS（RSS）] 0.0.1.0
更改日志 更改日志.md
依赖关系 基础(>=4.7 && <5),fcf容器(>=0.6.0),头等家庭(>=0.8.0)[细节]
许可证 麻省理工学院
版权 丹尼尔·费斯
作者 丹尼尔·费斯
维护人员 dan.firth@homotopic.tech
类别 代数,图,类型
源回购 头部：git克隆https://gitlab.homotopic.tech/haskell/fcf-graphs
已上传 通过局部压实在2021-09-07T16:06:22Z
分配
反向依赖关系 1直接，0间接[细节]
下载 总计168人（过去30天内有11人）
额定值 （尚未投票）[估算人贝叶斯平均]
您的评分
  • λ
  • λ
  • λ
状态 可用文档[生成日志]
截至2021-09-07，所有报告的生成都失败[所有1个报告]

fcf-graphs-0.0.1.0自述文件

[返回包描述]

fcf图

fcf图形模拟代数图但是对于类型级计算，使用头等家庭.

提供的是图表和相邻地图数据类型和几个函数针对每个。我相信这可以与代数图实现api奇偶性。在目前，并不是所有内容都实现了，而是类型级别的简化工程，即很有趣。

注意，底层列表/映射的排序有点奇怪，所以要小心。请参见doctests中的示例，请参见fcf容器对于参考。