-
Notifications
You must be signed in to change notification settings - Fork 10
/
Copy pathforsyde-shallow.cabal
116 lines (108 loc) · 4.27 KB
/
forsyde-shallow.cabal
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
106
107
108
109
110
111
112
113
114
115
116
name: forsyde-shallow
version: 3.5.0.0
cabal-version: >= 1.10
build-type: Simple
license: BSD3
license-file: LICENSE
author: ForSyDe Group, KTH/EECS/ELE
copyright: Copyright (c) 2003-2021 ForSyDe Group, KTH/EECS/ELE
maintainer: ForSyDe Group <[email protected]>
homepage: http://forsyde.ict.kth.se/
stability: alpha
synopsis:
ForSyDe's Haskell-embedded Domain Specific Language.
description:
The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.
.
This library provides a shallow implementation of ForSyDe as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: <https://forsyde.github.io/>. For examples and tutorials using @ForSyDe.Shallow@, check the <https://github.com/forsyde/forsyde-shallow-examples forsyde-shallow-examples> repository.
.
This package is a spin-off of the <https://hackage.haskell.org/package/ForSyDe ForSyDe> project and it follows its versioning.
category: Language
tested-with: GHC==7.10.3
, GHC==8.0.2
, GHC==8.2.1
, GHC==8.4.4
, GHC==8.10.3
-- In order to include all this files with sdist
extra-source-files: LICENSE,
README.md
source-repository head
type: git
location: git://github.com/forsyde/forsyde-shallow
Library
build-depends: base>=4.6 && <6,
directory,
old-time,
process,
random
hs-source-dirs: src
exposed-modules: ForSyDe.Shallow
, ForSyDe.Shallow.Core
, ForSyDe.Shallow.Core.Signal
, ForSyDe.Shallow.Core.Vector
, ForSyDe.Shallow.Core.AbsentExt
, ForSyDe.Shallow.MoC
, ForSyDe.Shallow.MoC.CT
, ForSyDe.Shallow.MoC.Synchronous
, ForSyDe.Shallow.MoC.Synchronous.Lib
, ForSyDe.Shallow.MoC.Synchronous.Process
, ForSyDe.Shallow.MoC.Synchronous.Stochastic
, ForSyDe.Shallow.MoC.Adaptivity
, ForSyDe.Shallow.MoC.Untimed
, ForSyDe.Shallow.MoC.Dataflow
, ForSyDe.Shallow.MoC.SDF
, ForSyDe.Shallow.MoC.CSDF
, ForSyDe.Shallow.MoC.SADF
, ForSyDe.Shallow.MoC.DomainInterface
, ForSyDe.Shallow.MoC.MoCInterface
, ForSyDe.Shallow.Utility
, ForSyDe.Shallow.Utility.PolyArith
, ForSyDe.Shallow.Utility.Queue
, ForSyDe.Shallow.Utility.DFT
, ForSyDe.Shallow.Utility.FIR
, ForSyDe.Shallow.Utility.FilterLib
, ForSyDe.Shallow.Utility.Gaussian
, ForSyDe.Shallow.Utility.Memory
, ForSyDe.Shallow.Utility.Matrix
, ForSyDe.Shallow.Utility.BitVector
other-modules:
Paths_forsyde_shallow
ghc-options: -Wall -fno-warn-name-shadowing
default-language: Haskell2010
Test-Suite unit
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Unit.hs
build-depends: base>=4.6 && <6
, forsyde-shallow
, hspec >= 2.2.4
ghc-options: -threaded -rtsopts -with-rtsopts=-N
default-language: Haskell2010
other-modules:
Paths_forsyde_shallow
test-suite doctests
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: TestDocs.hs
ghc-options: -threaded -isrc
default-language: Haskell2010
build-depends: base>=4.6 && <6
, doctest >= 0.8
, forsyde-shallow
other-modules:
Paths_forsyde_shallow
test-suite properties
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Props.hs
ghc-options: -threaded
default-language: Haskell2010
build-depends: base>=4.6 && <6
, QuickCheck
, forsyde-shallow
, old-time
, directory >= 1.2.2
, process >= 1.2.3
, random
other-modules:
Paths_forsyde_shallow