ghc-6.12.2: The GHC API Source code Contents Index

RdrHsSyn

Documentation

extractHsTyRdrTyVars :: LHsType RdrName -> [Located RdrName] Source

extractHsRhoRdrTyVars :: LHsContext RdrName -> LHsType RdrName -> [Located RdrName] Source

extractGenericPatTyVars :: LHsBinds RdrName -> [Located RdrName] Source

mkHsOpApp :: LHsExpr id -> id -> LHsExpr id -> HsExpr id Source

mkHsIntegral :: Integer -> PostTcType -> HsOverLit id Source

mkHsFractional :: Rational -> PostTcType -> HsOverLit id Source

mkHsIsString :: FastString -> PostTcType -> HsOverLit id Source

mkHsDo :: HsStmtContext Name -> [LStmt id] -> LHsExpr id -> HsExpr id Source

mkHsSplice :: LHsExpr RdrName -> HsSplice RdrName Source

mkTopSpliceDecl :: LHsExpr RdrName -> HsDecl RdrName Source

mkClassDecl :: SrcSpan -> Located (LHsContext RdrName, LHsType RdrName) -> Located [Located (FunDep RdrName)] -> Located (OrdList (LHsDecl RdrName)) -> P (LTyClDecl RdrName) Source

mkTyData :: SrcSpan -> NewOrData -> Bool -> Located (LHsContext RdrName, LHsType RdrName) -> Maybe Kind -> [LConDecl RdrName] -> Maybe [LHsType RdrName] -> P (LTyClDecl RdrName) Source

mkTyFamily :: SrcSpan -> FamilyFlavour -> LHsType RdrName -> Maybe Kind -> P (LTyClDecl RdrName) Source

mkTySynonym :: SrcSpan -> Bool -> LHsType RdrName -> LHsType RdrName -> P (LTyClDecl RdrName) Source

splitCon :: LHsType RdrName -> P (Located RdrName, HsConDeclDetails RdrName) Source

mkInlineSpec :: Maybe Activation -> RuleMatchInfo -> Bool -> InlineSpec Source

mkRecConstrOrUpdate :: LHsExpr RdrName -> SrcSpan -> ([HsRecField RdrName (LHsExpr RdrName)], Bool) -> P (HsExpr RdrName) Source

cvBindGroup :: OrdList (LHsDecl RdrName) -> HsValBinds RdrName Source

cvBindsAndSigs :: OrdList (LHsDecl RdrName) -> (Bag (LHsBind RdrName), [LSig RdrName], [LTyClDecl RdrName], [LDocDecl]) Source

cvTopDecls :: OrdList (LHsDecl RdrName) -> [LHsDecl RdrName] Source

findSplice :: [LHsDecl a] -> (HsGroup a, Maybe (SpliceDecl a, [LHsDecl a])) Source

checkDecBrGroup :: [LHsDecl a] -> P (HsGroup a) Source

placeHolderPunRhs :: HsExpr RdrName Source

mkImport :: CCallConv -> Safety -> (Located FastString, Located RdrName, LHsType RdrName) -> P (HsDecl RdrName) Source

parseCImport :: CCallConv -> Safety -> FastString -> String -> Maybe ForeignImport Source

mkExport :: CCallConv -> (Located FastString, Located RdrName, LHsType RdrName) -> P (HsDecl RdrName) Source

mkExtName :: RdrName -> CLabelString Source

mkGadtDecl :: [Located RdrName] -> LHsType RdrName -> [ConDecl RdrName] Source

mkSimpleConDecl :: Located RdrName -> [LHsTyVarBndr RdrName] -> LHsContext RdrName -> HsConDeclDetails RdrName -> ConDecl RdrName Source

mkDeprecatedGadtRecordDecl :: SrcSpan -> Located RdrName -> [ConDeclField RdrName] -> LHsType RdrName -> P (LConDecl RdrName) Source

checkPrecP :: Located Int -> P Int Source

checkContext :: LHsType RdrName -> P (LHsContext RdrName) Source

checkPred :: LHsType RdrName -> P (LHsPred RdrName) Source

checkTyVars :: [LHsType RdrName] -> P [LHsTyVarBndr RdrName] Source

checkKindSigs :: [LTyClDecl RdrName] -> P () Source

checkInstType :: LHsType RdrName -> P (LHsType RdrName) Source

checkPattern :: LHsExpr RdrName -> P (LPat RdrName) Source

bang_RDR :: RdrName Source

checkPatterns :: [LHsExpr RdrName] -> P [LPat RdrName] Source

checkDo :: SrcSpan -> [LStmt RdrName] -> P ([LStmt RdrName], LHsExpr RdrName) Source

checkMDo :: SrcSpan -> [LStmt RdrName] -> P ([LStmt RdrName], LHsExpr RdrName) Source

checkValDef :: LHsExpr RdrName -> Maybe (LHsType RdrName) -> Located (GRHSs RdrName) -> P (HsBind RdrName) Source

checkValSig :: LHsExpr RdrName -> LHsType RdrName -> P (Sig RdrName) Source

parseError :: SrcSpan -> String -> P a Source

parseErrorSDoc :: SrcSpan -> SDoc -> P a Source

Produced by Haddock version 2.6.1