Cabal revisions of clash-prelude-0.7.4
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: clash-prelude-Version: 0.7.4-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 merits of using a functional language to describe hardware comes- from the fact that combinational circuits can be directly modeled as- mathematical functions and that functional languages lend themselves very well- at describing and (de-)composing mathematical functions.- .- 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".-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-2015 University of Twente-Category: Hardware-Build-type: Simple--Extra-source-files: README.md- CHANGELOG.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--Library- HS-Source-Dirs: src-- default-language: Haskell2010- ghc-options: -Wall -fexpose-all-unfoldings-- Exposed-modules: CLaSH.Annotations.TopEntity-- CLaSH.Class.BitPack- CLaSH.Class.Num- CLaSH.Class.Resize-- CLaSH.Prelude- CLaSH.Prelude.BitIndex- CLaSH.Prelude.BitReduction- CLaSH.Prelude.BlockRam- CLaSH.Prelude.DataFlow- CLaSH.Prelude.Explicit- CLaSH.Prelude.Mealy- CLaSH.Prelude.Testbench-- CLaSH.Promoted.Nat- CLaSH.Promoted.Nat.TH- CLaSH.Promoted.Nat.Literals- CLaSH.Promoted.Ord- CLaSH.Promoted.Symbol-- CLaSH.Signal- CLaSH.Signal.Bundle- CLaSH.Signal.Delayed- CLaSH.Signal.Explicit- CLaSH.Signal.Internal-- CLaSH.Sized.BitVector- CLaSH.Sized.Fixed- CLaSH.Sized.Index- 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.Tutorial-- other-extensions: BangPatterns- DataKinds- ConstraintKinds- DefaultSignatures- DeriveDataTypeable- FlexibleContexts- GADTs- GeneralizedNewtypeDeriving- KindSignatures- MagicHash- MultiParamTypeClasses- Rank2Types- ScopedTypeVariables- StandaloneDeriving- TemplateHaskell- TupleSections- TypeFamilies- TypeOperators- UndecidableInstances-- Build-depends: base >= 4.8.0.0 && < 5,- data-default >= 0.5.3,- integer-gmp >= 0.5.1.0,- ghc-prim >= 0.3.1.0,- ghc-typelits-natnormalise >= 0.2,- singletons >= 1.0,- template-haskell >= 2.9.0.0,- th-lift >= 0.5.6--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.10,- Glob >= 0.7 && < 0.8+Name: clash-prelude +Version: 0.7.4 +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 merits of using a functional language to describe hardware comes + from the fact that combinational circuits can be directly modeled as + mathematical functions and that functional languages lend themselves very well + at describing and (de-)composing mathematical functions. + . + 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". +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-2015 University of Twente +Category: Hardware +Build-type: Simple + +Extra-source-files: README.md + CHANGELOG.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 + +Library + HS-Source-Dirs: src + + default-language: Haskell2010 + ghc-options: -Wall -fexpose-all-unfoldings + + Exposed-modules: CLaSH.Annotations.TopEntity + + CLaSH.Class.BitPack + CLaSH.Class.Num + CLaSH.Class.Resize + + CLaSH.Prelude + CLaSH.Prelude.BitIndex + CLaSH.Prelude.BitReduction + CLaSH.Prelude.BlockRam + CLaSH.Prelude.DataFlow + CLaSH.Prelude.Explicit + CLaSH.Prelude.Mealy + CLaSH.Prelude.Testbench + + CLaSH.Promoted.Nat + CLaSH.Promoted.Nat.TH + CLaSH.Promoted.Nat.Literals + CLaSH.Promoted.Ord + CLaSH.Promoted.Symbol + + CLaSH.Signal + CLaSH.Signal.Bundle + CLaSH.Signal.Delayed + CLaSH.Signal.Explicit + CLaSH.Signal.Internal + + CLaSH.Sized.BitVector + CLaSH.Sized.Fixed + CLaSH.Sized.Index + 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.Tutorial + + other-extensions: BangPatterns + DataKinds + ConstraintKinds + DefaultSignatures + DeriveDataTypeable + FlexibleContexts + GADTs + GeneralizedNewtypeDeriving + KindSignatures + MagicHash + MultiParamTypeClasses + Rank2Types + ScopedTypeVariables + StandaloneDeriving + TemplateHaskell + TupleSections + TypeFamilies + TypeOperators + UndecidableInstances + + Build-depends: base >= 4.8.0.0 && < 5, + data-default >= 0.5.3, + integer-gmp >= 0.5.1.0, + ghc-prim >= 0.3.1.0, + ghc-typelits-natnormalise >= 0.2, + singletons >= 1.0 && < 2.0, + template-haskell >= 2.9.0.0, + th-lift >= 0.5.6 + +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.10, + Glob >= 0.7 && < 0.8