Safe Haskell | None |
---|---|
Language | Haskell98 |
- 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 -> PackageIdAndKey
- data PackageIdAndKey = PackageIdAndKey {}
- data RetrieveStrategy
Documentation
data ModuleDescr Source
ModuleDescr | |
|
data ReexportedDescr Source
Present alpha |
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
SimpleDescr | |
|
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
SymbolTable alpha => PackScope (Map PackageIdentifier PackageDescr) alpha |
class SymbolTable alpha where Source
symLookup :: Text -> alpha -> [Descr] Source
symbols :: alpha -> Set Text Source
symSplitLookup :: Text -> alpha -> (alpha, Maybe [Descr], alpha) Source
symInsert :: Text -> [Descr] -> alpha -> alpha Source
SymbolTable (Map Text [Descr]) |
data PackModule Source
PM | |
|
parsePackModule :: Text -> PackModule Source
showPackModule :: PackModule -> Text Source
Location | |
|
A portion of the source, spanning one or more lines and zero or more columns.
data ServerAnswer Source
data ImportDecl Source
An import declaration.
ImportDecl | |
|
data ImportSpecList Source
An explicit import specification list.
data ImportSpec Source
An import specification, representing a single explicit item imported (or hidden) from a module.
IVar Text | variable |
IAbs Text |
|
IThingAll Text |
|
IThingWith Text [Text] |
|