-
Notifications
You must be signed in to change notification settings - Fork 5
/
verified-instances.cabal
111 lines (102 loc) · 3.97 KB
/
verified-instances.cabal
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
name: verified-instances
version: 0.1.0.0
synopsis: Verified typeclasses with LiquidHaskell
homepage: https://github.com/iu-parfunc/verified-instances
license: BSD3
license-file: LICENSE
author: Vikraman Choudhury
maintainer: git@vikraman.org
category: Example
build-type: Simple
extra-source-files: README.md
cabal-version: >=1.10
flag examples
default: False
manual: True
library
exposed-modules: GHC.Classes.VerifiedEq
, GHC.Classes.VerifiedOrd
, Data.CommutativeSemigroup
, Data.VerifiableConstraint
, Data.VerifiableConstraint.Internal
, Data.VerifiedCommutativeSemigroup
, Data.VerifiedEq
, Data.VerifiedEq.Instances
, Data.VerifiedEq.Instances.Contra
, Data.VerifiedEq.Instances.Generics
, Data.VerifiedEq.Instances.Iso
, Data.VerifiedEq.Instances.Sum
, Data.VerifiedEq.Instances.Prod
, Data.VerifiedFunctor
, Data.VerifiedFunctor.Instances.List
, Data.VerifiedOrd
, Data.VerifiedOrd.Instances
, Data.VerifiedOrd.Instances.Inj
, Data.VerifiedOrd.Instances.Iso
, Data.VerifiedOrd.Instances.Sum
, Data.VerifiedOrd.Instances.Prod
, Data.VerifiedMonoid
, Data.VerifiedSemigroup
, Data.Inj
, Data.Iso
, Language.Haskell.Liquid.ProofCombinators
other-extensions: MultiParamTypeClasses
, FlexibleInstances
, FlexibleContexts
, TypeFamilies
, IncoherentInstances
build-depends: base >=4.8 && <5
, contravariant >= 1.4 && < 1.5
, constraints >= 0.8 && < 0.10
, newtype >= 0.2 && < 0.3
, reflection >= 2.1.2 && < 2.2
, semigroups >= 0.18 && < 0.19
hs-source-dirs: src
ghc-options: -O2 -Wall -fno-warn-orphans
default-language: Haskell2010
executable dpj2
if !flag(examples)
buildable: False
main-is: IntegerSumReduction2.hs
build-depends: base >= 4.8 && < 5
, monad-parallel
, semigroups
, vector
, verified-instances
, deepseq, criterion
, lvish, transformers
, time
hs-source-dirs: examples/dpj
ghc-options: -O2 -Wall -threaded -rtsopts
default-language: Haskell2010
executable nbody-allpairs
if !flag(examples)
buildable: False
main-is: allpairs.hs
build-depends: base >= 4.8 && < 5
, monad-par, monad-par-extras
, semigroups
, vector
-- , verified-instances
, deepseq, criterion
-- , lvish
, transformers
, random
, time
, vector-th-unbox
, clock
hs-source-dirs: examples/nbody/
ghc-options: -O2 -Wall -threaded -rtsopts
default-language: Haskell2010
executable simplepar
if !flag(examples)
buildable: False
main-is: experiments/Control/SimplePar.hs
build-depends: base >= 4.8 && < 5
, containers
, mtl
, QuickCheck
, tasty
, tasty-quickcheck
ghc-options: -O2 -Wall -threaded -rtsopts
default-language: Haskell2010