|
|
|
|
|
| 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 |
|
|
| 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] |
|
| 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.3.0 |
