dev-haskell/djinn-ghc

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

Versions

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

Metadata

Homepage	https://hackage.haskell.org/package/djinn-ghc
Summary	Generate Haskell code from a type. Bridge from Djinn to GHC API.
Description	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.
Dependencies	( ( ( build+run: dev-haskell/async:=[profile?] dev-haskell/containers:=[profile?] dev-haskell/djinn-lib:=[>=0.0.1.2][profile?] dev-haskell/mtl:=[profile?] dev-haskell/transformers:=[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-ghc-0.0.2.3/djinn-ghc-0.0.2.3.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.