Janiczek/elm-syntax-type-inference/1.0.0

NOTE: the latest version is 2.0.1

TypeLookupTable

type alias TypeLookupTable =
TypeLookupTable

A lazy lookup table: after the initial collection of type equations is done in Elm.TypeInference.inferModule, we compute the type on demand when the user calls TypeLookupTable.get.

get : Range -> TypeLookupTable -> ( Maybe Type, TypeLookupTable )

Look up the inferred Type for a source Range.

Only exact ranges given by Node.range of AST nodes inside the input Elm.Syntax.Files are recorded. There is no overlap matching.