Cabal revisions of clash-lib-0.7.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: clash-lib-Version: 0.7.1-Synopsis: CAES Language for Synchronous Hardware - As a Library-Description:- CλaSH (pronounced ‘clash’) is a functional hardware description language that- borrows both its syntax and semantics from the functional programming language- Haskell. The CλaSH compiler transforms these high-level descriptions to- low-level synthesizable VHDL, Verilog, or SystemVerilog.- .- Features of CλaSH:- .- * Strongly typed, but with a very high degree of type inference, enabling both- safe and fast prototyping using concise descriptions.- .- * Interactive REPL: load your designs in an interpreter and easily test all- your component without needing to setup a test bench.- .- * Higher-order functions, with type inference, result in designs that are- fully parametric by default.- .- * Synchronous sequential circuit design based on streams of values, called- @Signal@s, lead to natural descriptions of feedback loops.- .- * Support for multiple clock domains, with type safe clock domain crossing.- .- .- This package provides:- .- * The CoreHW internal language: SystemF + Letrec + Case-decomposition- .- * The normalisation process that brings CoreHW in a normal form that can be- converted to a netlist- .- * Blackbox/Primitive Handling- .- .- Front-ends (for: parsing, typecheck, etc.) are provided by separate packages:- .- * <http://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>- .- * <https://github.com/christiaanb/Idris-dev Idris Frontend>- .- .- Prelude library: <http://hackage.haskell.org/package/clash-prelude>-Homepage: http://www.clash-lang.org/-bug-reports: http://github.com/clash-lang/clash-compiler/issues-License: BSD2-License-file: LICENSE-Author: Christiaan Baaij-Maintainer: Christiaan Baaij <christiaan.baaij@gmail.com>-Copyright: Copyright © 2012-2016, University of Twente, 2017, QBayLogic-Category: Hardware-Build-type: Simple--Extra-source-files: README.md,- CHANGELOG.md--Cabal-version: >=1.10--source-repository head- type: git- location: https://github.com/clash-lang/clash-compiler.git--Library- HS-Source-Dirs: src-- default-language: Haskell2010- ghc-options: -Wall- CPP-Options: -DCABAL-- other-extensions: CPP- DeriveAnyClass- DeriveGeneric- DeriveFoldable- DeriveFunctor- FlexibleContexts- FlexibleInstances- GeneralizedNewtypeDeriving- LambdaCase- MultiParamTypeClasses- OverloadedStrings- Rank2Types- RecordWildCards- ScopedTypeVariables- TemplateHaskell- TupleSections- ViewPatterns-- Build-depends: aeson >= 0.6.2.0 && < 1.2,- attoparsec >= 0.10.4.0 && < 0.14,- base >= 4.8 && < 5,- bytestring >= 0.10.0.2 && < 0.11,- clash-prelude >= 0.11 && < 0.12,- concurrent-supply >= 0.1.7 && < 0.2,- containers >= 0.5.0.0 && < 0.6,- data-binary-ieee754 >= 0.4.4 && < 0.6,- deepseq >= 1.3.0.2 && < 1.5,- directory >= 1.2.0.1 && < 1.4,- errors >= 1.4.2 && < 2.2,- fgl >= 5.4.2.4 && < 5.6,- filepath >= 1.3.0.1 && < 1.5,- ghc >= 8.0.1 && < 8.2,- hashable >= 1.2.1.0 && < 1.3,- integer-gmp >= 1.0 && < 1.1,- lens >= 3.9.2 && < 4.16,- mtl >= 2.1.2 && < 2.3,- pretty >= 1.1.1.0 && < 1.2,- process >= 1.1.0.2 && < 1.5,- template-haskell >= 2.8.0.0 && < 2.12,- text >= 0.11.3.1 && < 1.3,- time >= 1.4.0.1 && < 1.8,- transformers >= 0.3.0.0 && < 0.6,- unbound-generics >= 0.1 && < 0.4,- unordered-containers >= 0.2.3.3 && < 0.3,- uu-parsinglib >= 2.8.1 && < 2.10,- wl-pprint-text >= 1.1.0.0 && < 1.2-- Exposed-modules: CLaSH.Backend-- CLaSH.Core.DataCon- CLaSH.Core.FreeVars- CLaSH.Core.Literal- CLaSH.Core.Pretty- CLaSH.Core.Subst- CLaSH.Core.Term- CLaSH.Core.TyCon- CLaSH.Core.Type- CLaSH.Core.TysPrim- CLaSH.Core.Util- CLaSH.Core.Var-- CLaSH.Driver- CLaSH.Driver.TestbenchGen- CLaSH.Driver.TopWrapper- CLaSH.Driver.Types-- CLaSH.Netlist- CLaSH.Netlist.BlackBox- CLaSH.Netlist.BlackBox.Parser- CLaSH.Netlist.BlackBox.Types- CLaSH.Netlist.BlackBox.Util- CLaSH.Netlist.Id- CLaSH.Netlist.Types- CLaSH.Netlist.Util-- CLaSH.Normalize- CLaSH.Normalize.DEC- CLaSH.Normalize.PrimitiveReductions- CLaSH.Normalize.Strategy- CLaSH.Normalize.Transformations- CLaSH.Normalize.Types- CLaSH.Normalize.Util-- CLaSH.Primitives.Types- CLaSH.Primitives.Util-- CLaSH.Rewrite.Combinators- CLaSH.Rewrite.Types- CLaSH.Rewrite.Util-- CLaSH.Util-- Other-Modules: Data.Aeson.Extra- GHC.Extra- Paths_clash_lib- Unbound.Generics.LocallyNameless.Extra+Name: clash-lib +Version: 0.7.1 +x-revision: 1 +Synopsis: CAES Language for Synchronous Hardware - As a Library +Description: + CλaSH (pronounced ‘clash’) is a functional hardware description language that + borrows both its syntax and semantics from the functional programming language + Haskell. The CλaSH compiler transforms these high-level descriptions to + low-level synthesizable VHDL, Verilog, or SystemVerilog. + . + Features of CλaSH: + . + * Strongly typed, but with a very high degree of type inference, enabling both + safe and fast prototyping using concise descriptions. + . + * Interactive REPL: load your designs in an interpreter and easily test all + your component without needing to setup a test bench. + . + * Higher-order functions, with type inference, result in designs that are + fully parametric by default. + . + * Synchronous sequential circuit design based on streams of values, called + @Signal@s, lead to natural descriptions of feedback loops. + . + * Support for multiple clock domains, with type safe clock domain crossing. + . + . + This package provides: + . + * The CoreHW internal language: SystemF + Letrec + Case-decomposition + . + * The normalisation process that brings CoreHW in a normal form that can be + converted to a netlist + . + * Blackbox/Primitive Handling + . + . + Front-ends (for: parsing, typecheck, etc.) are provided by separate packages: + . + * <http://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend> + . + * <https://github.com/christiaanb/Idris-dev Idris Frontend> + . + . + Prelude library: <http://hackage.haskell.org/package/clash-prelude> +Homepage: http://www.clash-lang.org/ +bug-reports: http://github.com/clash-lang/clash-compiler/issues +License: BSD2 +License-file: LICENSE +Author: Christiaan Baaij +Maintainer: Christiaan Baaij <christiaan.baaij@gmail.com> +Copyright: Copyright © 2012-2016, University of Twente, 2017, QBayLogic +Category: Hardware +Build-type: Simple + +Extra-source-files: README.md, + CHANGELOG.md + +Cabal-version: >=1.10 + +source-repository head + type: git + location: https://github.com/clash-lang/clash-compiler.git + +Library + HS-Source-Dirs: src + + default-language: Haskell2010 + ghc-options: -Wall + CPP-Options: -DCABAL + + other-extensions: CPP + DeriveAnyClass + DeriveGeneric + DeriveFoldable + DeriveFunctor + FlexibleContexts + FlexibleInstances + GeneralizedNewtypeDeriving + LambdaCase + MultiParamTypeClasses + OverloadedStrings + Rank2Types + RecordWildCards + ScopedTypeVariables + TemplateHaskell + TupleSections + ViewPatterns + + Build-depends: aeson >= 0.6.2.0 && < 1.3, + attoparsec >= 0.10.4.0 && < 0.14, + base >= 4.8 && < 5, + bytestring >= 0.10.0.2 && < 0.11, + clash-prelude >= 0.11 && < 0.12, + concurrent-supply >= 0.1.7 && < 0.2, + containers >= 0.5.0.0 && < 0.6, + data-binary-ieee754 >= 0.4.4 && < 0.6, + deepseq >= 1.3.0.2 && < 1.5, + directory >= 1.2.0.1 && < 1.4, + errors >= 1.4.2 && < 2.2, + fgl >= 5.4.2.4 && < 5.6, + filepath >= 1.3.0.1 && < 1.5, + ghc >= 8.0.1 && < 8.2, + hashable >= 1.2.1.0 && < 1.3, + integer-gmp >= 1.0 && < 1.1, + lens >= 3.9.2 && < 4.16, + mtl >= 2.1.2 && < 2.3, + pretty >= 1.1.1.0 && < 1.2, + process >= 1.1.0.2 && < 1.5, + template-haskell >= 2.8.0.0 && < 2.12, + text >= 0.11.3.1 && < 1.3, + time >= 1.4.0.1 && < 1.8, + transformers >= 0.3.0.0 && < 0.6, + unbound-generics >= 0.1 && < 0.4, + unordered-containers >= 0.2.3.3 && < 0.3, + uu-parsinglib >= 2.8.1 && < 2.10, + wl-pprint-text >= 1.1.0.0 && < 1.2 + + Exposed-modules: CLaSH.Backend + + CLaSH.Core.DataCon + CLaSH.Core.FreeVars + CLaSH.Core.Literal + CLaSH.Core.Pretty + CLaSH.Core.Subst + CLaSH.Core.Term + CLaSH.Core.TyCon + CLaSH.Core.Type + CLaSH.Core.TysPrim + CLaSH.Core.Util + CLaSH.Core.Var + + CLaSH.Driver + CLaSH.Driver.TestbenchGen + CLaSH.Driver.TopWrapper + CLaSH.Driver.Types + + CLaSH.Netlist + CLaSH.Netlist.BlackBox + CLaSH.Netlist.BlackBox.Parser + CLaSH.Netlist.BlackBox.Types + CLaSH.Netlist.BlackBox.Util + CLaSH.Netlist.Id + CLaSH.Netlist.Types + CLaSH.Netlist.Util + + CLaSH.Normalize + CLaSH.Normalize.DEC + CLaSH.Normalize.PrimitiveReductions + CLaSH.Normalize.Strategy + CLaSH.Normalize.Transformations + CLaSH.Normalize.Types + CLaSH.Normalize.Util + + CLaSH.Primitives.Types + CLaSH.Primitives.Util + + CLaSH.Rewrite.Combinators + CLaSH.Rewrite.Types + CLaSH.Rewrite.Util + + CLaSH.Util + + Other-Modules: Data.Aeson.Extra + GHC.Extra + Paths_clash_lib + Unbound.Generics.LocallyNameless.Extra
revision 2
Name: clash-lib Version: 0.7.1 -x-revision: 1 +x-revision: 2 Synopsis: CAES Language for Synchronous Hardware - As a Library Description: CλaSH (pronounced ‘clash’) is a functional hardware description language that data-binary-ieee754 >= 0.4.4 && < 0.6, deepseq >= 1.3.0.2 && < 1.5, directory >= 1.2.0.1 && < 1.4, - errors >= 1.4.2 && < 2.2, + errors >= 1.4.2 && < 2.3, fgl >= 5.4.2.4 && < 5.6, filepath >= 1.3.0.1 && < 1.5, ghc >= 8.0.1 && < 8.2,