文件名称：dependent-map:依赖类型的有限映射（部分依赖产品）
文件大小：25KB
文件格式：ZIP
更新时间：2024-06-20 08:35:24
Haskell
依赖映射 该库定义了一个依赖类型的有限映射类型。 它是从containers包中的Data.Map.Map派生的，而不是（概念上）存储由第一个组件索引的对，而是存储由标签索引的DSum （从dependent-sum包）。 例如 {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeFamilies #-} module Example where import Data.Constraint.Extras.TH ( deriveArgDict ) import Data.Dependent.Map ( DMap , fromList , single
【文件预览】：
dependent-map-master
----src()
--------Data()
----Setup.lhs(78B)
----.travis.yml(8KB)
----LICENSE(4KB)
----README.md(2KB)
----ChangeLog.md(738B)
----cabal.project(99B)
----dependent-map.cabal(2KB)
----.gitignore(268B)