clash-lib-0.2.1: clash-lib.cabal

Name:                 clash-lib
Version:              0.2.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 modeled 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
  .
  * VHDL Backend
  .
  * Blackbox/Primitive Handling
  .
  .
  Front-ends (for: parsing, typecheck, etc.) are provided by seperate packages:
  .
  * <https://github.com/christiaanb/Idris-dev Idris Frontend>
  .
  * <https://github.com/christiaanb/clash2 GHC/Haskell Frontend>
Homepage:             http://christiaanb.github.io/clash2
bug-reports:          http://github.com/christiaanb/clash2/issues
License:              OtherLicense
License-file:         LICENSE
Author:               Christiaan Baaij
Maintainer:           Christiaan Baaij <christiaan.baaij@gmail.com>
Copyright:            Copyright (c) 2012-2014 University of Twente
Category:             Hardware
Build-type:           Simple

Extra-source-files:   README.md

Cabal-version:        >=1.10

source-repository head
  type: git
  location: https://github.com/christiaanb/clash2.git

Library
  HS-Source-Dirs:     src

  default-language:   Haskell2010
  ghc-options:        -O2 -Wall -fwarn-tabs

  Build-depends:      aeson                   >= 0.6.2.0,
                      attoparsec              >= 0.10.4.0,
                      base                    >= 4.6.0.1 && < 5,
                      bytestring              >= 0.10.0.2,
                      concurrent-supply       >= 0.1.7,
                      containers              >= 0.5.0.0,
                      contravariant           >= 0.4.4,
                      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,
                      ListLike                >= 4.0.0,
                      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                 >= 0.4.2,
                      unordered-containers    >= 0.2.3.3,
                      uu-parsinglib           >= 2.8.1,
                      wl-pprint-text          >= 1.1.0.0

  Exposed-modules:    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.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.Netlist.VHDL

                      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