halco/halco.cabal at master · flame-stream/halco · GitHub

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.34.4.
--
-- see: https://github.com/sol/hpack

name:           halco
version:        0.1.0.0
description:    Please see the README on GitHub at <https://github.com/flame-stream/halco#readme>
homepage:       https://github.com/flame-stream/halco#readme
bug-reports:    https://github.com/flame-stream/halco/issues
author:         Andrey Stoyan
maintainer:     yukio@yandex-team.ru
copyright:      2020 Andrey Stoyan
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md

source-repository head
  type: git
  location: https://github.com/flame-stream/halco

library
  exposed-modules:
      Halco.Beam.Base
      Halco.Beam.Combs
      Halco.CGraph
      Halco.Check
      Halco.ContImpls.Beam.Conts
      Halco.ContImpls.Beam.Defs
      Halco.ContImpls.Beam.Ops
      Halco.ContImpls.Beam.Scheme
      Halco.ContImpls.Pragmatic.Conts
      Halco.ContImpls.Pragmatic.Defs
      Halco.ContImpls.Pragmatic.DSL
      Halco.ContImpls.Pragmatic.Ops
      Halco.ContImpls.Pragmatic.Scheme
      Halco.ContImpls.Trivial.Conts
      Halco.ContImpls.Trivial.Defs
      Halco.ContImpls.Trivial.DSL
      Halco.ContImpls.Trivial.Scheme
      Halco.ContImpls.Trivials.Conts
      Halco.Conts
      Halco.Cost
      Halco.Defs
      Halco.DSL
      Halco.EGraph
      Halco.Examples.Trivial.Pets
      Halco.Examples.Trivial.SplashTime
      Halco.Examples.Trivials.Poster
      Halco.Graph
      Halco.GraphGen.Base
      Halco.GraphGen.Fast
      Halco.Scheme
      Halco.Utils.Classes
      Halco.Utils.Data.Functor
      Halco.Utils.Data.List
      Halco.Utils.Data.Map
      Halco.Utils.Data.Traversable
      Halco.Utils.Function
      Halco.Utils.ListT
  other-modules:
      Paths_halco
  hs-source-dirs:
      src
  ghc-options: -Wall -Werror -Wcompat -Widentities -Wincomplete-uni-patterns -Wincomplete-record-updates -Wno-unused-top-binds -Wno-unused-imports -Wno-name-shadowing -Wno-unused-matches
  build-depends:
      base >=4.7 && <5
    , containers >=0.6
    , either
    , extra
    , list-t
    , mtl
    , transformers
  default-language: Haskell2010

executable halco-exe
  main-is: Main.hs
  other-modules:
      Paths_halco
  hs-source-dirs:
      app
  ghc-options: -Wall -Werror -Wcompat -Widentities -Wincomplete-uni-patterns -Wincomplete-record-updates -Wno-unused-top-binds -Wno-unused-imports -Wno-name-shadowing -Wno-unused-matches -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , containers
    , halco
  default-language: Haskell2010

test-suite halco-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Paths_halco
  hs-source-dirs:
      test
  ghc-options: -Wall -Werror -Wcompat -Widentities -Wincomplete-uni-patterns -Wincomplete-record-updates -Wno-unused-top-binds -Wno-unused-imports -Wno-name-shadowing -Wno-unused-matches -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.7 && <5
    , containers >=0.6
    , halco
    , hspec >=2.5
  default-language: Haskell2010