Documentation

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

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

annName :: a -> a Source #

nameQualification :: QName l -> Maybe (ModuleName ()) Source #

getModuleName :: Module l -> ModuleName l Source #

getImports :: Module l -> [ImportDecl l] Source #

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

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

getDeclHeadName :: DeclHead l -> Name l Source #

getModuleDecls :: Module l -> [Decl l] Source #

isTypeDecl :: Decl l -> Bool Source #

opName :: Op l -> Name l Source #

isCon :: Name l -> Bool Source #

nameToString :: Name l -> String Source #

stringToName :: String -> Name () Source #

specialConToString :: SpecialCon l -> String Source #

qNameToName :: QName l -> Name l Source #

nameToQName :: Name l -> QName l Source #

unCName :: CName l -> Name l Source #

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

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