【文件属性】:
文件名称: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()