haskell-holes-th-0.0.0.1: Infer haskell code by given type.
Language.Haskell.Holes
Synopsis
(-->) :: (TypeDefClass a, TypeDefClass b) => a -> b -> TypeDef infixr 6 Source #
Type constructor wrapper.
hole :: TypeDefClass a => a -> Q Exp Source #
Construct a term by given specification.
holeWith :: TypeDefClass a => [(Term, TypeDef)] -> a -> Q Exp Source #
Construct a term by given specification and additional context
internals :: [(Term, TypeDef)] Source #
Initial context.
data Term Source #
Data type for lambda-terms.
Constructors