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

Version on this page:
LTS Haskell 20.23:
Stackage Nightly 2023-05-29:
Latest on Hackage:

See all snapshots djinn-lib appears in

BSD-3-Clause licensed by Lennart Augustsson
Maintained by
This version can be pinned in stack with:djinn-lib-,918

Module documentation for

  • Djinn
    • Djinn.HCheck
    • Djinn.HTypes
    • Djinn.LJT
    • Djinn.LJTFormula
Used by 1 package in lts-0.7(full list with versions):

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.