Cabal revisions of clash-prelude-0.11.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: clash-prelude-Version: 0.11.2-Synopsis: CAES Language for Synchronous Hardware - Prelude 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:- .- * Prelude library containing datatypes and functions for circuit design- .- To use the library:- .- * Import "CLaSH.Prelude"- .- * Additionally import "CLaSH.Prelude.Explicit" if you want to design- explicitly clocked circuits in a multi-clock setting- .- A preliminary version of a tutorial can be found in "CLaSH.Tutorial", for a- general overview of the library you should however check out "CLaSH.Prelude".- Some circuit examples can be found in "CLaSH.Examples".-Homepage: http://www.clash-lang.org/-bug-reports: http://github.com/clash-lang/clash-prelude/issues-License: BSD2-License-file: LICENSE-Author: Christiaan Baaij-Maintainer: Christiaan Baaij <christiaan.baaij@gmail.com>-Copyright: Copyright © 2013-2016, University of Twente,- 2017, QBayLogic-Category: Hardware-Build-type: Simple--Extra-source-files: README.md- CHANGELOG.md- AUTHORS.md--extra-doc-files: doc/*.svg--Cabal-version: >=1.10--source-repository head- type: git- location: https://github.com/clash-lang/clash-prelude.git--flag doctests- description:- You can disable testing with doctests using `-f-doctests`.- default: True- manual: True--flag benchmarks- description:- You can disable testing with benchmarks using `-f-benchmarks`.- default: True- manual: True--flag doclinks- description:- Create hyperlinks to non-dependent packages using `-fdoclinks`.- default: False- manual: True--Library- HS-Source-Dirs: src-- default-language: Haskell2010- ghc-options: -Wall -fexpose-all-unfoldings-- Exposed-modules: CLaSH.Annotations.TopEntity- CLaSH.Annotations.Primitive-- CLaSH.Class.BitPack- CLaSH.Class.Num- CLaSH.Class.Resize-- CLaSH.NamedTypes-- CLaSH.Prelude- CLaSH.Prelude.BitIndex- CLaSH.Prelude.BitReduction- CLaSH.Prelude.BlockRam- CLaSH.Prelude.BlockRam.File- CLaSH.Prelude.DataFlow- CLaSH.Prelude.Explicit- CLaSH.Prelude.Explicit.Safe- CLaSH.Prelude.Mealy- CLaSH.Prelude.Moore- CLaSH.Prelude.RAM- CLaSH.Prelude.ROM- CLaSH.Prelude.ROM.File- CLaSH.Prelude.Safe- CLaSH.Prelude.Synchronizer- CLaSH.Prelude.Testbench-- CLaSH.Promoted.Nat- CLaSH.Promoted.Nat.Literals- CLaSH.Promoted.Nat.TH- CLaSH.Promoted.Nat.Unsafe- CLaSH.Promoted.Symbol-- CLaSH.Signal- CLaSH.Signal.Bundle- CLaSH.Signal.Delayed- CLaSH.Signal.Delayed.Explicit- CLaSH.Signal.Explicit- CLaSH.Signal.Internal-- CLaSH.Sized.BitVector- CLaSH.Sized.Fixed- CLaSH.Sized.Index- CLaSH.Sized.RTree- CLaSH.Sized.Signed- CLaSH.Sized.Unsigned- CLaSH.Sized.Vector-- CLaSH.Sized.Internal.BitVector- CLaSH.Sized.Internal.Index- CLaSH.Sized.Internal.Signed- CLaSH.Sized.Internal.Unsigned-- CLaSH.XException-- CLaSH.Tutorial- CLaSH.Examples-- other-extensions: CPP- BangPatterns- ConstraintKinds- DataKinds- DefaultSignatures- DeriveDataTypeable- DeriveTraversable- DeriveLift- FlexibleContexts- FlexibleInstances- GADTs- GeneralizedNewtypeDeriving- InstanceSigs- KindSignatures- MagicHash- MultiParamTypeClasses- PatternSynonyms- Rank2Types- ScopedTypeVariables- StandaloneDeriving- TemplateHaskell- TupleSections- TypeApplications- TypeFamilies- TypeOperators- UndecidableInstances- ViewPatterns-- Build-depends: array >= 0.5.1.0 && < 0.6,- base >= 4.8.0.0 && < 5,- constraints >= 0.8 && < 1.0,- data-binary-ieee754 >= 0.4.4 && < 0.6,- data-default >= 0.5.3 && < 0.8,- integer-gmp >= 0.5.1.0 && < 1.1,- deepseq >= 1.4.1.0 && < 1.5,- ghc-prim >= 0.3.1.0 && < 0.6,- ghc-typelits-extra >= 0.2.1 && < 0.3,- ghc-typelits-knownnat >= 0.2.2 && < 0.3,- ghc-typelits-natnormalise >= 0.4.2 && < 0.6,- half >= 0.2.2.3 && < 1.0,- lens >= 4.9 && < 4.16,- QuickCheck >= 2.7 && < 2.10,- reflection >= 2 && < 2.2,- singletons >= 1.0 && < 3.0,- template-haskell >= 2.9.0.0 && < 2.12,- vector >= 0.11 && < 1.0-- if flag(doclinks)- CPP-Options: -DDOCLINKS- build-depends: transformers >= 0.4.2.0--test-suite doctests- type: exitcode-stdio-1.0- default-language: Haskell2010- main-is: doctests.hs- ghc-options: -Wall- hs-source-dirs: tests-- if !flag(doctests)- buildable: False- else- build-depends:- base >= 4 && < 5,- doctest >= 0.9.1 && < 0.12--benchmark benchmark-clash-prelude- type: exitcode-stdio-1.0- default-language: Haskell2010- main-is: benchmark-main.hs- ghc-options: -O2 -Wall- hs-source-dirs: benchmarks-- if !flag(benchmarks)- buildable: False- else- build-depends:- base >= 4 && < 5,- clash-prelude,- criterion >= 1.1.1.0 && < 1.2,- deepseq >= 1.4.0.1 && < 1.5,- template-haskell >= 2.9.0.0 && < 2.12-- Other-Modules: BenchBitVector- BenchFixed- BenchSigned+Name: clash-prelude +Version: 0.11.2 +x-revision: 1 +Synopsis: CAES Language for Synchronous Hardware - Prelude 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: + . + * Prelude library containing datatypes and functions for circuit design + . + To use the library: + . + * Import "CLaSH.Prelude" + . + * Additionally import "CLaSH.Prelude.Explicit" if you want to design + explicitly clocked circuits in a multi-clock setting + . + A preliminary version of a tutorial can be found in "CLaSH.Tutorial", for a + general overview of the library you should however check out "CLaSH.Prelude". + Some circuit examples can be found in "CLaSH.Examples". +Homepage: http://www.clash-lang.org/ +bug-reports: http://github.com/clash-lang/clash-prelude/issues +License: BSD2 +License-file: LICENSE +Author: Christiaan Baaij +Maintainer: Christiaan Baaij <christiaan.baaij@gmail.com> +Copyright: Copyright © 2013-2016, University of Twente, + 2017, QBayLogic +Category: Hardware +Build-type: Simple + +Extra-source-files: README.md + CHANGELOG.md + AUTHORS.md + +extra-doc-files: doc/*.svg + +Cabal-version: >=1.10 + +source-repository head + type: git + location: https://github.com/clash-lang/clash-prelude.git + +flag doctests + description: + You can disable testing with doctests using `-f-doctests`. + default: True + manual: True + +flag benchmarks + description: + You can disable testing with benchmarks using `-f-benchmarks`. + default: True + manual: True + +flag doclinks + description: + Create hyperlinks to non-dependent packages using `-fdoclinks`. + default: False + manual: True + +Library + HS-Source-Dirs: src + + default-language: Haskell2010 + ghc-options: -Wall -fexpose-all-unfoldings + + Exposed-modules: CLaSH.Annotations.TopEntity + CLaSH.Annotations.Primitive + + CLaSH.Class.BitPack + CLaSH.Class.Num + CLaSH.Class.Resize + + CLaSH.NamedTypes + + CLaSH.Prelude + CLaSH.Prelude.BitIndex + CLaSH.Prelude.BitReduction + CLaSH.Prelude.BlockRam + CLaSH.Prelude.BlockRam.File + CLaSH.Prelude.DataFlow + CLaSH.Prelude.Explicit + CLaSH.Prelude.Explicit.Safe + CLaSH.Prelude.Mealy + CLaSH.Prelude.Moore + CLaSH.Prelude.RAM + CLaSH.Prelude.ROM + CLaSH.Prelude.ROM.File + CLaSH.Prelude.Safe + CLaSH.Prelude.Synchronizer + CLaSH.Prelude.Testbench + + CLaSH.Promoted.Nat + CLaSH.Promoted.Nat.Literals + CLaSH.Promoted.Nat.TH + CLaSH.Promoted.Nat.Unsafe + CLaSH.Promoted.Symbol + + CLaSH.Signal + CLaSH.Signal.Bundle + CLaSH.Signal.Delayed + CLaSH.Signal.Delayed.Explicit + CLaSH.Signal.Explicit + CLaSH.Signal.Internal + + CLaSH.Sized.BitVector + CLaSH.Sized.Fixed + CLaSH.Sized.Index + CLaSH.Sized.RTree + CLaSH.Sized.Signed + CLaSH.Sized.Unsigned + CLaSH.Sized.Vector + + CLaSH.Sized.Internal.BitVector + CLaSH.Sized.Internal.Index + CLaSH.Sized.Internal.Signed + CLaSH.Sized.Internal.Unsigned + + CLaSH.XException + + CLaSH.Tutorial + CLaSH.Examples + + other-extensions: CPP + BangPatterns + ConstraintKinds + DataKinds + DefaultSignatures + DeriveDataTypeable + DeriveTraversable + DeriveLift + FlexibleContexts + FlexibleInstances + GADTs + GeneralizedNewtypeDeriving + InstanceSigs + KindSignatures + MagicHash + MultiParamTypeClasses + PatternSynonyms + Rank2Types + ScopedTypeVariables + StandaloneDeriving + TemplateHaskell + TupleSections + TypeApplications + TypeFamilies + TypeOperators + UndecidableInstances + ViewPatterns + + Build-depends: array >= 0.5.1.0 && < 0.6, + base >= 4.8.0.0 && < 5, + constraints >= 0.8 && < 1.0, + data-binary-ieee754 >= 0.4.4 && < 0.6, + data-default >= 0.5.3 && < 0.8, + integer-gmp >= 0.5.1.0 && < 1.1, + deepseq >= 1.4.1.0 && < 1.5, + ghc-prim >= 0.3.1.0 && < 0.6, + ghc-typelits-extra >= 0.2.1 && < 0.3, + ghc-typelits-knownnat >= 0.2.2 && < 0.4, + ghc-typelits-natnormalise >= 0.4.2 && < 0.6, + half >= 0.2.2.3 && < 1.0, + lens >= 4.9 && < 4.16, + QuickCheck >= 2.7 && < 2.10, + reflection >= 2 && < 2.2, + singletons >= 1.0 && < 3.0, + template-haskell >= 2.9.0.0 && < 2.12, + vector >= 0.11 && < 1.0 + + if flag(doclinks) + CPP-Options: -DDOCLINKS + build-depends: transformers >= 0.4.2.0 + +test-suite doctests + type: exitcode-stdio-1.0 + default-language: Haskell2010 + main-is: doctests.hs + ghc-options: -Wall + hs-source-dirs: tests + + if !flag(doctests) + buildable: False + else + build-depends: + base >= 4 && < 5, + doctest >= 0.9.1 && < 0.12 + +benchmark benchmark-clash-prelude + type: exitcode-stdio-1.0 + default-language: Haskell2010 + main-is: benchmark-main.hs + ghc-options: -O2 -Wall + hs-source-dirs: benchmarks + + if !flag(benchmarks) + buildable: False + else + build-depends: + base >= 4 && < 5, + clash-prelude, + criterion >= 1.1.1.0 && < 1.3, + deepseq >= 1.4.0.1 && < 1.5, + template-haskell >= 2.9.0.0 && < 2.12 + + Other-Modules: BenchBitVector + BenchFixed + BenchSigned
revision 2
Name: clash-prelude Version: 0.11.2 -x-revision: 1 +x-revision: 2 Synopsis: CAES Language for Synchronous Hardware - Prelude library Description: CλaSH (pronounced ‘clash’) is a functional hardware description language that ghc-typelits-natnormalise >= 0.4.2 && < 0.6, half >= 0.2.2.3 && < 1.0, lens >= 4.9 && < 4.16, - QuickCheck >= 2.7 && < 2.10, + QuickCheck >= 2.7 && < 2.11, reflection >= 2 && < 2.2, singletons >= 1.0 && < 3.0, template-haskell >= 2.9.0.0 && < 2.12,