leksah-server-0.14.3.2: Metadata collection for leksah

Safe HaskellNone
LanguageHaskell98

IDE.Core.CTypes

Description

 

Synopsis

Documentation

newtype Present alpha Source

Constructors

Present alpha 

data GenScope Source

Constructors

forall alpha . SymbolTable alpha => GenScopeC (PackScope alpha) 

dscMbModu :: Descr -> Maybe PackModule Source

The definition module

dsMbModu :: Descr -> Maybe PackModule Source

The exporting module

data PackScope alpha 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

symEmpty :: alpha Source

symElems :: alpha -> [[Descr]] Source

symUnion :: alpha -> alpha -> alpha Source

Instances

data SrcSpan Source

A portion of the source, spanning one or more lines and zero or more columns.

data ImportDecl Source

An import declaration.

Constructors

ImportDecl 

Fields

importLoc :: Location
 
importModule :: Text

name of the module imported.

importQualified :: Bool

imported qualified?

importSrc :: Bool

imported with {-# SOURCE #-}?

importPkg :: Maybe Text

imported with explicit package name

importAs :: Maybe Text

optional alias name in an as clause.

importSpecs :: Maybe ImportSpecList

optional list of import specifications.

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.

Constructors

IVar Text

variable

IAbs Text

T: the name of a class, datatype or type synonym.

IThingAll Text

T(..): a class imported with all of its methods, or a datatype imported with all of its constructors.

IThingWith Text [Text]

T(C_1,...,C_n): a class imported with some of its methods, or a datatype imported with some of its constructors.