Janiczek/elm-syntax-type-inference/1.1.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.

empty : TypeLookupTable

An empty lookup table. Not for direct use.

Useful for when a value of this type is needed to satisfy the compiler but will never be used.