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 Name Source

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 -> FreeKiTyVars Source

extractHsTysRdrTyVars :: [LHsType RdrName] -> FreeKiTyVars Source

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

extractDataDefnKindVars :: HsDataDefn RdrName -> [RdrName] Source

filterInScope :: LocalRdrEnv -> FreeKiTyVars -> FreeKiTyVars Source