|
|
|
|
|
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 |
|
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 |
|
mkTopSpliceDecl :: LHsExpr RdrName -> HsDecl RdrName |
|
mkClassDecl :: SrcSpan -> Located (LHsContext RdrName, LHsType RdrName) -> Located [Located (FunDep RdrName)] -> Located (OrdList (LHsDecl RdrName)) -> P (LTyClDecl RdrName) |
|
mkTyData :: SrcSpan -> NewOrData -> Bool -> Located (LHsContext RdrName, LHsType RdrName) -> Maybe Kind -> [LConDecl RdrName] -> Maybe [LHsType RdrName] -> P (LTyClDecl RdrName) |
|
mkTyFamily :: SrcSpan -> FamilyFlavour -> LHsType RdrName -> Maybe Kind -> P (LTyClDecl RdrName) |
|
mkTySynonym :: SrcSpan -> Bool -> LHsType RdrName -> LHsType RdrName -> P (LTyClDecl RdrName) |
|
splitCon :: LHsType RdrName -> P (Located RdrName, HsConDeclDetails RdrName) |
|
mkInlineSpec :: Maybe Activation -> RuleMatchInfo -> 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]) |
|
cvTopDecls :: OrdList (LHsDecl RdrName) -> [LHsDecl RdrName] |
|
findSplice :: [LHsDecl a] -> (HsGroup a, Maybe (SpliceDecl a, [LHsDecl a])) |
|
checkDecBrGroup :: [LHsDecl a] -> P (HsGroup a) |
|
placeHolderPunRhs :: HsExpr 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) |
|
checkPred :: LHsType RdrName -> P (LHsPred RdrName) |
|
checkTyVars :: [LHsType RdrName] -> P [LHsTyVarBndr RdrName] |
|
checkKindSigs :: [LTyClDecl RdrName] -> P () |
|
checkInstType :: LHsType RdrName -> P (LHsType 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 |
|
parseErrorSDoc :: SrcSpan -> SDoc -> P a |
|
Produced by Haddock version 2.6.1 |