文件名称:GADTSeq:一个版本的容器
文件大小:8KB
文件格式:ZIP
更新时间:2024-07-27 11:47:43
Haskell
GADTSeq 容器的一个版本:Data.Sequence 使用 GADT 而不是嵌套类型
【文件预览】:
GADTSeq-master
----LICENSE(1KB)
----README.md(91B)
----Data()
--------Main.hs(300B)
--------Sequence.hs(34KB)
文件名称:GADTSeq:一个版本的容器
文件大小:8KB
文件格式:ZIP
更新时间:2024-07-27 11:47:43
Haskell
GADTSeq 容器的一个版本:Data.Sequence 使用 GADT 而不是嵌套类型