معرفی شرکت ها
libghc-singletons-dev_2.4.1-2_arm64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Haskell framework for generating singleton types
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main arm64 |
| نام بسته | libghc-singletons-dev |
| نام فایل بسته | libghc-singletons-dev_2.4.1-2_arm64.deb |
| نسخه بسته | 2.4.1 |
| انتشار بسته | 2 |
| معماری بسته | arm64 |
| نگهدارنده | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://www.github.com/goldfirere/singletons |
| مجوز | - |
| حجم دانلود | 2411840 |
| حجم نصب | 32741 |
This library generates singleton types, promoted functions, and singleton
functions using Template Haskell. It is useful for programmers who wish
to use dependently typed programming techniques. The library was originally
presented in /Dependently Typed Programming with Singletons/, published
at the Haskell Symposium, 2012.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libghc-singletons-dev_2.4.1-2+b1_armel.deb | 2.4.1 | armel | Debian main |
| libghc-singletons-dev_2.4.1-2_amd64.deb | 2.4.1 | amd64 | Debian main |
| libghc-singletons-dev_2.4.1-2_armhf.deb | 2.4.1 | armhf | Debian main |
| libghc-singletons-dev_2.4.1-2_i386.deb | 2.4.1 | i386 | Debian main |
| libghc-singletons-dev_2.4.1-2_mips.deb | 2.4.1 | mips | Debian main |
| libghc-singletons-dev_2.4.1-2_mips64el.deb | 2.4.1 | mips64el | Debian main |
| libghc-singletons-dev_2.4.1-2_mipsel.deb | 2.4.1 | mipsel | Debian main |
| libghc-singletons-dev_2.4.1-2_ppc64el.deb | 2.4.1 | ppc64el | Debian main |
| libghc-singletons-dev_2.4.1-2_s390x.deb | 2.4.1 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libghc-base-dev-4.11.1.0-7db1a |
| - | libghc-containers-dev-0.5.11.0-1b029 |
| - | libghc-ghc-boot-th-dev-8.4.4-d8bd5 |
| - | libghc-mtl-dev-2.2.2-28a8b |
| - | libghc-syb-dev-0.7-eee7c |
| - | libghc-template-haskell-dev-2.13.0.0-50e9c |
| - | libghc-text-dev-1.2.3.1-89382 |
| - | libghc-th-desugar-dev-1.8-43088 |
| - | libghc-transformers-dev-0.5.5.0-b5d2f |
| >= 4.8 | libatomic1 |
| >= 2.17 | libc6 |
| - | libgmp10 |
نحوه نصب
نصب پکیج deb libghc-singletons-dev:
sudo apt-get install libghc-singletons-dev_2.4.1-2_arm64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/libHSsingletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG-ghc8.4.4.so |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Base.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Base.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Bool.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Bool.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Either.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Either.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Enum.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Enum.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Eq.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Eq.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Function.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Function.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/IsString.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/IsString.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/List/NonEmpty.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/List/NonEmpty.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/List.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/List.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Maybe.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Maybe.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Num.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Num.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Ord.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Ord.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Show.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Show.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Tuple.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Tuple.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Void.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude/Void.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/Prelude.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/TH.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Promotion/TH.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/CustomStar.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/CustomStar.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Decide.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Decide.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Bounded.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Bounded.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Enum.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Enum.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Infer.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Infer.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Ord.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Ord.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Show.dyn_hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Deriving/Show.hi |
| ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.4.4/singletons-2.4.1-9v5YnkFd6yPEwMVaLSpXLG/Data/Singletons/Internal.dyn_hi |
| ... and 92 more |