vec/ral/ral.cabal at ba3f1939707e34394ec2b515ff1a1d70da82a67e · phadej/vec · 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
cabal-version:      2.2
name:               ral
version:            0.1
synopsis:           Length-indexed random access lists.
category:           Data, Dependent Types, Singletons
description:
  Length indexed random access lists.
  .
  See <http://www.staff.science.uu.nl/~swier004/publications/2019-jfp-submission.pdf>

homepage:           https://github.com/phadej/vec
bug-reports:        https://github.com/phadej/vec/issues
license:            GPL-2.0-or-later
license-file:       LICENSE
author:             Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer:         Oleg.Grenrus <oleg.grenrus@iki.fi>
copyright:          (c) 2019 Oleg Grenrus
build-type:         Simple
extra-source-files: ChangeLog.md
tested-with:
  GHC ==7.8.4
   || ==7.10.3
   || ==8.0.2
   || ==8.2.2
   || ==8.4.4
   || ==8.6.5
   || ==8.8.1

source-repository head
  type:     git
  location: https://github.com/phadej/vec.git
  subdir:   ral

flag adjunctions
  description: Depend on @adjunctions@ to provide its instances
  manual:      True
  default:     True

flag distributive
  description:
    Depend on @distributive@ to provide its instances. Turning on, disables @adjunctions@ too.

  manual:      True
  default:     True

flag semigroupoids
  description:
    Depend on @semigroupoids@ to provide its instances, and `traverse1`.

  manual:      True
  default:     True

library
  default-language: Haskell2010
  hs-source-dirs:   src
  ghc-options:      -Wall -fprint-explicit-kinds
  exposed-modules:
    Data.RAList
    Data.RAList.NonEmpty
    Data.RAList.Tree
    Data.RAVec
    Data.RAVec.NonEmpty
    Data.RAVec.Tree


  -- GHC boot libs
  build-depends:
    , base     >=4.7     && <4.14
    , deepseq  >=1.3.0.1 && <1.5

  if !impl(ghc >=8.0)
    build-depends: semigroups >=0.18.4 && <0.20

  -- siblings
  build-depends:
    , bin  ^>=0.1
    , fin  ^>=0.1.1

  -- other dependencies
  build-depends:
    , hashable    >=1.2.7.0 && <1.4
    , QuickCheck  ^>=2.13.2

  if flag(distributive)
    build-depends: distributive >=0.5.3 && <0.7

    if flag(adjunctions)
      build-depends: adjunctions ^>=4.4

  if flag(semigroupoids)
    build-depends: semigroupoids >=5.2.2 && <5.4

  -- heterogenous RAList
  if impl(ghc >= 8.0)
    exposed-modules: Data.HRAList

-- dump-core
-- if impl(ghc >= 8.0)
--  build-depends: dump-core
--  ghc-options: -fplugin=DumpCore -fplugin-opt DumpCore:core-html