ghc-7.6.3: The GHC API

Safe Haskell | None

RdrHsSyn

# Documentation

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

mkHsIntegral :: Integer -> PostTcType -> HsOverLit id

mkHsFractional :: FractionalLit -> PostTcType -> HsOverLit id

mkHsIsString :: FastString -> PostTcType -> HsOverLit id

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

mkHsSplice :: LHsExpr RdrName -> HsSplice RdrName

mkTopSpliceDecl :: LHsExpr RdrName -> HsDecl RdrName

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

mkTyData :: SrcSpan -> NewOrData -> Maybe CType -> Located (Maybe (LHsContext RdrName), LHsType RdrName) -> Maybe (LHsKind RdrName) -> [LConDecl RdrName] -> Maybe [LHsType RdrName] -> P (LTyClDecl RdrName)

mkFamInstData :: SrcSpan -> NewOrData -> Maybe CType -> Located (Maybe (LHsContext RdrName), LHsType RdrName) -> Maybe (LHsKind RdrName) -> [LConDecl RdrName] -> Maybe [LHsType RdrName] -> P (LFamInstDecl RdrName)

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

mkFamInstSynonym :: SrcSpan -> LHsType RdrName -> LHsType RdrName -> P (LFamInstDecl RdrName)

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

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

mkInlinePragma :: (InlineSpec, RuleMatchInfo) -> Maybe Activation -> InlinePragma

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

mkTyLit :: Located HsTyLit -> P (LHsType RdrName)

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

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

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

placeHolderPunRhs :: LHsExpr RdrName

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

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

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

mkExtName :: RdrName -> CLabelString

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

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

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

checkPrecP :: Located Int -> P Int

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

checkTyVars :: LHsType RdrName -> [LHsType RdrName] -> P (LHsTyVarBndrs RdrName)

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

bang_RDR :: RdrName

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

checkMonadComp :: P (HsStmtContext Name)

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

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

checkDoAndIfThenElse :: LHsExpr RdrName -> Bool -> LHsExpr RdrName -> Bool -> LHsExpr RdrName -> P ()

checkRecordSyntax :: Outputable a => Located a -> P (Located a)

parseError :: SrcSpan -> String -> P a

parseErrorSDoc :: SrcSpan -> SDoc -> P a

data ImpExpSubSpec

Constructors

ImpExpAbs |
ImpExpAll |
ImpExpList [RdrName] |

mkModuleImpExp :: RdrName -> ImpExpSubSpec -> IE RdrName

mkTypeImpExp :: Located RdrName -> P (Located RdrName)