Safe Haskell | None |
---|
- dropAnn :: Functor a => a l -> a ()
- setAnn :: Functor a => l' -> a l -> a l'
- getModuleName :: Module l -> ModuleName l
- getImports :: Module l -> [ImportDecl l]
- getExportSpecList :: Module l -> Maybe (ExportSpecList l)
- splitDeclHead :: DeclHead l -> (Name l, [TyVarBind l])
- getDeclHeadName :: Decl l -> Name l
- getModuleDecls :: Module l -> [Decl l]
- isTypeDecl :: Decl l -> Bool
- class GetBound a l | a -> l where
- opName :: Op l -> Name l
- isCon :: Name l -> Bool
- nameToString :: Name l -> String
- specialConToString :: SpecialCon l -> String
- qNameToName :: QName l -> Name l
- unCName :: CName l -> Name l
- getErrors :: (Ord l, Foldable a) => a (Scoped l) -> Set (Error l)
- type ExtensionSet = Set KnownExtension
- moduleExtensions :: Language -> [Extension] -> Module l -> ExtensionSet
Documentation
getModuleName :: Module l -> ModuleName lSource
getImports :: Module l -> [ImportDecl l]Source
getExportSpecList :: Module l -> Maybe (ExportSpecList l)Source
splitDeclHead :: DeclHead l -> (Name l, [TyVarBind l])Source
getDeclHeadName :: Decl l -> Name lSource
getModuleDecls :: Module l -> [Decl l]Source
isTypeDecl :: Decl l -> BoolSource
class GetBound a l | a -> l whereSource
GetBound a l => GetBound [a] l | |
GetBound a l => GetBound (Maybe a) l | |
Data l => GetBound (Decl l) l | |
Data l => GetBound (Binds l) l | |
Data l => GetBound (Match l) l | |
Data l => GetBound (QualConDecl l) l | |
Data l => GetBound (ConDecl l) l | |
Data l => GetBound (FieldDecl l) l | |
Data l => GetBound (GadtDecl l) l | |
Data l => GetBound (ClassDecl l) l | |
Data l => GetBound (Pat l) l | |
Data l => GetBound (Stmt l) l | |
Data l => GetBound (QualStmt l) l | |
(GetBound a l, GetBound b l) => GetBound (a, b) l |
nameToString :: Name l -> StringSource
specialConToString :: SpecialCon l -> StringSource
qNameToName :: QName l -> Name lSource
type ExtensionSet = Set KnownExtensionSource
:: Language | base language |
-> [Extension] | global extensions |
-> Module l | |
-> ExtensionSet |
Compute the extension set for the given module, based on the global preferences (e.g. specified on the command line) and module's LANGUAGE pragmas.