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] [Publish]

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


[Skip to Readme]

Properties

Versions 0.0.0.1, 0.0.0.1, 1.0.0.0, 2.0.0.0
Change log None available
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:44:01Z

Modules

[Index]

Downloads

Maintainer's Corner

Package maintainers

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.