Stan.Hie.MatchType

Some Inspections require to know about types and some mechanism to match types to the given PatternType. This information on types/type expressions is taken from HIE files in a more suitable view.

Let's take a look at the function foo:

foo :: NonEmpty String -> Int

In HIE files it will be stored as an Array like this:

  1 -> Int      []
  2 -> String   []
  3 -> NonEmpty [ 2 ]
  4 -> FunType    3 1

This module contains an implementation of the process of retrieval of this information from there.

Documentation

hieMatchPatternType

Arguments

:: Array TypeIndex HieTypeFlat

Array of all types in HIE file

-> PatternType

Our search query

-> TypeIndex

Index of the current expression type

-> Bool

If matched type is found

Matching function that searches the array of types recursively.