dag:Haskell 中类型良好的有向无环图

时间:2021-06-29 01:56:10
【文件属性】:
文件名称:dag:Haskell 中类型良好的有向无环图
文件大小:11KB
文件格式:ZIP
更新时间:2021-06-29 01:56:10
haskell graph dag type-level-programming directed-acyclic-graph 达格 Haskell 的有向无环图 描述 这是一个用于 Haskell 的类型安全的有向无环图库。 这个库在很多方面与其他库不同: 边缘构建是增量的,创建一个“模式”: {-# LANGUAGE DataKinds #-} import Data.Graph.DAG.Edge -- | Edges are statically defined: edges = ECons ( Edge :: EdgeValue " foo " " bar " ) $ ECons ( Edge :: EdgeValue " bar " " baz " ) $ ECons ( Edge :: EdgeValue " foo " " baz " ) unique -- ENil, but casted for uniquely edged graphs 节点与边分开; 图可能未连接: da
【文件预览】:
dag-master
----.gitignore(95B)
----src()
--------Data()
----LICENSE(1KB)
----dag.cabal(4KB)
----README.md(2KB)
----test()
--------Spec.hs(44B)
--------Data()

网友评论