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]

Modules

[Index]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0.0.1, 1.0.0.0, 2.0.0.0
Dependencies base (>=4.9 && <4.10), template-haskell (>=2.11 && <2.12) [details]
License MIT
Author klntsky
Maintainer klntsky@gmail.com
Category Language
Uploaded by klntsky at 2017-12-08T10:45:23Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1815 total (9 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-12-08 [all 1 reports]

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.