libghc-singletons-doc_2.4.1-2_all.deb


Advertisement

Description

libghc-singletons-doc - Haskell framework for generating singleton types; documentation

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename libghc-singletons-doc_2.4.1-2_all.deb
Package name libghc-singletons-doc
Package version 2.4.1
Package release 2
Package architecture all
Package type deb
Category doc
Homepage https://www.github.com/goldfirere/singletons
License -
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Download size 676.62 KB
Installed size 28.67 MB
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 the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.

Alternatives

Package Version Architecture Repository
libghc-singletons-doc_2.4.1-2_all.deb 2.4.1 all Debian Main
libghc-singletons-doc - - -

Requires

Name Value
haddock-interface-33 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libghc-singletons-doc_2.4.1-2_all.deb
Source Package haskell-singletons

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libghc-singletons-doc deb package:
    # sudo apt-get install libghc-singletons-doc

Files

Path
/usr/lib/ghc-doc/haddock/singletons-2.4.1/singletons.haddock
/usr/lib/ghc-doc/hoogle/libghc-singletons-doc.txt
/usr/share/doc/libghc-singletons-doc/buildinfo_all.gz
/usr/share/doc/libghc-singletons-doc/changelog.Debian.gz
/usr/share/doc/libghc-singletons-doc/changelog.gz
/usr/share/doc/libghc-singletons-doc/copyright
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Base.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Bool.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Either.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Enum.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Eq.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Function.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-IsString.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-List-NonEmpty.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-List.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Maybe.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Num.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Ord.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Show.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Tuple.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude-Void.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-Prelude.html
/usr/share/doc/libghc-singletons-doc/html/Data-Promotion-TH.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-CustomStar.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Decide.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Base.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Bool.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Either.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Enum.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Eq.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Function.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-IsString.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-List-NonEmpty.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-List.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Maybe.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Num.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Ord.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Show.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Tuple.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude-Void.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Prelude.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-ShowSing.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-Sigma.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-SuppressUnusedWarnings.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-TH.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-TypeLits.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons-TypeRepStar.html
/usr/share/doc/libghc-singletons-doc/html/Data-Singletons.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-124.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-126.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-33.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-36.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-37.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-38.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-42.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-43.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-45.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-46.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-47.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-58.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-60.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-61.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-62.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-64.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-92.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-94.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-A.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-All.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-B.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-C.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-D.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-E.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-F.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-G.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-H.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-I.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-J.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-K.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-L.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-M.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-N.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-O.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-P.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-Q.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-R.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-S.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-T.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-U.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-V.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-W.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-X.html
/usr/share/doc/libghc-singletons-doc/html/doc-index-Z.html
/usr/share/doc/libghc-singletons-doc/html/doc-index.html
/usr/share/doc/libghc-singletons-doc/html/haddock-bundle.min.js
/usr/share/doc/libghc-singletons-doc/html/hslogo-16.png
/usr/share/doc/libghc-singletons-doc/html/index.html
/usr/share/doc/libghc-singletons-doc/html/meta.json
/usr/share/doc/libghc-singletons-doc/html/minus.gif
/usr/share/doc/libghc-singletons-doc/html/ocean.css
/usr/share/doc/libghc-singletons-doc/html/plus.gif
/usr/share/doc/libghc-singletons-doc/html/quick-jump.css
/usr/share/doc/libghc-singletons-doc/html/singletons.txt
/usr/share/doc/libghc-singletons-doc/html/synopsis.png
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Base.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Bool.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Either.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Enum.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Eq.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Function.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.IsString.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.List.NonEmpty.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.List.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Maybe.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Num.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Ord.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Show.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Tuple.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.Void.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.Prelude.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Promotion.TH.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.CustomStar.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Decide.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Deriving.Bounded.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Deriving.Enum.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Deriving.Infer.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Deriving.Ord.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Deriving.Show.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Internal.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Names.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Partition.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Base.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Bool.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Either.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Enum.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Eq.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Function.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Instances.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.IsString.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.List.NonEmpty.Internal.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.List.NonEmpty.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.List.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Maybe.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Num.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Ord.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Show.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Tuple.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.Void.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Prelude.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Promote.Defun.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Promote.Eq.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Promote.Monad.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Promote.Type.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Promote.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.ShowSing.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Sigma.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Single.Data.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Single.Eq.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Single.Fixity.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Single.Monad.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Single.Type.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Single.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.SuppressUnusedWarnings.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Syntax.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.TH.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.TypeLits.Internal.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.TypeLits.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.TypeRepStar.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.Util.html
/usr/share/doc/libghc-singletons-doc/html/src/Data.Singletons.html
/usr/share/doc/libghc-singletons-doc/html/src/highlight.js
/usr/share/doc/libghc-singletons-doc/html/src/style.css

Changelog

2018-12-08 - Sean Whitton <spwhitton@spwhitton.name>
haskell-singletons (2.4.1-2) unstable; urgency=medium
* Declare compliance with Debian Policy 4.2.1.
- Priority optional->extra
- Use https in Format: field in d/copyright.
* Better package description.
* Drop broken Vcs-* fields.
* Use https in Homepage: and in d/watch.
2018-12-07 - Sean Whitton <spwhitton@spwhitton.name>
haskell-singletons (2.4.1-1) unstable; urgency=medium
* Initial release

See Also

Package Description
libghc-singletons-prof_2.4.1-2_i386.deb Haskell framework for generating singleton types; profiling libraries
libghc-skein-dev_1.0.9.4-5+b2_i386.deb family of cryptographic hash functions
libghc-skein-doc_1.0.9.4-5_all.deb family of cryptographic hash functions; documentation
libghc-skein-prof_1.0.9.4-5+b2_i386.deb family of cryptographic hash functions; profiling libraries
libghc-skylighting-core-dev_0.7.5-1_i386.deb syntax highlighting library
libghc-skylighting-core-doc_0.7.5-1_all.deb syntax highlighting library; documentation
libghc-skylighting-core-prof_0.7.5-1_i386.deb syntax highlighting library; profiling libraries
libghc-skylighting-dev_0.7.5-1_i386.deb syntax highlighting library
libghc-skylighting-doc_0.7.5-1_all.deb syntax highlighting library; documentation
libghc-skylighting-prof_0.7.5-1_i386.deb syntax highlighting library; profiling libraries
libghc-smallcheck-dev_1.1.5-2+b2_i386.deb Another lightweight testing library
libghc-smallcheck-doc_1.1.5-2_all.deb Another lightweight testing library; documentation
libghc-smallcheck-prof_1.1.5-2+b2_i386.deb Another lightweight testing library; profiling libraries
libghc-smtlib-dev_1.0.9-2+b2_i386.deb A library for working with the SMTLIB format
libghc-smtlib-doc_1.0.9-2_all.deb A library for working with the SMTLIB format.; documentation
Advertisement
Advertisement