Language.Haskell.Names.SyntaxUtils

Documentation

dropAnn :: Functor a => a l -> a ()

setAnn :: Functor a => l' -> a l -> a l'

annName :: Name -> Name ()

getModuleName :: Module l -> ModuleName l

getImports :: Module l -> [ImportDecl l]

getExportSpecList :: Module l -> Maybe (ExportSpecList l)

getDeclHead :: Decl l -> Maybe (DeclHead l)

getDeclHeadName :: DeclHead l -> Name l

getModuleDecls :: Module l -> [Decl l]

isTypeDecl :: Decl l -> Bool

opName :: Op l -> Name l

isCon :: Name l -> Bool

nameToString :: Name l -> String

stringToName :: String -> Name ()

specialConToString :: SpecialCon l -> String

qNameToName :: QName l -> Name l

nameToQName :: Name l -> QName l

unCName :: CName l -> Name l

getErrors :: (Ord l, Foldable a) => a (Scoped l) -> Set (Error l)

type ExtensionSet = Set KnownExtension

moduleExtensions

Arguments

:: 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.

getModuleExtensions :: Module l -> (Maybe Language, [Extension])