ghc-7.6.3: The GHC API

Safe Haskell | None

RnTypes

# Documentation

rnHsType :: HsDocContext -> HsType RdrName -> RnM (HsType Name, FreeVars)

rnLHsType :: HsDocContext -> LHsType RdrName -> RnM (LHsType Name, FreeVars)

rnLHsTypes :: HsDocContext -> [LHsType RdrName] -> RnM ([LHsType Name], FreeVars)

rnContext :: HsDocContext -> LHsContext RdrName -> RnM (LHsContext Name, FreeVars)

rnHsKind :: HsDocContext -> HsKind RdrName -> RnM (HsKind Name, FreeVars)

rnLHsKind :: HsDocContext -> LHsKind RdrName -> RnM (LHsKind Name, FreeVars)

rnLHsMaybeKind :: HsDocContext -> Maybe (LHsKind RdrName) -> RnM (Maybe (LHsKind Name), FreeVars)

rnHsSigType :: SDoc -> LHsType RdrName -> RnM (LHsType Name, FreeVars)

rnLHsInstType :: SDoc -> LHsType RdrName -> RnM (LHsType Name, FreeVars)

rnConDeclFields :: HsDocContext -> [ConDeclField RdrName] -> RnM ([ConDeclField Name], FreeVars)

newTyVarNameRn :: Maybe a -> LocalRdrEnv -> SrcSpan -> RdrName -> RnM Name

mkOpAppRn :: LHsExpr Name -> LHsExpr Name -> Fixity -> LHsExpr Name -> RnM (HsExpr Name)

mkNegAppRn :: LHsExpr id -> SyntaxExpr id -> RnM (HsExpr id)

mkOpFormRn :: LHsCmdTop Name -> LHsExpr Name -> Fixity -> LHsCmdTop Name -> RnM (HsCmd Name)

mkConOpPatRn :: Located Name -> Fixity -> LPat Name -> LPat Name -> RnM (Pat Name)

checkPrecMatch :: Name -> MatchGroup Name -> RnM ()

checkSectionPrec :: FixityDirection -> HsExpr RdrName -> LHsExpr Name -> LHsExpr Name -> RnM ()

warnUnusedForAlls :: SDoc -> LHsTyVarBndrs RdrName -> [RdrName] -> TcM ()

rnSplice :: HsSplice RdrName -> RnM (HsSplice Name, FreeVars)

checkTH :: Outputable a => a -> String -> RnM ()

bindSigTyVarsFV :: [Name] -> RnM (a, FreeVars) -> RnM (a, FreeVars)

bindHsTyVars :: HsDocContext -> Maybe a -> [RdrName] -> LHsTyVarBndrs RdrName -> (LHsTyVarBndrs Name -> RnM (b, FreeVars)) -> RnM (b, FreeVars)

rnHsBndrSig :: HsDocContext -> HsWithBndrs (LHsType RdrName) -> (HsWithBndrs (LHsType Name) -> RnM (a, FreeVars)) -> RnM (a, FreeVars)

extractHsTyRdrTyVars :: LHsType RdrName -> FreeKiTyVars

extractHsTysRdrTyVars :: [LHsType RdrName] -> FreeKiTyVars

extractRdrKindSigVars :: Maybe (LHsKind RdrName) -> [RdrName]

extractTyDefnKindVars :: HsTyDefn RdrName -> [RdrName]

filterInScope :: LocalRdrEnv -> FreeKiTyVars -> FreeKiTyVars