dev-haskell/djinn-lib

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

Versions

Slot Version Repository Platforms
0.0.1.2 0.0.1.2 haskell-unofficial ~amd64 arm? armv7? armv8? x86?

Metadata

Homepage http://www.augustsson.net/Darcs/Djinn/
Summary Generate Haskell code from a type. Library extracted from djinn package.
Description 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.
Dependencies (
    (
        (
            build+run:
            dev-haskell/containers:=[profile?]
            dev-haskell/mtl:=[profile?]
            dev-haskell/pretty:=[profile?]
        )
    )
    (
        install:
        app-admin/eclectic[>=2.0.13]
    )
    (
        build+run:
        dev-lang/ghc:=[>=6.10.1]
    )
    (
        build:
        hscolour? (
            dev-haskell/hscolour
        )
    )
)
Downloads https://hackage.haskell.org/package/djinn-lib-0.0.1.2/djinn-lib-0.0.1.2.tar.gz
Licences BSD-3

Choices

OPTIONS

doc Adds extra documentation (API, Javadoc, etc)
hscolour Include links to pretty-printed source code in documentation.
profile Add profiling support to Haskell libraries.