1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
cabal-version: 3.0
name: dependent-map
version: 0.4.0.1
stability: provisional
build-type: Simple
author: James Cook <mokus@deepbondi.net>
maintainer: Obsidian Systems, LLC <maintainer@obsidian.systems>
license: BSD-3-Clause
license-file: LICENSE
homepage: https://github.com/obsidiansystems/dependent-map
category: Data, Dependent Types
synopsis: Dependent finite maps (partial dependent products)
description: Provides a type called @DMap@ which generalizes
@Data.Map.Map@, allowing keys to specify the type
of value that can be associated with them.
extra-source-files: ChangeLog.md
README.md
tested-with: GHC == 8.4.4,
GHC == 8.6.5,
GHC == 8.8.4,
GHC == 8.10.7,
GHC == 9.0.2,
GHC == 9.2.8,
GHC == 9.4.8,
GHC == 9.6.5,
GHC == 9.8.2,
GHC == 9.10.1
source-repository head
type: git
location: https://github.com/obsidiansystems/dependent-map
Library
hs-source-dirs: src
ghc-options: -fwarn-unused-imports -fwarn-unused-binds
exposed-modules: Data.Dependent.Map,
Data.Dependent.Map.Lens,
Data.Dependent.Map.Internal
other-modules: Data.Dependent.Map.PtrEquality
build-depends: base >= 4.11 && < 5,
containers >= 0.5.7.1 && <0.8,
dependent-sum >= 0.6.1 && < 0.8,
constraints-extras >= 0.2.3.0 && < 0.5
default-language: Haskell2010
|
