-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathpackage.yaml
116 lines (110 loc) · 2.03 KB
/
package.yaml
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
112
113
114
115
116
name: at
version: 0.0.1.0
github: "mvr/at"
license: BSD3
author: "Mitchell Riley"
maintainer: "mitchell.v.riley@gmail.com"
extra-source-files:
- README.md
synopsis: Effective Algebraic Topology
category: Math
description: See README.md
dependencies:
- base >= 4.7 && < 5
default-extensions:
# - ConstraintKinds
# - BangPatterns
- DefaultSignatures
- DeriveFoldable
- DeriveFunctor
- DeriveTraversable
- DerivingVia
# - EmptyCase
- FlexibleContexts
- FlexibleInstances
- FunctionalDependencies
- GADTs
- GeneralizedNewtypeDeriving
# - KindSignatures
- LambdaCase
# - MultiParamTypeClasses
- NoMonomorphismRestriction
# - OverloadedStrings
# - PartialTypeSignatures
# - PatternGuards
# - PatternSynonyms
- PolyKinds
- RankNTypes
# - RecordWildCards
# - RoleAnnotations
- ScopedTypeVariables
- StandaloneDeriving
# - TemplateHaskell
- TupleSections
- TypeApplications
- TypeOperators
- TypeFamilies
- TypeFamilyDependencies
# - TypeInType
# - UnboxedTuples
- UnicodeSyntax
- ViewPatterns
executables:
KZmod3_2:
main: KZmod3_2.hs
source-dirs:
examples
dependencies:
- at
- vector
- matrix
- mtl
ghc-options:
- -O2
- -main-is KZmod3_2
Pi4S3:
main: Pi4S3.hs
source-dirs:
examples
dependencies:
- at
- vector
- matrix
- mtl
ghc-options:
- -O2
- -main-is Pi4S3
library:
source-dirs:
src
dependencies:
- vector
- matrix
- mtl
ghc-options:
- -Wall
# - -Wno-missing-signatures
- -Wno-name-shadowing
# - -Wno-unused-do-bind
- -Wno-unused-matches
# - -Wno-partial-type-signatures
# - -O2
tests:
spec:
main: Spec.hs
source-dirs: test
ghc-options:
- -Wall
# - -Wno-missing-signatures
- -Wno-name-shadowing
# - -Wno-unused-do-bind
- -Wno-unused-matches
# - -Wno-partial-type-signatures
# - -O2
dependencies:
- at
- vector
- matrix
- hspec
- QuickCheck
- random