-
Notifications
You must be signed in to change notification settings - Fork 6
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update from Hackage at 2015-05-05T16:20:22+0000
- Loading branch information
1 parent
a39c75a
commit 461332b
Showing
2 changed files
with
187 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,141 @@ | ||
| 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,46 @@ | ||
| name: smaoin | ||
| version: 0.1.0.0 | ||
| synopsis: Utilities for the Smaoin semantic information model. | ||
| description: This package provides basic types and functions for | ||
| working with the Smaoin model in Haskell. But these are | ||
| just fundamentals. Storing, loading, querying and | ||
| application level functions are/will be provided in other | ||
| packages. | ||
| . | ||
| More info about Smaoin: | ||
| . | ||
| http://rel4tion.org/projects/smaoin/ | ||
| homepage: http://rel4tion.org/projects/smaoin-hs/ | ||
| bug-reports: http://rel4tion.org/projects/smaoin-hs/tickets/ | ||
| license: PublicDomain | ||
| license-file: COPYING | ||
| author: fr33domlover | ||
| maintainer: fr33domlover@riseup.net | ||
| copyright: ♡ Copying is an act of love. Please copy, reuse and share. | ||
| category: Data | ||
| build-type: Simple | ||
| extra-source-files: AUTHORS ChangeLog COPYING INSTALL NEWS README | ||
| cabal-version: >=1.10 | ||
|
|
||
| source-repository head | ||
| type: darcs | ||
| location: http://darcs.rel4tion.org/repos/smaoin/ | ||
|
|
||
| library | ||
| exposed-modules: Data.Smaoin | ||
| --other-modules: | ||
| -- other-extensions: | ||
| build-depends: base ==4.7.* | ||
| , bytestring ==0.10.* | ||
| , text ==1.2.* | ||
| hs-source-dirs: src | ||
| default-language: Haskell2010 | ||
|
|
||
| test-suite test | ||
| default-language: Haskell2010 | ||
| type: exitcode-stdio-1.0 | ||
| hs-source-dirs: test | ||
| main-is: test.hs | ||
| build-depends: base ==4.7.* | ||
| , QuickCheck >=2.8 | ||
| , smaoin |