Name: clash-lib Version: 0.5.6 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 merits of using a functional language to describe hardware comes from the fact that combinational circuits can be directly modelled as mathematical functions and that functional languages lend themselves very well at describing and (de-)composing mathematical functions. . 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: . * . * . . Prelude library: 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 Copyright: Copyright © 2012-2015 University of Twente 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 Build-depends: aeson >= 0.6.2.0, attoparsec >= 0.10.4.0, base >= 4.8 && < 5, bytestring >= 0.10.0.2, clash-prelude >= 0.8, concurrent-supply >= 0.1.7, containers >= 0.5.0.0, deepseq >= 1.3.0.2, directory >= 1.2.0.1, errors >= 1.4.2, fgl >= 5.4.2.4, filepath >= 1.3.0.1, hashable >= 1.2.1.0, lens >= 3.9.2, mtl >= 2.1.2, pretty >= 1.1.1.0, process >= 1.1.0.2, template-haskell >= 2.8.0.0, text >= 0.11.3.1, time >= 1.4.0.1, transformers >= 0.3.0.0, unbound-generics >= 0.1 && < 0.2, unordered-containers >= 0.2.3.3, uu-parsinglib >= 2.8.1, wl-pprint-text >= 1.1.0.0 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.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 Paths_clash_lib Unbound.Generics.LocallyNameless.Extra