Safe Haskell | None |
---|
- 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 [String] [SimpleDescr]
- | MethodDescr Descr
- | InstanceDescr [String]
- | KeywordDescr
- | ExtensionDescr
- | ModNameDescr
- | QualModNameDescr
- | ErrorDescr
- data DescrType
- data SimpleDescr = SimpleDescr {}
- data GenScope = forall alpha . SymbolTable alpha => GenScopeC (PackScope alpha)
- dscName :: Descr -> String
- 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 :: String -> PackModule
- showPackModule :: PackModule -> String
- packageIdentifierToString :: PackageIdentifier -> String
- packageIdentifierFromString :: String -> Maybe PackageIdentifier
- data Location = Location {
- locationSLine :: Int
- locationSCol :: Int
- locationELine :: Int
- locationECol :: Int
- data SrcSpan = SrcSpan {}
- data Scope
- data ServerCommand
- = SystemCommand { }
- | WorkspaceCommand { }
- | ParseHeaderCommand { }
- data ServerAnswer
- = ServerOK
- | ServerFailed String
- | ServerHeader (Either [ImportDecl] Int)
- leksahVersion :: String
- configDirName :: String
- metadataVersion :: Integer
- data ImportDecl = ImportDecl {}
- data ImportSpecList = ImportSpecList Bool [ImportSpec]
- data ImportSpec
- getThisPackage :: PackageConfig -> PackageIdentifier
- data RetrieveStrategy
Documentation
data ModuleDescr Source
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 [String] [SimpleDescr] | first super, then methods |
MethodDescr Descr | classDescr |
InstanceDescr [String] | binds |
KeywordDescr | |
ExtensionDescr | |
ModNameDescr | |
QualModNameDescr | |
ErrorDescr |
data SimpleDescr Source
SimpleDescr | |
|
forall alpha . SymbolTable alpha => GenScopeC (PackScope alpha) |
dscMbModu :: Descr -> Maybe PackModuleSource
The definition module
dsMbModu :: Descr -> Maybe PackModuleSource
The exporting module
dscTypeHint :: Descr -> TypeDescrSource
dscExported :: Descr -> BoolSource
isReexported :: Descr -> BoolSource
SymbolTable alpha => PackScope (Map PackageIdentifier PackageDescr) alpha |
class SymbolTable alpha whereSource
symLookup :: String -> alpha -> [Descr]Source
symbols :: alpha -> Set StringSource
symSplitLookup :: String -> alpha -> (alpha, Maybe [Descr], alpha)Source
symInsert :: String -> [Descr] -> alpha -> alphaSource
SymbolTable (Map String [Descr]) |
data PackModule Source
PM | |
|
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 String | variable |
IAbs String |
|
IThingAll String |
|
IThingWith String [String] |
|