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

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

See all snapshots djinn-ghc appears in

BSD-3-Clause licensed by Alejandro Serrano
Maintained by
This version can be pinned in stack with:djinn-ghc-,816

Module documentation for

Used by 1 package in nightly-2014-12-14(full list with versions):

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.