libghc-clash-lib-dev 1.6.4-1 (amd64 binary) in ubuntu lunar
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:
.
* 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:
.
* <https:/
.
* <https:/
.
Prelude library: <https:/
.
This package provides a library for the Haskell programming language.
See http://
Details
- Package version:
- 1.6.4-1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
- libghc-clash-lib-dev_1.6.4-1_amd64.deb (4.8 MiB)
Package relationships
- Depends on:
- libc6 (>= 2.14)
- libghc-aeson-dev-2.0.3.0-81c12
- libghc-aeson-pretty-dev-0.8.9-f3daa
- libghc-ansi-terminal-dev-0.11.3-698ba
- libghc-array-dev-0.5.4.0-0b6fa
- libghc-async-dev-2.2.4-7edea
- libghc-attoparsec-dev-0.14.4-9b901
- libghc-base-dev-4.15.1.0-6a406
- libghc-base16-bytestring-dev-1.0.2.0-ab752
- libghc-binary-dev-0.8.8.0-507cc
- libghc-bytestring-dev-0.10.12.1-ced9a
- libghc-clash-prelude-dev-1.6.4-a090b
- libghc-concurrent-supply-dev-0.1.8-5f176
- libghc-containers-dev-0.6.4.1-31c3b
- libghc-cryptohash-sha256-dev-0.11.102.1-2acd1
- libghc-data-binary-ieee754-dev-0.4.4-bdd42
- libghc-data-default-dev-0.7.1.1-6d3b3
- libghc-deepseq-dev-1.4.5.0-118cf
- libghc-directory-dev-1.3.6.2-311c9
- libghc-dlist-dev-1.0-366f6
- libghc-exceptions-dev-0.10.4-c14ff
- libghc-extra-dev-1.7.12-1f098
- libghc-filepath-dev-1.4.2.1-4459f
- libghc-ghc-bignum-dev-1.1-04f6d
- libghc-ghc-boot-th-dev-9.0.2-364be
- libghc-ghc-dev-9.0.2-740f7
- libghc-hashable-dev-1.3.5.0-3fad8
- libghc-haskell-src-meta-dev-0.8.11-e0954
- libghc-hint-dev-0.9.0.6-83df0
- libghc-interpolate-dev-0.2.1-e5efd
- libghc-lens-dev-5.0.1-778f9
- libghc-mtl-dev-2.2.2-e3bae
- libghc-ordered-containers-dev-0.2.2-8b64c
- libghc-pretty-show-dev-1.10-631e6
- libghc-prettyprinter-dev-1.7.1-c341b
- libghc-primitive-dev-0.7.3.0-1f691
- libghc-template-haskell-dev-2.17.0.0-7274a
- libghc-temporary-dev-1.3-5f386
- libghc-terminal-size-dev-0.3.3-92935
- libghc-text-dev-1.2.5.0-8553e
- libghc-time-dev-1.9.3-bda76
- libghc-transformers-dev-0.5.6.2-fc6f3
- libghc-trifecta-dev-2.1.2-6e720
- libghc-unordered-containers-dev-0.2.17.0-4df9d
- libghc-vector-binary-instances-dev-0.2.5.2-49418
- libghc-vector-dev-0.12.3.1-f377c
- libghc-yaml-dev-0.11.8.0-c57e0
- libgmp10 (>= 2:6.2.1+dfsg1)
- libtinfo6 (>= 6)
- libyaml-0-2
- Provides:
- libghc-clash-lib-dev-1.6.4-1b87a