dev-haskell / djinn-ghc

Generate Haskell code from a type. Bridge from Djinn to GHC API

Official package sites : http://hackage.haskell.org/package/djinn-ghc ·

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is the bridge from djinn-lib to GHC API.

v0.0.2.3 :: 0/0.0.2.3 :: 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 / async : Run IO operations asynchronously and wait for their results

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

dev-haskell / djinn-lib : Generate Haskell code from a type. Library extracted from djinn package

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-haskell / transformers : Concrete functor and monad transformers

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / async : Run IO operations asynchronously and wait for their results

dev-haskell / djinn-lib : Generate Haskell code from a type. Library extracted from djinn package

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

dev-haskell / transformers : Concrete functor and monad transformers

dev-lang / ghc : The Glasgow Haskell Compiler

app-emacs / ghc-mod : Happy Haskell Programming

Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Inline mirror://hackage and update URIs
This change inlines mirror://hackage in all ebuilds, and updates URIs to the modern form (old URIs redirect to that). The change has been made using the following command: find -name '*.ebuild' -exec sed -r -i \ -e 's@mirror://hackage/@https://hackage.haskell.org/@g' \ -e 's@https://hackage.haskell.org/packages/archive/([^/]*)/([^/]*)/@https://hackage.haskell.org/package/\1-\2/@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{PV}@${P}@g' \ -e '/hackage\.haskell\.org/s@\$\{MY_PN}-\$\{PV}@${MY_P}@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{MY_PV}@${MY_P}@g' \ {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
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-ghc: new package
"Generate Haskell code from a type. Bridge from Djinn to GHC API", a depend of app-emacs/ghc-mod Bug: https://bugs.gentoo.org/show_bug.cgi?id=476352 Package-Manager: portage-2.2.23