MatchSigs.ProcessHie

Documentation

type SigMap = AppendMap [Sig ()] MatchedSigs

newtype MatchedSigs

Constructors

MatchedSigs

Fields

• getMatchedSigs :: [SigMatches]

Instances

Monoid MatchedSigs

Defined in MatchSigs.Matching

Methods

mempty :: MatchedSigs

mappend :: MatchedSigs -> MatchedSigs -> MatchedSigs

mconcat :: [MatchedSigs] -> MatchedSigs

Semigroup MatchedSigs

Defined in MatchSigs.Matching

Methods

(<>) :: MatchedSigs -> MatchedSigs -> MatchedSigs

sconcat :: NonEmpty MatchedSigs -> MatchedSigs

stimes :: Integral b => b -> MatchedSigs -> MatchedSigs

mkSigMap :: DynFlags -> HieAST HieTypeFix -> SigMap

Collect all the function definitions in the HieAST that have isomorphic type signatures.