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
50
51
52
53
54
55
56
57
58
59
|
name: dependent-sum-template
version: 0.2.0.0
stability: experimental
cabal-version: >= 1.10
build-type: Simple
author: James Cook <mokus@deepbondi.net>
maintainer: Obsidian Systems, LLC <maintainer@obsidian.systems>
license: PublicDomain
homepage: https://github.com/obsidiansystems/dependent-sum-template
category: Unclassified
synopsis: Template Haskell code to generate instances of classes in some package
description: Template Haskell code to generate instances of classes in some package, such as 'GEq' and 'GCompare'.
tested-with: GHC == 8.4.4,
GHC == 8.6.5,
GHC == 8.8.4,
GHC == 8.10.7,
GHC == 9.0.2,
GHC == 9.6.1
extra-source-files: ChangeLog.md
, ReadMe.md
source-repository head
type: git
location: https://github.com/obsidiansystems/dependent-sum-template
Library
if impl(ghc < 7.10)
buildable: False
hs-source-dirs: src
default-language: Haskell2010
exposed-modules: Data.GADT.Compare.TH
Data.GADT.Show.TH
other-modules: Data.GADT.TH.Internal
Data.GADT.Compare.Monad
build-depends: base >= 3 && <5,
some >= 1.0.1 && < 1.1,
containers >= 0.5.9.2,
mtl,
template-haskell >= 2.11 && < 2.21,
th-abstraction >= 0.4
test-suite test
if impl(ghc < 8.0)
buildable: False
type: exitcode-stdio-1.0
hs-source-dirs: test
default-language: Haskell2010
main-is: test.hs
build-depends: base
, constraints-extras
, dependent-sum-template
, template-haskell
, some
, th-abstraction
|
