ucap-haskell/ucap.cabal at master · cuplv/ucap-haskell · 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
cabal-version:      2.4
name:               ucap
version:            0.1.0.0
synopsis:           Update capabilities
license:            MIT
license-file:       LICENSE
author:             octalsrc
maintainer:         nicklewchenko92@gmail.com

library
    exposed-modules:  Data.InfNum
                    , Data.InfMap
                    , Data.InfSet
                    , Data.SRQueue
                    , Lang.Rwa
                    , Lang.Rwa.Interpret
                    , UCap
                    , UCap.Coord
                    , UCap.Coord.Int
                    , UCap.Coord.PartMap
                    , UCap.Coord.StaticMap
                    , UCap.Domain
                    , UCap.Domain.Int
                    , UCap.Domain.PartMap
                    , UCap.Domain.StaticMap
                    , UCap.Lens
                    , UCap.Lifter
                    , UCap.Op
                    , UCap.Op.PartMap
                    , UCap.Op.StaticMap
                    , UCap.Replica
                    -- , UCap.Replica.Demo
                    -- , UCap.Replica.PDemo
                    , UCap.Replica.Script
                    , UCap.Replica.Transact
                    , UCap.Replica.Types
                    , UCap.Replica.VClock
                    , UCap.Replica.VThread
    other-modules:    Lang.Rwa.Internal
                    , UCap.Coord.Classes
                    , UCap.Coord.Const
                    , UCap.Coord.Static
                    , UCap.Domain.Classes
                    , UCap.Domain.Const
                    , UCap.Domain.Either
                    , UCap.Domain.Free
                    , UCap.Domain.Identity
                    , UCap.Domain.Map
                    , UCap.Domain.Num
                    , UCap.Op.Free
                    , UCap.Op.Int
                    , UCap.Op.Internal
                    , UCap.Op.Num
                    , UCap.Op.Either
                    , UCap.Op.Map
    build-depends:    base ^>=4.16.4.0
                    , containers
                    , aeson
                    , microlens-platform
                    , mtl
                    , free
                    , bifunctors
                    , stm
                    , time
                    , bytestring
    hs-source-dirs:   src
    default-language: Haskell2010

test-suite test
    default-language: Haskell2010
    type:             exitcode-stdio-1.0
    hs-source-dirs:   test
    main-is:          test.hs
    other-modules:    Data.InfMapTests
                    , Data.SRQueueTests
                    , Lang.RwaTests
                    , UCapTests
                    , UCap.MapTests
                    , UCap.OpTests
                    , UCap.Replica.CoordTests
                    -- , UCap.Replica.DemoTests
                    -- , UCap.Replica.PDemoTests
                    , UCap.Replica.VClockTests
                    , UCap.Replica.VThreadTests
    build-depends:    base ^>=4.16.4.0
                    , containers
                    , mtl
                    , tasty
                    , tasty-hunit
                    , tasty-quickcheck
                    , ucap