Paket: libghc-singletons-dev (2.4.1-2)

[ Quellcode: haskell-singletons  ]

Haskell framework for generating singleton types

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.

Andere Pakete mit Bezug zu libghc-singletons-dev

• dep: libatomic1 (>= 4.8)

  Hilfsbibliothek, die atomare (__atomic) Built-in-Funktionen zur Verfügung stellt

• dep: libc6 (>= 2.4)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libghc-base-dev-4.11.1.0-b951c

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-containers-dev-0.5.11.0-35743

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-ghc-boot-th-dev-8.4.4-61b67

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-mtl-dev-2.2.2-46dc9

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-syb-dev-0.7-44ec9

  virtuelles Paket, bereitgestellt durch libghc-syb-dev

• dep: libghc-template-haskell-dev-2.13.0.0-06eb4

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-text-dev-1.2.3.1-d3c2e

  virtuelles Paket, bereitgestellt durch ghc

• dep: libghc-th-desugar-dev-1.8-7f88d

  virtuelles Paket, bereitgestellt durch libghc-th-desugar-dev

• dep: libghc-transformers-dev-0.5.5.0-3e0fa

  virtuelles Paket, bereitgestellt durch ghc

• dep: libgmp10

  Mehrfachgenaue, arithmetische Bibliothek

• sug: libghc-singletons-doc

  Haskell framework for generating singleton types; documentation

• sug: libghc-singletons-prof

  Haskell framework for generating singleton types; profiling libraries

libghc-singletons-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
armhf	2.179,3 kB	27.984,0 kB	[Liste der Dateien]