djinn-ghc

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

Version on this page:	0.0.2.2
LTS Haskell 11.22:	0.0.2.3
Stackage Nightly 2018-03-12:	0.0.2.3
Latest on Hackage:	0.0.2.3

See all snapshots djinn-ghc appears in

BSD-3-Clause licensed by Alejandro Serrano

Maintained by [email protected]

This version can be pinned in stack with:djinn-ghc-0.0.2.2@sha256:4c38c6a101647046d6906f8152ab74d51b60edba94bb3f05b6e5b579c9684c4a,816

Module documentation for 0.0.2.2

Djinn
- Djinn.GHC

Depends on 7 packages(full list with versions):

async, base, containers, djinn-lib, ghc, mtl, transformers

Used by 1 package in lts-0.7(full list with versions):

ghc-mod

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.