libghc-clash-prelude-dev 1.8.1-1build1 (amd64 binary) in ubuntu noble
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.
"Clash.Prelude" and "Clash.
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://
Details
- Package version:
- 1.8.1-1build1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
Package relationships
- Depends on:
- libc6 (>= 2.2.5)
- libghc-array-dev-0.5.4.0-0952c
- libghc-arrows-dev-0.4.4.2-652ec
- libghc-base-dev-4.17.2.0-68dfe
- libghc-binary-dev-0.8.9.1-6a9d2
- libghc-bytestring-dev-0.11.5.2-6590e
- libghc-constraints-dev-0.13.4-64d0b
- libghc-containers-dev-0.6.7-a1650
- libghc-data-binary-ieee754-dev-0.4.4-14eb6
- libghc-data-default-class-dev-0.1.2.0-50c88
- libghc-deepseq-dev-1.4.8.0-ddf16
- libghc-extra-dev-1.7.14-7ef35
- libghc-ghc-bignum-dev-1.3-90d8c
- libghc-ghc-prim-dev-0.9.1-ca9fc
- libghc-ghc-typelits-extra-dev-0.4.6-f94b2
- libghc-ghc-typelits-knownnat-dev-0.7.9-f6a8f
- libghc-ghc-typelits-natnormalise-dev-0.7.9-da8e4
- libghc-half-dev-0.3.1-6d375
- libghc-hashable-dev-1.4.3.0-e937e
- libghc-infinite-list-dev-0.1-61ebe
- libghc-lens-dev-5.2.3-d45d6
- libghc-mtl-dev-2.2.2-6f39a
- libghc-quickcheck-dev-2.14.3-69b0e
- libghc-recursion-schemes-dev-5.2.2.4-a4ec8
- libghc-reflection-dev-2.1.7-4317f
- libghc-singletons-dev-3.0.2-d497b
- libghc-string-interpolate-dev-0.3.2.1-8bbfe
- libghc-template-haskell-dev-2.19.0.0-a5ee2
- libghc-text-dev-2.0.2-0847e
- libghc-th-abstraction-dev-0.4.5.0-843c5
- libghc-th-lift-dev-0.8.4-e81ed
- libghc-th-orphans-dev-0.13.14-56071
- libghc-time-dev-1.12.2-491a0
- libghc-transformers-dev-0.5.6.2-931c3
- libghc-type-errors-dev-0.2.0.2-165c8
- libghc-uniplate-dev-1.6.13-e4d40
- libghc-vector-dev-0.13.1.0-1ffee
- libgmp10 (>= 2:6.3.0+dfsg)
- libtinfo6 (>= 6)
- Provides:
- libghc-clash-prelude-dev-1.8.1-8f098