Halive.SubHalive

Documentation

data FixDebounce

Constructors

DebounceFix

NoDebounceFix

Instances

Eq FixDebounce

Methods

(==) :: FixDebounce -> FixDebounce -> Bool

(/=) :: FixDebounce -> FixDebounce -> Bool

data CompliationMode

Constructors

Interpreted

Compiled

Instances

Eq CompliationMode

Methods

(==) :: CompliationMode -> CompliationMode -> Bool

(/=) :: CompliationMode -> CompliationMode -> Bool

data GHCSessionConfig

Constructors

GHCSessionConfig

Fields

• gscFixDebounce :: FixDebounce
• gscImportPaths :: [FilePath]
• gscPackageDBs :: [FilePath]
• gscLibDir :: FilePath
• gscLanguageExtensions :: [Extension]
• gscCompilationMode :: CompliationMode
• gscStartupFile :: Maybe (FilePath, String)

  Allow API users to block until a given file is compiled, to work around a bug where the GHC API crashes while loading libraries if the main thread is doing work (possibly due to accessing said libraries in some way)

• gscVerbosity :: Int

defaultGHCSessionConfig :: GHCSessionConfig

logIO :: MonadIO m => String -> m ()

withGHCSession :: ThreadId -> GHCSessionConfig -> Ghc a -> IO a

gatherErrors :: GhcMonad m => SourceError -> m [String]

newtype CompiledValue

Constructors

CompiledValue Dynamic

Instances

Show CompiledValue

Methods

showsPrec :: Int -> CompiledValue -> ShowS

show :: CompiledValue -> String

showList :: [CompiledValue] -> ShowS

getCompiledValue :: Typeable a => CompiledValue -> Maybe a

fileContentsStringToBuffer :: MonadIO m => Maybe String -> m (Maybe (StringBuffer, UTCTime))

recompileExpressionInFile :: FilePath -> Maybe String -> String -> Ghc (Either [String] CompiledValue)

We return the uncoerced HValue, which lets us send polymorphic values back through channels

catchExceptions :: ExceptionMonad m => m (Either [String] a) -> m (Either [String] a)

output :: (GhcMonad m, Outputable a) => a -> m ()

Outputs any value that can be pretty-printed using the default style

logHandler :: IORef String -> LogAction

module GHC.LanguageExtensions