deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libghc-array-dev-0.5.6.0-65c23, libghc-arrows-dev-0.4.4.2-7b6dc, libghc-base-dev-4.18.2.1-75247,
libghc-binary-dev-0.8.9.1-88a2a, libghc-bytestring-dev-0.11.5.3-31c85, libghc-constraints-dev-0.14.2-f1887,
libghc-containers-dev-0.6.7-3eda8, libghc-data-binary-ieee754-dev-0.4.4-a40b8,
libghc-data-default-class-dev-0.1.2.0-dbf0e, libghc-deepseq-dev-1.4.8.1-71feb,
libghc-extra-dev-1.7.16-00637, libghc-ghc-bignum-dev-1.3-ff2dd, libghc-ghc-prim-dev-0.10.0-e2193,
libghc-ghc-typelits-extra-dev-0.4.7-3ad02, libghc-ghc-typelits-knownnat-dev-0.7.12-1c6d6,
libghc-ghc-typelits-natnormalise-dev-0.7.10-5de26, libghc-half-dev-0.3.1-c5112,
libghc-hashable-dev-1.4.4.0-3ee83, libghc-infinite-list-dev-0.1.1-c5748, libghc-lens-dev-5.2.3-9e387,
libghc-mtl-dev-2.3.1-f8119, libghc-quickcheck-dev-2.14.3-1e824, libghc-recursion-schemes-dev-5.2.3-6c031,
libghc-reflection-dev-2.1.8-294f7, libghc-singletons-dev-3.0.3-26f51, libghc-string-interpolate-dev-0.3.4.0-5d07f,
libghc-template-haskell-dev-2.20.0.0-a6103, libghc-text-dev-2.0.2-edcc7, libghc-th-abstraction-dev-0.5.0.0-ba92f,
libghc-th-lift-dev-0.8.4-5b668, libghc-th-orphans-dev-0.13.14-6531a, libghc-time-dev-1.12.2-a9ccc,
libghc-transformers-dev-0.6.1.0-5335d, libghc-type-errors-dev-0.2.0.2-c32b1, libghc-uniplate-dev-1.6.13-3d663,
libghc-vector-dev-0.13.1.0-c924b, libc6 (>= 2.17), libgmp10 (>= 2:6.3.0+dfsg)
Description: |-
Functional hardware description language - Prelude library
Clash is a functional hardware description language that borrows both its
syntax and semantics from the functional programming language Haskell. The
Clash compiler transforms these high-level descriptions to low-level
synthesizable VHDL, Verilog, or SystemVerilog.
.
Features of Clash:
.
* Strongly typed, but with a very high degree of type inference, enabling both
safe and fast prototyping using concise descriptions.
.
* Interactive REPL: load your designs in an interpreter and easily test all
your component without needing to setup a test bench.
.
* Higher-order functions, with type inference, result in designs that are
fully parametric by default.
.
* Synchronous sequential circuit design based on streams of values, called
@Signal@s, lead to natural descriptions of feedback loops.
.
* Support for multiple clock domains, with type safe clock domain crossing.
.
This package provides:
.
* Prelude library containing datatypes and functions for circuit design
.
To use the library:
.
* Import "Clash.Prelude"
.
* Alternatively, if you want to explicitly route clock and reset ports,
for more straightforward multi-clock designs, you can import the
"Clash.Explicit.Prelude" module. Note that you should not import
"Clash.Prelude" and "Clash.Explicit.Prelude" at the same time as they
have overlapping definitions.
.
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".
Some circuit examples can be found in "Clash.Examples".
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: clash-prelude-1.8.1-ClHkODNlVfp2rfRMxc4YdP
Homepage: https://clash-lang.org/
Installed-Size: '37976'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: libghc-clash-prelude-dev
Priority: optional
Provides: libghc-clash-prelude-dev-1.8.1-79a51
Section: haskell
Source: haskell-clash-prelude (1.8.1-2)
Version: 1.8.1-2+b1
srcpkg_name: haskell-clash-prelude
srcpkg_version: 1.8.1-2