EbU-examples/embedding-by-unembedding-examples.cabal at main · kztk-m/EbU-examples · 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
cabal-version:      2.4
name:               embedding-by-unembedding-examples
version:            0.6.0

license:            BSD-3-Clause
author:             Kazutaka Matsuda, Samantha Frohlich
maintainer:         kztk@tohoku.ac.jp

common deps
    build-depends:
        base >= 4.12 && < 5,
        mtl ^>= 2.2 || ^>= 2.3,
        containers ^>= 0.6,
        embedding-by-unembedding ^>= 0.6 || ^>=0.7,
        defun-core

    default-language: Haskell2010
    ghc-options:
                 -Wall
                 -Wcompat
                 -Widentities
                 -Wincomplete-uni-patterns
                 -Wincomplete-record-updates
                 -Wredundant-constraints
                 -Wnoncanonical-monad-instances
    if impl(ghc >= 8.2)
      ghc-options:       -fhide-source-paths
    if impl(ghc >= 8.4)
      ghc-options:       -Wmissing-export-lists
                         -Wpartial-fields
    if impl(ghc >= 8.8)
      ghc-options:       -Wmissing-deriving-strategies
                         -fwrite-ide-info
                         -hiedir=.hie
    if impl(ghc >= 8.10)
      ghc-options:       -Wunused-packages

library
    import: deps
    exposed-modules:
        Unembedding.Examples.AppLens
        Unembedding.Examples.CTS
        Unembedding.Examples.ELens
        Unembedding.Examples.ILC
        Unembedding.Examples.STLC
        Unembedding.Examples.Forall

    hs-source-dirs:   src
    default-language: Haskell2010