ghc-7.4.2: The GHC API

Safe Haskell | None

RnTypes

# Documentation

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

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

rnLHsTypes :: HsDocContext -> [LHsType RdrName] -> IOEnv (Env TcGblEnv TcLclEnv) [LHsType Name]

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

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

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

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

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

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

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

rnConDeclFields :: HsDocContext -> [ConDeclField RdrName] -> RnM [ConDeclField Name]

rnIPName :: IPName RdrName -> RnM (IPName 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 -> [LHsTyVarBndr RdrName] -> [Located RdrName] -> TcM ()

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

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

bindTyVarsRn :: HsDocContext -> [LHsTyVarBndr RdrName] -> ([LHsTyVarBndr Name] -> RnM a) -> RnM a

bindTyVarsFV :: HsDocContext -> [LHsTyVarBndr RdrName] -> ([LHsTyVarBndr Name] -> RnM (a, FreeVars)) -> RnM (a, FreeVars)