| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
AST.Infer
Synopsis
- infer :: forall m t a. Infer m t => Tree (Ann a) t -> m (Tree (ITerm a (UVarOf m)) t)
- module AST.Class.Infer
- module AST.Class.Infer.Env
- module AST.Class.Infer.InferOf
- module AST.Infer.ScopeLevel
- module AST.Infer.Term
- inferH :: Infer m t => Tree (Ann a) t -> Tree (InferChild m (ITerm a (UVarOf m))) t
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
module AST.Class.Infer
module AST.Class.Infer.Env
module AST.Class.Infer.InferOf
module AST.Infer.ScopeLevel
module AST.Infer.Term
Exported only for SPECIALIZE pragmas