-
Notifications
You must be signed in to change notification settings - Fork 9
/
certainty-by-construction.cabal
97 lines (93 loc) · 2.41 KB
/
certainty-by-construction.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
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.35.1.
--
-- see: https://github.com/sol/hpack
name: certainty-by-construction
version: 0.1.0.0
description: Please see the README on GitHub at <https://github.com/isovector/certainty-by-construction#readme>
homepage: https://github.com/isovector/certainty-by-construction#readme
bug-reports: https://github.com/isovector/certainty-by-construction/issues
author: Sandy Maguire
maintainer: sandy@sandymaguire.me
copyright: 2021 Sandy Maguire
license: BSD3
build-type: Simple
source-repository head
type: git
location: https://github.com/isovector/certainty-by-construction
library
exposed-modules:
Dot
Languages.And
Languages.Huffman
Languages.Math
Languages.Tree
Types
other-modules:
Paths_certainty_by_construction
hs-source-dirs:
code/
default-extensions:
EmptyCase
PostfixOperators
TupleSections
NamedFieldPuns
BangPatterns
BinaryLiterals
HexFloatLiterals
NumericUnderscores
GADTSyntax
RankNTypes
TypeApplications
PolyKinds
ExistentialQuantification
TypeOperators
ConstraintKinds
ExplicitForAll
KindSignatures
NamedWildCards
ScopedTypeVariables
FlexibleContexts
FlexibleInstances
MultiParamTypeClasses
ConstrainedClassMethods
InstanceSigs
TypeSynonymInstances
DeriveDataTypeable
DeriveFoldable
DeriveFunctor
DeriveTraversable
StandaloneDeriving
EmptyDataDeriving
DeriveLift
GeneralisedNewtypeDeriving
DeriveGeneric
DerivingStrategies
DerivingVia
NumDecimals
ViewPatterns
PatternSynonyms
TypeFamilies
DeriveAnyClass
NoStarIsType
DataKinds
DefaultSignatures
TypeApplications
LambdaCase
OverloadedLabels
InstanceSigs
RoleAnnotations
NoMonomorphismRestriction
OverloadedStrings
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -fhide-source-paths -Wpartial-fields -Wmissing-deriving-strategies
build-depends:
base >=4.7 && <5
, bytestring
, colour
, containers
, graphviz
, hashable
, mtl
, process
, text
default-language: Haskell2010