Name: clash-prelude Version: 0.7.3 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 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.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