hardware-edsl-0.1.2: hardware-edsl.cabal
name: hardware-edsl
version: 0.1.2
synopsis: Deep embedding of hardware descriptions with code generation.
description: Deep embedding of hardware descriptions with code generation.
license: BSD3
license-file: LICENSE
author: Markus Aronsson <mararon@chalmers.se>
maintainer: mararon@chalmers.se
-- copyright:
homepage: https://github.com/markus-git/hardware-edsl
category: Language
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
source-repository head
type: git
location: git://github.com/markus-git/hardware-edsl
library
exposed-modules:
Language.Embedded.Hardware,
Language.Embedded.Hardware.Expression,
Language.Embedded.Hardware.Expression.Backend.VHDL,
Language.Embedded.Hardware.Expression.Frontend,
Language.Embedded.Hardware.Expression.Hoist,
Language.Embedded.Hardware.Expression.Represent,
Language.Embedded.Hardware.Expression.Represent.Bit,
Language.Embedded.Hardware.Expression.Syntax,
Language.Embedded.Hardware.Interface,
Language.Embedded.Hardware.Command,
Language.Embedded.Hardware.Command.Backend.VHDL,
Language.Embedded.Hardware.Command.CMD,
Language.Embedded.Hardware.Command.Frontend,
Language.Embedded.VHDL,
Language.Embedded.VHDL.Monad,
Language.Embedded.VHDL.Monad.Type,
Language.Embedded.VHDL.Monad.Expression
Language.Embedded.VHDL.Monad.Util
-- Language.Embedded.Hardware.Common.AXI
--other-modules:
other-extensions:
GADTs,
KindSignatures,
TypeFamilies,
TypeOperators,
FlexibleContexts,
FlexibleInstances,
MultiParamTypeClasses,
PolyKinds,
ScopedTypeVariables,
GeneralizedNewtypeDeriving,
ConstraintKinds,
Rank2Types,
StandaloneDeriving,
UndecidableInstances
build-depends:
base >=4.8 && <5,
mtl >=2.2 && <2.3,
array >=0.5 && <0.6,
containers >=0.5 && <0.6,
pretty >=1.1 && <1.2,
bytestring >=0.10 && <0.11,
deepseq >=1.4,
constraints >=0.6,
syntactic >=3.6.1,
operational-alacarte >=0.2,
language-vhdl >=0.1.3
hs-source-dirs:
src
default-language:
Haskell2010