hypertypes-0.1.0.2: Typed ASTs
Safe HaskellNone
LanguageHaskell2010

Hyper.Infer

Synopsis

Documentation

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

Perform Hindley-Milner type inference of a term

Exported only for SPECIALIZE pragmas

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