serverKilledException | IdeSession.RPC.Client |
SessionConfig | |
1 (Type/Class) | IdeSession.Config, IdeSession |
2 (Data Constructor) | IdeSession.Config, IdeSession |
sessionConfigFromEnv | IdeSession.Config, IdeSession |
sessionInitCabalMacros | IdeSession.Update, IdeSession |
sessionInitDistDir | IdeSession.Update, IdeSession |
sessionInitGhcOptions | IdeSession.Update, IdeSession |
SessionInitParams | |
1 (Type/Class) | IdeSession.Update, IdeSession |
2 (Data Constructor) | IdeSession.Update, IdeSession |
sessionInitRelativeIncludes | IdeSession.Update, IdeSession |
sessionInitRtsOpts | IdeSession.Update, IdeSession |
sessionInitTargets | IdeSession.Update, IdeSession |
setBreakpoint | IdeSession.Update, IdeSession |
shutdown | IdeSession.RPC.Client |
shutdownGhcServer | IdeSession.GHC.Client |
shutdownSession | IdeSession.Update, IdeSession |
SourceError | |
1 (Data Constructor) | IdeSession |
2 (Type/Class) | IdeSession |
SourceErrorKind | IdeSession |
sourceExtensions | IdeSession |
sourceFiles | IdeSession.Query, IdeSession |
SourceSpan | |
1 (Data Constructor) | IdeSession |
2 (Type/Class) | IdeSession |
spanFilePath | IdeSession |
spanFromColumn | IdeSession |
spanFromLine | IdeSession |
SpanId | IdeSession |
SpanInfo | IdeSession |
SpanQQ | IdeSession |
spanToColumn | IdeSession |
spanToLine | IdeSession |
SpecificPackageDB | IdeSession |
supplyStdin | IdeSession.State, IdeSession.GHC.Client, IdeSession |