helium-1.8.1: The Helium Compiler.
Helium.StaticAnalysis.Inferencers.ExpressionTypeInferencer
Description
expressionTypeInferencer :: ImportEnvironment -> Expression -> (TpScheme, Assumptions, TypeErrors) Source