معرفی شرکت ها
libghc-clash-lib-doc_1.6.4-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Functional hardware description language - library; documentation
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | libghc-clash-lib-doc |
| نام فایل بسته | libghc-clash-lib-doc_1.6.4-1_all.deb |
| نسخه بسته | 1.6.4 |
| انتشار بسته | 1 |
| معماری بسته | all |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://clash-lang.org/ |
| مجوز | - |
| حجم دانلود | 1302832 |
| حجم نصب | 30166 |
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://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>
.
* <https://github.com/christiaanb/Idris-dev Idris Frontend>
.
Prelude library: <https://hackage.haskell.org/package/clash-prelude>
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
نیازمندی
| مقدار | نام |
|---|---|
| - | haddock-interface-38 |
نحوه نصب
نصب پکیج deb libghc-clash-lib-doc:
sudo apt-get install libghc-clash-lib-doc_1.6.4-1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ghc-doc/haddock/clash-lib-1.6.4/clash-lib.haddock |
| ./usr/share/doc/libghc-clash-lib-doc/buildinfo_all.gz |
| ./usr/share/doc/libghc-clash-lib-doc/changelog.Debian.gz |
| ./usr/share/doc/libghc-clash-lib-doc/changelog.gz |
| ./usr/share/doc/libghc-clash-lib-doc/copyright |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Annotations-BitRepresentation-ClashLib.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Backend-SystemVerilog.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Backend-VHDL.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Backend-Verilog.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Backend.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-DataCon.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-EqSolver.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Evaluator-Types.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-FreeVars.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-HasFreeVars.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-HasType.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Literal.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Name.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-PartialEval-AsTerm.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-PartialEval-Monad.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-PartialEval-NormalForm.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-PartialEval.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Pretty.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Subst.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Term.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-TermInfo.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-TermLiteral-TH.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-TermLiteral.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-TyCon.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Type.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-TysPrim.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Util.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-Var.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Core-VarEnv.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Debug.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Driver-Manifest.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Driver-Types.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Driver.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Edalize-Edam.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-BlackBox-Parser.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-BlackBox-Types.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-BlackBox-Util.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-BlackBox.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-Id-Common.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-Id-Internal.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-Id-SystemVerilog.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-Id-VHDL.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-Id-Verilog.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-Id.html |
| ./usr/share/doc/libghc-clash-lib-doc/html/Clash-Netlist-Types.html |
| ... and 186 more |