Documentation

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

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

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

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

mkHsDo :: HsStmtContext Name -> [ExprLStmt id] -> HsExpr id Source

mkSpliceDecl :: LHsExpr RdrName -> HsDecl RdrName Source

mkRoleAnnotDecl :: SrcSpan -> Located RdrName -> [Located (Maybe FastString)] -> P (LRoleAnnotDecl RdrName) Source

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

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

mkDataFamInst :: SrcSpan -> NewOrData -> Maybe CType -> Located (Maybe (LHsContext RdrName), LHsType RdrName) -> Maybe (LHsKind RdrName) -> [LConDecl RdrName] -> Maybe [LHsType RdrName] -> P (LInstDecl RdrName) Source

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

mkTyFamInstEqn :: LHsType RdrName -> LHsType RdrName -> P (TyFamInstEqn RdrName) Source

mkTyFamInst :: SrcSpan -> LTyFamInstEqn RdrName -> P (LInstDecl RdrName) Source

mkFamDecl :: SrcSpan -> FamilyInfo RdrName -> LHsType RdrName -> Maybe (LHsKind RdrName) -> P (LTyClDecl RdrName) Source

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

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

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

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

mkTyClD :: LTyClDecl n -> LHsDecl n Source

mkInstD :: LInstDecl n -> LHsDecl n Source

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

cvBindsAndSigs :: OrdList (LHsDecl RdrName) -> (LHsBinds RdrName, [LSig RdrName], [LFamilyDecl RdrName], [LTyFamInstDecl RdrName], [LDataFamInstDecl RdrName], [LDocDecl]) Source

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

placeHolderPunRhs :: LHsExpr 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

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

bang_RDR :: RdrName Source

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

checkMonadComp :: P (HsStmtContext Name) Source

checkCommand :: LHsExpr RdrName -> P (LHsCmd RdrName) Source

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

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

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

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

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

data ImpExpSubSpec Source

mkModuleImpExp :: RdrName -> ImpExpSubSpec -> IE RdrName Source

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