dev-haskell / djinn-lib

Generate Haskell code from a type. Library extracted from djinn package

Official package sites : http://www.augustsson.net/Darcs/Djinn/ ·

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.

v0.0.1.2 :: 0/0.0.1.2 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
doc hscolour profile

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
hscolour
Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
profile
Add support for software performance analysis (will likely vary from ebuild to ebuild)

dev-haskell / cabal : A framework for packaging Haskell software

dev-haskell / haddock : A documentation-generation tool for Haskell libraries

dev-haskell / hscolour : Colourise Haskell code

dev-haskell / mtl : Monad classes, using functional dependencies

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / mtl : Monad classes, using functional dependencies

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / djinn-ghc : Generate Haskell code from a type. Bridge from Djinn to GHC API

Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Sergei Trofimovich · gentoo
dev-haskell/djinn-lib: new package
"Generate Haskell code from a type. Library extracted from djinn package", a depend of app-emacs/ghc-mod Bug: https://bugs.gentoo.org/show_bug.cgi?id=476352 Package-Manager: portage-2.2.23