| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
IDE.Core.CTypes
Description
- data PackageDescr = PackageDescr {}
- data ModuleKey
- displayModuleKey :: ModuleKey -> String
- parseModuleKey :: String -> FilePath -> Maybe ModuleKey
- moduleKeyToName :: ModuleKey -> ModuleName
- data ModuleDescr = ModuleDescr {}
- data Descr
- data RealDescr = RealDescr {}
- data ReexportedDescr = ReexportedDescr {}
- newtype Present alpha = Present alpha
- data TypeDescr
- = VariableDescr
- | FieldDescr Descr
- | ConstructorDescr Descr
- | DataDescr [SimpleDescr] [SimpleDescr]
- | TypeDescr
- | NewtypeDescr SimpleDescr (Maybe SimpleDescr)
- | ClassDescr [Text] [SimpleDescr]
- | MethodDescr Descr
- | InstanceDescr [Text]
- | KeywordDescr
- | ExtensionDescr
- | ModNameDescr
- | QualModNameDescr
- | ErrorDescr
- data DescrType
- data SimpleDescr = SimpleDescr {
- sdName :: Text
- sdType :: Maybe ByteString
- sdLocation :: Maybe Location
- sdComment :: Maybe ByteString
- sdExported :: Bool
- data GenScope = forall alpha . SymbolTable alpha => GenScopeC (PackScope alpha)
- dscName :: Descr -> Text
- dscMbTypeStr :: Descr -> Maybe ByteString
- dscMbModu :: Descr -> Maybe PackModule
- dsMbModu :: Descr -> Maybe PackModule
- dscMbLocation :: Descr -> Maybe Location
- dscMbComment :: Descr -> Maybe ByteString
- dscTypeHint :: Descr -> TypeDescr
- dscExported :: Descr -> Bool
- descrType :: TypeDescr -> DescrType
- isReexported :: Descr -> Bool
- data PackScope alpha = SymbolTable alpha => PackScope (Map PackageIdentifier PackageDescr) alpha
- class SymbolTable alpha where
- data PackModule = PM {}
- parsePackModule :: Text -> PackModule
- showPackModule :: PackModule -> Text
- packageIdentifierToString :: PackageIdentifier -> Text
- packageIdentifierFromString :: Text -> Maybe PackageIdentifier
- data Location = Location {}
- data SrcSpan = SrcSpan {}
- data Scope
- data ServerCommand
- = SystemCommand { }
- | WorkspaceCommand { }
- | ParseHeaderCommand { }
- data ServerAnswer
- = ServerOK
- | ServerFailed Text
- | ServerHeader (Either [ImportDecl] Int)
- leksahVersion :: FilePath
- configDirName :: FilePath
- metadataVersion :: Integer
- data ImportDecl = ImportDecl {}
- data ImportSpecList = ImportSpecList Bool [ImportSpec]
- data ImportSpec
- getThisPackage :: PackageConfig -> PackageIdAndKey
- data PackageIdAndKey = PackageIdAndKey {}
- data RetrieveStrategy
Documentation
data PackageDescr Source
Constructors
| PackageDescr | |
Fields | |
Key we use to identify a module in the metadata. But for Main modules we need to know the source file path.
Constructors
| LibModule ModuleName | |
| MainModule FilePath |
displayModuleKey :: ModuleKey -> String Source
Display a the module key
parseModuleKey :: String -> FilePath -> Maybe ModuleKey Source
Parse a module key from the name of the module and the source file path.
moduleKeyToName :: ModuleKey -> ModuleName Source
Extract the module name from the module key
data ModuleDescr Source
Constructors
| ModuleDescr | |
Fields
| |
Constructors
| Real RealDescr | |
| Reexported ReexportedDescr |
Constructors
| RealDescr | |
Fields | |
data ReexportedDescr Source
Constructors
| ReexportedDescr | |
Fields
| |
Constructors
| Present alpha |
Constructors
| VariableDescr | |
| FieldDescr Descr | |
| ConstructorDescr Descr | |
| DataDescr [SimpleDescr] [SimpleDescr] | first constructors, then fields |
| TypeDescr | |
| NewtypeDescr SimpleDescr (Maybe SimpleDescr) | first constructors, then maybe field |
| ClassDescr [Text] [SimpleDescr] | first super, then methods |
| MethodDescr Descr | classDescr |
| InstanceDescr [Text] | binds |
| KeywordDescr | |
| ExtensionDescr | |
| ModNameDescr | |
| QualModNameDescr | |
| ErrorDescr |
data SimpleDescr Source
Constructors
| SimpleDescr | |
Fields
| |
Constructors
| forall alpha . SymbolTable alpha => GenScopeC (PackScope alpha) |
dscMbTypeStr :: Descr -> Maybe ByteString Source
dscMbModu :: Descr -> Maybe PackModule Source
The definition module
dsMbModu :: Descr -> Maybe PackModule Source
The exporting module
dscMbLocation :: Descr -> Maybe Location Source
dscMbComment :: Descr -> Maybe ByteString Source
dscTypeHint :: Descr -> TypeDescr Source
dscExported :: Descr -> Bool Source
isReexported :: Descr -> Bool Source
Constructors
| SymbolTable alpha => PackScope (Map PackageIdentifier PackageDescr) alpha |
class SymbolTable alpha where Source
Methods
symLookup :: Text -> alpha -> [Descr] Source
symbols :: alpha -> Set Text Source
symSplitLookup :: Text -> alpha -> (alpha, Maybe [Descr], alpha) Source
symInsert :: Text -> [Descr] -> alpha -> alpha Source
Instances
| SymbolTable (Map Text [Descr]) Source |
data PackModule Source
Constructors
| PM | |
Fields
| |
parsePackModule :: Text -> PackModule Source
showPackModule :: PackModule -> Text Source
Constructors
| Location | |
Fields
| |
A portion of the source, spanning one or more lines and zero or more columns.
Constructors
| SrcSpan | |
Fields | |
Constructors
| PackageScope Bool | |
| WorkspaceScope Bool | |
| SystemScope |
data ServerCommand Source
Constructors
| SystemCommand | |
| WorkspaceCommand | |
| ParseHeaderCommand | |
Fields | |
data ServerAnswer Source
Constructors
| ServerOK | |
| ServerFailed Text | |
| ServerHeader (Either [ImportDecl] Int) |
data ImportDecl Source
An import declaration.
Constructors
| ImportDecl | |
Fields
| |
data ImportSpecList Source
An explicit import specification list.
Constructors
| ImportSpecList Bool [ImportSpec] |
data ImportSpec Source
An import specification, representing a single explicit item imported (or hidden) from a module.
Constructors
| IVar Text | variable |
| IAbs Text |
|
| IThingAll Text |
|
| IThingWith Text [Text] |
|
data PackageIdAndKey Source
Constructors
| PackageIdAndKey | |
Fields | |