haskell-holes-th: Infer haskell code by given type.

[ language, library, mit ] [ Propose Tags ]

TIP solver for simply typed lambda calculus to automatically infer the code from type definitions using TemplateHaskell.


[Skip to Readme]
Versions [faq] 0.0.0.1, 1.0.0.0, 2.0.0.0
Dependencies base (==4.9.*), template-haskell (==2.11.*) [details]
License MIT
Author klntsky
Maintainer klntsky@gmail.com
Category Language
Uploaded by klntsky at Fri Dec 8 10:45:23 UTC 2017
Distributions NixOS:2.0.0.0
Downloads 799 total (50 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2017-12-08 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for haskell-holes-th-0.0.0.1

[back to package description]

haskell-holes-th

TIP solver for simply typed lambda calculus to automatically infer the code from type definitions using TemplateHaskell.

Usage

See Test.hs for example usage.