IdeSession.Types.Private

Contents

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

Description

Synopsis

• newtype FilePathPtr = FilePathPtr {
  • filePathPtr :: Int
  }
• newtype IdPropPtr = IdPropPtr {
  • idPropPtr :: Int
  }
• type UseSites = Strict (Map IdPropPtr) [SourceSpan]
• data IdNameSpace
  • = VarName
  • | DataName
  • | TvName
  • | TcClsName
• data IdInfo = IdInfo {
  • idProp :: !IdPropPtr
  • idScope :: !IdScope
  }
• data IdProp = IdProp {
  • idName :: !Text
  • idSpace :: !IdNameSpace
  • idType :: !(Strict Maybe Type)
  • idDefinedIn :: !ModuleId
  • idDefSpan :: !EitherSpan
  • idHomeModule :: !(Strict Maybe ModuleId)
  }
• data IdScope
  • = Binder
  • | Local
  • | Imported {
    • idImportedFrom :: !ModuleId
    • idImportSpan :: !EitherSpan
    • idImportQual :: !Text
    }
  • | WiredIn
• data SourceSpan = SourceSpan {
  • spanFilePath :: !FilePathPtr
  • spanFromLine :: !Int
  • spanFromColumn :: !Int
  • spanToLine :: !Int
  • spanToColumn :: !Int
  }
• data EitherSpan
  • = ProperSpan !SourceSpan
  • | TextSpan !Text
• data SourceError = SourceError {
  • errorKind :: !SourceErrorKind
  • errorSpan :: !EitherSpan
  • errorMsg :: !Text
  }
• data SourceErrorKind
  • = KindError
  • | KindWarning
  • | KindServerDied
• type ModuleName = Text
• data ModuleId = ModuleId {
  • moduleName :: !ModuleName
  • modulePackage :: !PackageId
  }
• data PackageId = PackageId {
  • packageName :: !Text
  • packageVersion :: !(Strict Maybe Text)
  • packageKey :: !Text
  }
• type IdList = [(SourceSpan, SpanInfo)]
• newtype IdMap = IdMap {
  • idMapToMap :: StrictIntervalMap (FilePathPtr, Int, Int) SpanInfo
  }
• newtype ExpMap = ExpMap {
  • expMapToMap :: StrictIntervalMap (FilePathPtr, Int, Int) Text
  }
• data SpanInfo
  • = SpanId IdInfo
  • | SpanQQ IdInfo
  • | SpanInSplice IdInfo
• data ImportEntities
  • = ImportOnly !(Strict [] Text)
  • | ImportHiding !(Strict [] Text)
  • | ImportAll
• data Import = Import {
  • importModule :: !ModuleId
  • importPackage :: !(Strict Maybe Text)
  • importQualified :: !Bool
  • importImplicit :: !Bool
  • importAs :: !(Strict Maybe ModuleName)
  • importEntities :: !ImportEntities
  }
• data RunResult
  • = RunOk
  • | RunProgException String
  • | RunGhcException String
  • | RunBreak BreakInfo
• data BreakInfo = BreakInfo {
  • breakInfoModule :: ModuleName
  • breakInfoSpan :: SourceSpan
  • breakInfoResultType :: Type
  • breakInfoVariableEnv :: VariableEnv
  }
• data ExplicitSharingCache = ExplicitSharingCache {
  • filePathCache :: !(Strict IntMap ByteString)
  • idPropCache :: !(Strict IntMap IdProp)
  }
• unionCache :: ExplicitSharingCache -> ExplicitSharingCache -> ExplicitSharingCache
• mkIdMap :: IdList -> IdMap
• mkExpMap :: [(SourceSpan, Text)] -> ExpMap
• dominators :: SourceSpan -> StrictIntervalMap (FilePathPtr, Int, Int) a -> [(SourceSpan, a)]

Types without a public counterpart

Types with a public counterpart

Cache

Util