Safe Haskell | None |
---|
RnTypes
Documentation
rnLHsTypes :: HsDocContext -> [LHsType RdrName] -> IOEnv (Env TcGblEnv TcLclEnv) [LHsType Name]
rnContext :: HsDocContext -> LHsContext RdrName -> RnM (LHsContext Name)
rnLHsMaybeKind :: HsDocContext -> Maybe (LHsKind RdrName) -> RnM (Maybe (LHsKind Name))
rnHsTypeFVs :: HsDocContext -> LHsType RdrName -> RnM (LHsType Name, FreeVars)
rnConDeclFields :: HsDocContext -> [ConDeclField RdrName] -> RnM [ConDeclField Name]
mkNegAppRn :: LHsExpr id -> SyntaxExpr id -> RnM (HsExpr id)
checkPrecMatch :: Name -> MatchGroup Name -> RnM ()
checkSectionPrec :: FixityDirection -> HsExpr RdrName -> LHsExpr Name -> LHsExpr Name -> RnM ()
warnUnusedForAlls :: SDoc -> [LHsTyVarBndr RdrName] -> [Located RdrName] -> TcM ()
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)