| ghc-6.10.4: The GHC API | Contents | Index
RdrHsSyn
Documentation
extractHsTyRdrTyVars :: LHsType RdrName -> [Located RdrName]
extractHsRhoRdrTyVars :: LHsContext RdrName -> LHsType RdrName -> [Located RdrName]
extractGenericPatTyVars :: LHsBinds RdrName -> [Located RdrName]
mkHsOpApp :: LHsExpr id -> id -> LHsExpr id -> HsExpr id
mkClassDecl :: (LHsContext name, Located name, [LHsTyVarBndr name]) -> [Located (FunDep name)] -> [LSig name] -> LHsBinds name -> [LTyClDecl name] -> [LDocDecl name] -> TyClDecl name
mkHsIntegral :: Integer -> PostTcType -> HsOverLit id
mkHsFractional :: Rational -> PostTcType -> HsOverLit id
mkHsIsString :: FastString -> PostTcType -> HsOverLit id
mkHsDo :: HsStmtContext Name -> [LStmt id] -> LHsExpr id -> HsExpr id
mkHsSplice :: LHsExpr RdrName -> HsSplice RdrName
mkTyData :: NewOrData -> (LHsContext name, Located name, [LHsTyVarBndr name], Maybe [LHsType name]) -> Maybe Kind -> [LConDecl name] -> Maybe [LHsType name] -> TyClDecl name
mkPrefixCon :: LHsType RdrName -> [LBangType RdrName] -> P (Located RdrName, HsConDeclDetails RdrName)
mkRecCon :: Located RdrName -> [([Located RdrName], LBangType RdrName, Maybe (LHsDoc RdrName))] -> P (Located RdrName, HsConDeclDetails RdrName)
mkInlineSpec :: Maybe Activation -> Bool -> InlineSpec
mkRecConstrOrUpdate :: LHsExpr RdrName -> SrcSpan -> ([HsRecField RdrName (LHsExpr RdrName)], Bool) -> P (HsExpr RdrName)
cvBindGroup :: OrdList (LHsDecl RdrName) -> HsValBinds RdrName
cvBindsAndSigs :: OrdList (LHsDecl RdrName) -> (Bag (LHsBind RdrName), [LSig RdrName], [LTyClDecl RdrName], [LDocDecl RdrName])
cvTopDecls :: OrdList (LHsDecl RdrName) -> [LHsDecl RdrName]
findSplice :: [LHsDecl a] -> (HsGroup a, Maybe (SpliceDecl a, [LHsDecl a]))
checkDecBrGroup :: [LHsDecl a] -> P (HsGroup a)
data CallConv
Constructors
CCall CCallConv |
DNCall |
mkImport :: CallConv -> Safety -> (Located FastString, Located RdrName, LHsType RdrName) -> P (HsDecl RdrName)
mkExport :: CallConv -> (Located FastString, Located RdrName, LHsType RdrName) -> P (HsDecl RdrName)
mkExtName :: RdrName -> CLabelString
mkGadtDecl :: Located RdrName -> LHsType RdrName -> ConDecl RdrName
checkPrecP :: Located Int -> P Int
checkContext :: LHsType RdrName -> P (LHsContext RdrName)
checkPred :: LHsType RdrName -> P (LHsPred RdrName)
checkTyClHdr :: LHsContext RdrName -> LHsType RdrName -> P (LHsContext RdrName, Located RdrName, [LHsTyVarBndr RdrName], [LHsType RdrName])
checkTyVars :: [LHsType RdrName] -> P ()
checkSynHdr :: LHsType RdrName -> Bool -> P (Located RdrName, [LHsTyVarBndr RdrName], [LHsType RdrName])
checkKindSigs :: [LTyClDecl RdrName] -> P ()
checkInstType :: LHsType RdrName -> P (LHsType RdrName)
checkDerivDecl :: LDerivDecl RdrName -> P (LDerivDecl RdrName)
checkPattern :: LHsExpr RdrName -> P (LPat RdrName)
bang_RDR :: RdrName
checkPatterns :: [LHsExpr RdrName] -> P [LPat RdrName]
checkDo :: SrcSpan -> [LStmt RdrName] -> P ([LStmt RdrName], LHsExpr RdrName)
checkMDo :: SrcSpan -> [LStmt RdrName] -> P ([LStmt RdrName], LHsExpr RdrName)
checkValDef :: LHsExpr RdrName -> Maybe (LHsType RdrName) -> Located (GRHSs RdrName) -> P (HsBind RdrName)
checkValSig :: LHsExpr RdrName -> LHsType RdrName -> P (Sig RdrName)
parseError :: SrcSpan -> String -> P a
Produced by Haddock version 2.4.2