Documentation

data GhcInfo Source

updateDynFlags :: DynFlags -> [FilePath] -> DynFlagsSource

getGhcModGuts1 :: GhcMonad m => FilePath -> m MGIModGutsSource

getGhcModGutsSimpl1 :: GhcMonad m => FilePath -> m MGIModGutsSource

peepGHCSimple :: GhcMonad m => FilePath -> m bSource

getGhcInfo :: FilePath -> [FilePath] -> IO GhcInfoSource

moduleHquals :: GhcMonad m => MGIModGuts -> [FilePath] -> FilePath -> [String] -> [FilePath] -> m [FilePath]Source

printVars :: (NamedThing a, Outputable a) => String -> [a] -> IO ()Source

mgi_namestring :: MGIModGuts -> StringSource

importVars :: CBVisitable a => a -> [Var]Source

definedVars :: [Bind b] -> [b]Source

desugarModuleWithLoc :: GhcMonad m => TypecheckedModule -> m DesugaredModuleSource

moduleSpec :: GhcMonad m => [Var] -> [Char] -> MGIModGuts -> [FilePath] -> m (GhcSpec, [String], [FilePath])Source

allDepNames :: MGIModGuts -> [String]Source

depNames :: MGIModGuts -> [ModuleName]Source

dirImportNames :: MGIModGuts -> [ModuleName]Source

targetName :: FilePath -> FilePathSource

getSpecs :: (Functor m, MonadIO m) => [FilePath] -> [String] -> [Ext] -> m (Spec BareType Symbol)Source

transParseSpecs :: MonadIO m => [Ext] -> [FilePath] -> HashSet ([Char], [Char]) -> Spec BareType Symbol -> [([Char], [Char])] -> m (Spec BareType Symbol)Source

parseSpec :: ([Char], [Char]) -> IO (Spec BareType Symbol)Source

parseSpec' :: [Char] -> [Char] -> IO (Spec BareType Symbol)Source

specParser :: [Char] -> FilePath -> String -> Spec BareType SymbolSource

moduleImports :: MonadIO m => [Ext] -> [FilePath] -> [String] -> m [(String, FilePath)]Source

moduleFiles :: [FilePath] -> [Ext] -> String -> IO [(String, FilePath)]Source

specIncludes :: GhcMonad m => Ext -> [FilePath] -> [FilePath] -> m [FilePath]Source

reqFile :: Ext -> FilePath -> Maybe FilePathSource

checkAssertSpec :: [Var] -> [(Symbol, BareType)] -> IO ()Source

class CBVisitable a whereSource

exprFreeVars :: HashSet Id -> Expr Id -> [Id]Source

exprReadVars :: (CBVisitable (Bind t), CBVisitable (Alt t)) => Expr t -> [Id]Source

exprLiterals :: (CBVisitable (Bind t), CBVisitable (Alt t)) => Expr t -> [Literal]Source

names :: Bind Var -> [Name]Source

extendEnv :: (Eq b, Hashable b) => HashSet b -> [b] -> HashSet bSource

bindings :: Bind t -> [t]Source

ppFreeVars :: [Var] -> StringSource

ppFreeVar :: Var -> SDocSource

ppVarExp :: (Outputable a1, Outputable a) => (a, a1) -> SDocSource

ppBlank :: SDocSource