syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Infer

Synopsis

Documentation

infer :: forall m t a. Infer m t => Tree (Ann a) t -> m (Tree (ITerm a (UVarOf m)) t) Source #

Perform Hindley-Milner type inference of a term

Exported only for SPECIALIZE pragmas

inferH :: Infer m t => Tree (Ann a) t -> Tree (InferChild m (ITerm a (UVarOf m))) t Source #