haskell-holes-th-1.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 the code from type definitions using TemplateHaskell.

Synopsis

Documentation

hole :: Q Exp -> Q Exp Source #

Construct a term by given specification.

holeWith :: ContextLike c => c -> Q Exp -> Q Exp Source #

Construct a term by given specification and additional context

defaultContext :: [(Q Exp, Type)] Source #