ghc-8.0.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

RnTypes

Synopsis

Documentation

collectAnonWildCards :: LHsType Name -> [Name] Source #

Extract all wild cards from a type.

bindLRdrNames :: [Located RdrName] -> ([Name] -> RnM (a, FreeVars)) -> RnM (a, FreeVars) Source #

Simply bring a bunch of RdrNames into scope. No checking for validity, at all. The binding location is taken from the location on each name.

extractFilteredRdrTyVars :: LHsType RdrName -> RnM FreeKiTyVars Source #

Finds free type and kind variables in a type, without duplicates, and without variables that are already in scope in LocalRdrEnv NB: this includes named wildcards, which look like perfectly ordinary type variables at this point

extractHsTysRdrTyVars :: [LHsType RdrName] -> RnM FreeKiTyVars Source #

Extracts free type and kind variables from types in a list. When the same name occurs multiple times in the types, only the first occurence is returned and the rest is filtered out. See Note [Kind and type-variable binders]

extractHsTysRdrTyVarsDups :: [LHsType RdrName] -> RnM FreeKiTyVars Source #

Extracts free type and kind variables from types in a list. When the same name occurs multiple times in the types, all occurences are returned.

rmDupsInRdrTyVars :: FreeKiTyVars -> FreeKiTyVars Source #

Removes multiple occurences of the same name from FreeKiTyVars.