Safe Haskell	None
Language	Haskell2010

IdeSession.Types.Private

Contents

Types without a public counterpart
Types with a public counterpart
Cache
Util

Description

The private types

Synopsis

Types without a public counterpart

newtype FilePathPtr Source

Constructors

FilePathPtr
Fields filePathPtr :: Int

Instances

Eq FilePathPtr Source
Ord FilePathPtr Source
Show FilePathPtr Source
Generic FilePathPtr Source
Binary FilePathPtr Source
PrettyVal FilePathPtr Source
type Rep FilePathPtr Source

newtype IdPropPtr Source

Constructors

IdPropPtr
Fields idPropPtr :: Int

Instances

Eq IdPropPtr Source
Ord IdPropPtr Source
Show IdPropPtr Source
Generic IdPropPtr Source
Binary IdPropPtr Source
PrettyVal IdPropPtr Source
type Rep IdPropPtr Source

type UseSites = Strict (Map IdPropPtr) [SourceSpan] Source

Types with a public counterpart

data IdNameSpace Source

Identifiers in Haskell are drawn from a number of different name spaces

Constructors

VarName	Variables, including real data constructors
DataName	Source data constructors
TvName	Type variables
TcClsName	Type constructors and classes

data IdInfo Source

Constructors

IdInfo
Fields idProp :: !IdPropPtr idScope :: !IdScope

Instances

Show IdInfo Source
Generic IdInfo Source
Binary IdInfo Source
PrettyVal IdInfo Source
type Rep IdInfo Source

data IdProp Source

Constructors

IdProp
Fields idName :: !Text idSpace :: !IdNameSpace idType :: !(Strict Maybe Type) idDefinedIn :: !ModuleId idDefSpan :: !EitherSpan idHomeModule :: !(Strict Maybe ModuleId)

Instances

Show IdProp Source
Generic IdProp Source
Binary IdProp Source
PrettyVal IdProp Source
type Rep IdProp Source

data IdScope Source

Constructors

Binder	This is a binding occurrence (`f x = ..`, `x -> ..`, etc.)
Local	Defined within this module
Imported	Imported from a different module
Fields idImportedFrom :: !ModuleId idImportSpan :: !EitherSpan idImportQual :: !Text Qualifier used for the import IMPORTED AS idImportQual import Data.List "" import qualified Data.List "Data.List." import qualified Data.List as L "L."
WiredIn	Wired into the compiler (`()`, `True`, etc.)

Instances

Show IdScope Source
Generic IdScope Source
Binary IdScope Source
PrettyVal IdScope Source
type Rep IdScope Source

data SourceSpan Source

Constructors

SourceSpan
Fields spanFilePath :: !FilePathPtr spanFromLine :: !Int spanFromColumn :: !Int spanToLine :: !Int spanToColumn :: !Int

Instances

Eq SourceSpan Source
Ord SourceSpan Source
Show SourceSpan Source
Generic SourceSpan Source
Binary SourceSpan Source
PrettyVal SourceSpan Source
type Rep SourceSpan Source

data EitherSpan Source

Constructors

ProperSpan !SourceSpan
TextSpan !Text

Instances

Show EitherSpan Source
Generic EitherSpan Source
Binary EitherSpan Source
PrettyVal EitherSpan Source
type Rep EitherSpan Source

data SourceError Source

Constructors

SourceError
Fields errorKind :: !SourceErrorKind errorSpan :: !EitherSpan errorMsg :: !Text

Instances

Show SourceError Source
Generic SourceError Source
Binary SourceError Source
PrettyVal SourceError Source
type Rep SourceError Source

data SourceErrorKind Source

Severity of an error.

Constructors

KindError
KindWarning
KindServerDied

type ModuleName = Text Source

data ModuleId Source

Constructors

ModuleId
Fields moduleName :: !ModuleName modulePackage :: !PackageId

Instances

Eq ModuleId Source
Show ModuleId Source
Generic ModuleId Source
Binary ModuleId Source
PrettyVal ModuleId Source
type Rep ModuleId Source

data PackageId Source

Constructors

PackageId
Fields packageName :: !Text packageVersion :: !(Strict Maybe Text) packageKey :: !Text

Instances

Eq PackageId Source
Ord PackageId Source
Show PackageId Source
Generic PackageId Source
Binary PackageId Source
PrettyVal PackageId Source
type Rep PackageId Source

type IdList = [(SourceSpan, SpanInfo)] Source

Used before we convert it to an IdMap

newtype IdMap Source

Constructors

IdMap
Fields idMapToMap :: StrictIntervalMap (FilePathPtr, Int, Int) SpanInfo

Instances

Show IdMap Source
Generic IdMap Source
PrettyVal IdMap Source
type Rep IdMap Source

newtype ExpMap Source

Constructors

ExpMap
Fields expMapToMap :: StrictIntervalMap (FilePathPtr, Int, Int) Text

Instances

Show ExpMap Source
Generic ExpMap Source
PrettyVal ExpMap Source
type Rep ExpMap Source

data SpanInfo Source

Constructors

SpanId IdInfo
SpanQQ IdInfo
SpanInSplice IdInfo

Instances

Show SpanInfo Source
Generic SpanInfo Source
Binary SpanInfo Source
PrettyVal SpanInfo Source
type Rep SpanInfo Source

data ImportEntities Source

Constructors

ImportOnly !(Strict [] Text)
ImportHiding !(Strict [] Text)
ImportAll

Instances

Eq ImportEntities Source
Show ImportEntities Source
Generic ImportEntities Source
Binary ImportEntities Source
PrettyVal ImportEntities Source
type Rep ImportEntities Source

data Import Source

Constructors

Import
Fields importModule :: !ModuleId importPackage :: !(Strict Maybe Text) Used only for ghc's PackageImports extension importQualified :: !Bool importImplicit :: !Bool importAs :: !(Strict Maybe ModuleName) importEntities :: !ImportEntities

Instances

Eq Import Source
Show Import Source
Generic Import Source
Binary Import Source
PrettyVal Import Source
type Rep Import Source

data RunResult Source

The outcome of running code

Constructors

RunOk	The code terminated okay
RunProgException String	The code threw an exception
RunGhcException String	GHC itself threw an exception when we tried to run the code
RunBreak BreakInfo	Execution was paused because of a breakpoint

Instances

Show RunResult Source
Generic RunResult Source
Binary RunResult Source
PrettyVal RunResult Source
type Rep RunResult Source

data BreakInfo Source

Information about a triggered breakpoint

Constructors

BreakInfo
Fields breakInfoModule :: ModuleName breakInfoSpan :: SourceSpan breakInfoResultType :: Type breakInfoVariableEnv :: VariableEnv

Instances

Show BreakInfo Source
Generic BreakInfo Source
Binary BreakInfo Source
PrettyVal BreakInfo Source
type Rep BreakInfo Source

Cache

data ExplicitSharingCache Source

Constructors

ExplicitSharingCache
Fields filePathCache :: !(Strict IntMap ByteString) idPropCache :: !(Strict IntMap IdProp)

Instances

Show ExplicitSharingCache Source
Generic ExplicitSharingCache Source
Binary ExplicitSharingCache Source
PrettyVal ExplicitSharingCache Source
type Rep ExplicitSharingCache Source

unionCache :: ExplicitSharingCache -> ExplicitSharingCache -> ExplicitSharingCache Source

Util

mkIdMap :: IdList -> IdMap Source

mkExpMap :: [(SourceSpan, Text)] -> ExpMap Source

dominators :: SourceSpan -> StrictIntervalMap (FilePathPtr, Int, Int) a -> [(SourceSpan, a)] Source

Eq IdNameSpace Source
Show IdNameSpace Source
Generic IdNameSpace Source
ToJSON IdNameSpace Source
FromJSON IdNameSpace Source
Binary IdNameSpace Source
PrettyVal IdNameSpace Source
type Rep IdNameSpace Source

Eq SourceErrorKind Source
Show SourceErrorKind Source
Generic SourceErrorKind Source
ToJSON SourceErrorKind Source
FromJSON SourceErrorKind Source
Binary SourceErrorKind Source
PrettyVal SourceErrorKind Source
type Rep SourceErrorKind Source