Documentation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

extractHsTyRdrTyVars :: LHsType RdrName -> FreeKiTyVarsSource

extractHsTysRdrTyVars :: [LHsType RdrName] -> FreeKiTyVarsSource

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

extractDataDefnKindVars :: HsDataDefn RdrName -> [RdrName]Source

filterInScope :: LocalRdrEnv -> FreeKiTyVars -> FreeKiTyVarsSource