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

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

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


[Skip to ReadMe]

Properties

Versions0.0.0.1, 0.0.0.1, 1.0.0.0
Change logNone available
Dependenciesbase (==4.9.*), template-haskell (==2.11.*) [details]
LicenseMIT
Authorklntsky
Maintainerklntsky@gmail.com
CategoryLanguage
UploadedFri Dec 8 10:44:01 UTC 2017 by klntsky

Modules

[Index]

Downloads

Maintainers' 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.