liquid-structures/package.yaml at main · john-h-kastner/liquid-structures · 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
name:                liquid-structures
version:             0.1.0.0
github:              "jackastner/liquid-structures"
license:             GPL-3
author:              "John Kastner"
maintainer:          "john.h.kastner@gmail.com"

extra-source-files:
- README.md

# To avoid duplicated efforts in documentation and dealing with the
# complications of embedding Haddock markup inside cabal files, it is
# common to point users to the README.md file.
description:         Please see the README on GitHub at <https://github.com/jackastner/liquid-structures#readme>

dependencies:
- base >= 4.7 && < 5
- containers
- liquidhaskell >= 0.8 && < 0.9

library:
  source-dirs: src

tests:
  liquid-structures-test:
    main:                Test.hs
    source-dirs:         test
    ghc-options:
    - -W
    - -Werror
    dependencies:
    - liquid-structures
    - process