name: forsyde-shallow version: 3.4.0.0 cabal-version: >= 1.8 build-type: Simple license: BSD3 license-file: LICENSE author: ForSyDe Group, KTH/EECS/ELE copyright: Copyright (c) 2003-2018 ForSyDe Group, KTH/EECS/ELE maintainer: ForSyDe Group 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: . For examples and tutorials using @ForSyDe.Shallow@, check the repository. . This package is a spin-off of the 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 -- 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, 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 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 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 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 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