Safe Haskell | None |
---|---|
Language | Haskell98 |
IDE.Core.CTypes
Description
- data PackageDescr = PackageDescr {}
- 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 -> PackageIdentifier
- data RetrieveStrategy
Documentation
data PackageDescr Source
Constructors
PackageDescr | |
Fields |
data ModuleDescr Source
Constructors
ModuleDescr | |
Fields
|
Constructors
Real RealDescr | |
Reexported ReexportedDescr |
Constructors
RealDescr | |
Fields |
data ReexportedDescr Source
Constructors
ReexportedDescr | |
Fields
|
Constructors
Present alpha |
Instances
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]) |
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) |
Instances
data ImportDecl Source
An import declaration.
Constructors
ImportDecl | |
Fields
|
Instances
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] |
|
Instances