SessionConfig | |
1 (Type/Class) | IdeSession |
2 (Data Constructor) | IdeSession |
sessionInitCabalMacros | IdeSession |
sessionInitGhcOptions | IdeSession |
SessionInitParams | |
1 (Type/Class) | IdeSession |
2 (Data Constructor) | IdeSession |
sessionInitRelativeIncludes | IdeSession |
sessionInitRtsOpts | IdeSession |
sessionInitTargets | IdeSession |
setBreakpoint | IdeSession |
shutdownSession | IdeSession |
SourceError | |
1 (Data Constructor) | IdeSession |
2 (Type/Class) | IdeSession |
SourceErrorKind | IdeSession |
sourceExtensions | IdeSession |
sourceFiles | 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 |