forsyde-shallow-3.4.0.1: forsyde-shallow.cabal
name: forsyde-shallow
version: 3.4.0.1
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 <forsyde-dev@eecs.kth.se>
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