IdeSession

Configuration

data SessionConfig

sessionConfigFromEnv

defaultSessionConfig

type ProgramSearchPath

data ProgramSearchPathEntry

Updating the session

Starting and stopping

data IdeSession

initSessionWithCallbacks

data SessionInitParams

defaultSessionInitParams

data IdeCallbacks

defaultIdeCallbacks

shutdownSession

forceShutdownSession

Session updates

data IdeSessionUpdate

updateSourceFile

updateSourceFileFromFile

updateSourceFileDelete

updateRelativeIncludes

updateCodeGeneration

updateDataFileFromFile

updateDataFileDelete

updateDeleteManagedFiles

updateStdoutBufferMode

updateStderrBufferMode

Progress

data UpdateStatus

Running code

data RunActions a

data RunBufferMode

Queries

Types

type Query a

data ManagedFiles

data GhcVersion

Queries that rely on the static part of the state only

getSessionConfig

getSourceModule

getAllDataFiles

Queries that do not rely on computed state

getCodeGeneration

getManagedFiles

Queries that rely on computed state

getSourceErrors

getLoadedModules

getBuildExeStatus

getBuildDocStatus

getBuildLicensesStatus

getAutocompletion

Types for identifier info, errors, etc.

Types

data IdNameSpace

type Type

data SourceSpan

data EitherSpan

data SourceError

data SourceErrorKind

type ModuleName

data ImportEntities

Util

Exception types

data ExternalException

data InvalidSessionStateQueries

Re-exports from Cabal

type PackageDBStack

For internal/debugging use only

dumpAutocompletion

sourceExtensions

ideBackendApiVersion

buildLicsFromPkgs

data LicenseArgs