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
Ord FilePathPtr
Show FilePathPtr
Generic FilePathPtr
Binary FilePathPtr
PrettyVal FilePathPtr
type Rep FilePathPtr

newtype IdPropPtr Source

Constructors

IdPropPtr
Fields idPropPtr :: Int

Instances

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

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

Instances

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

data IdInfo Source

Constructors

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

Instances

Show IdInfo
Generic IdInfo
Binary IdInfo
PrettyVal IdInfo
Typeable * IdInfo
type Rep IdInfo

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
Generic IdProp
Binary IdProp
PrettyVal IdProp
type Rep IdProp

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
Generic IdScope
Binary IdScope
PrettyVal IdScope
type Rep IdScope

data SourceSpan Source

Constructors

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

Instances

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

data EitherSpan Source

Constructors

ProperSpan !SourceSpan
TextSpan !Text

Instances

Show EitherSpan
Generic EitherSpan
Binary EitherSpan
PrettyVal EitherSpan
type Rep EitherSpan

data SourceError Source

Constructors

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

Instances

Show SourceError
Generic SourceError
Binary SourceError
PrettyVal SourceError
type Rep SourceError

data SourceErrorKind Source

Severity of an error.

Constructors

KindError
KindWarning
KindServerDied

Instances

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

type ModuleName = Text Source

data ModuleId Source

Constructors

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

Instances

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

data PackageId Source

Constructors

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

Instances

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

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
Generic IdMap
PrettyVal IdMap
type Rep IdMap

newtype ExpMap Source

Constructors

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

Instances

Show ExpMap
Generic ExpMap
PrettyVal ExpMap
type Rep ExpMap

data SpanInfo Source

Constructors

SpanId IdInfo
SpanQQ IdInfo
SpanInSplice IdInfo

Instances

Show SpanInfo
Generic SpanInfo
Binary SpanInfo
PrettyVal SpanInfo
type Rep SpanInfo

data ImportEntities Source

Constructors

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

Instances

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

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
Show Import
Generic Import
Binary Import
PrettyVal Import
type Rep Import

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
Generic RunResult
Binary RunResult
PrettyVal RunResult
Typeable * RunResult
type Rep RunResult

data BreakInfo Source

Information about a triggered breakpoint

Constructors

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

Instances

Show BreakInfo
Generic BreakInfo
Binary BreakInfo
PrettyVal BreakInfo
Typeable * BreakInfo
type Rep BreakInfo

Cache

data ExplicitSharingCache Source

Constructors

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

Instances

Show ExplicitSharingCache
Generic ExplicitSharingCache
Binary ExplicitSharingCache
PrettyVal ExplicitSharingCache
type Rep ExplicitSharingCache

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