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

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Holes

Description

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

Synopsis

Documentation

hole :: Q Exp -> Q Exp Source #

Construct a term by given type specification.