-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhoas.cabal
105 lines (99 loc) · 2.32 KB
/
hoas.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
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: b3b78d1a5981900da939e5dd31e3d838fbd519c6b46041b8f1369a45823a8940
name: hoas
version: 0.1.0.0
description: Please see the README on GitHub at <https://github.com/githubuser/hoas#readme>
homepage: https://github.com/githubuser/hoas#readme
bug-reports: https://github.com/githubuser/hoas/issues
author: Author name here
maintainer: example@example.com
copyright: 2020 Author name here
license: BSD3
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
ChangeLog.md
source-repository head
type: git
location: https://github.com/githubuser/hoas
library
exposed-modules:
AsCallByName
AsCcc
AsCps
Cbpv
Cbpv.AsLeft
Cbpv.AsOpt
Cbpv.AsRight
Cbpv.ElimThunkForce
Cbpv.Hom
Cbpv.Inline
Cbpv.Intrinsify
Cbpv.MoveCode
Cbpv.RemoveDead
Cbpv.Sort
Cbpv.Tuples
Cbpv.ZetaToPop
Ccc
Ccc.AsIntrinsified
Ccc.AsLeft
Ccc.AsRight
Ccc.Inline
Ccc.Optimize
Ccc.RemoveDead
Ccc.Type
Ccc.ZetaToKappa
Cps
Cps.Sort
Dict
Interpreter
Lam
Lam.Type
Pretty
other-modules:
Paths_hoas
hs-source-dirs:
src
build-depends:
base >=4.13 && <5
, containers >=0.6.2 && <1
, mtl >=2.2 && <3
, prettyprinter >=1.6 && <2
, prettyprinter-ansi-terminal >=1.1 && <2
default-language: Haskell2010
executable hoas-exe
main-is: Main.hs
other-modules:
Paths_hoas
hs-source-dirs:
app
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >=4.13 && <5
, containers >=0.6.2 && <1
, hoas
, mtl >=2.2 && <3
, prettyprinter >=1.6 && <2
, prettyprinter-ansi-terminal >=1.1 && <2
default-language: Haskell2010
test-suite hoas-test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Paths_hoas
hs-source-dirs:
test
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >=4.13 && <5
, containers >=0.6.2 && <1
, hoas
, mtl >=2.2 && <3
, prettyprinter >=1.6 && <2
, prettyprinter-ansi-terminal >=1.1 && <2
default-language: Haskell2010