Language.Haskell.Tools.AST.SemaInfoClasses

Information about names

type HasNameInfo dom = (Domain dom, HasNameInfo' (SemanticInfo dom UQualifiedName))

Domains that have semantic information for names

class HasNameInfo' si where

Infos that may have a name that can be extracted

Minimal complete definition

semanticsName

Methods

semanticsName :: si -> Maybe Name

Instances

HasNameInfo' CNameInfo

Methods

semanticsName :: CNameInfo -> Maybe Name

HasNameInfo' (NameInfo Name)

Methods

semanticsName :: NameInfo Name -> Maybe Name

HasNameInfo dom => HasNameInfo' (Ann UQualifiedName dom st)

Methods

semanticsName :: Ann UQualifiedName dom st -> Maybe Name

Information about typed names

type HasIdInfo dom = (Domain dom, HasIdInfo' (SemanticInfo dom UQualifiedName))

class HasNameInfo' si => HasIdInfo' si where

Infos that may have a typed name that can be extracted

Minimal complete definition

semanticsId

Methods

semanticsId :: si -> Id

Instances

HasIdInfo' CNameInfo

Methods

semanticsId :: CNameInfo -> Id

HasIdInfo dom => HasIdInfo' (Ann UQualifiedName dom st)

Methods

semanticsId :: Ann UQualifiedName dom st -> Id

Fixity information

type HasFixityInfo dom = (Domain dom, HasFixityInfo' (SemanticInfo dom UQualifiedName))

class HasFixityInfo' si where

Infos that may have a fixity information

Minimal complete definition

semanticsFixity

Methods

semanticsFixity :: si -> Maybe Fixity

Instances

HasFixityInfo' CNameInfo

Methods

semanticsFixity :: CNameInfo -> Maybe Fixity

HasFixityInfo dom => HasFixityInfo' (Ann UQualifiedName dom st)

Methods

semanticsFixity :: Ann UQualifiedName dom st -> Maybe Fixity

Scope information

type HasScopeInfo dom = (Domain dom, HasScopeInfo' (SemanticInfo dom UQualifiedName), HasScopeInfo' (SemanticInfo dom UExpr))

class HasScopeInfo' si where

Infos that contain the names that are available in theirs scope

Minimal complete definition

semanticsScope

Methods

semanticsScope :: si -> Scope

Instances

HasScopeInfo' CNameInfo

Methods

semanticsScope :: CNameInfo -> Scope

HasScopeInfo' ScopeInfo

Methods

semanticsScope :: ScopeInfo -> Scope

HasScopeInfo' (NameInfo n)

Methods

semanticsScope :: NameInfo n -> Scope

HasScopeInfo dom => HasScopeInfo' (Ann UQualifiedName dom st)

Methods

semanticsScope :: Ann UQualifiedName dom st -> Scope

HasScopeInfo dom => HasScopeInfo' (Ann UExpr dom st)

Methods

semanticsScope :: Ann UExpr dom st -> Scope

Information about names being defined

type HasDefiningInfo dom = (Domain dom, HasDefiningInfo' (SemanticInfo dom UQualifiedName))

class HasDefiningInfo' si where

Infos that store if they were used to define a name

Minimal complete definition

semanticsDefining

Methods

semanticsDefining :: si -> Bool

Instances

HasDefiningInfo' CNameInfo

Methods

semanticsDefining :: CNameInfo -> Bool

HasDefiningInfo' (NameInfo n)

Methods

semanticsDefining :: NameInfo n -> Bool

HasDefiningInfo dom => HasDefiningInfo' (Ann UQualifiedName dom st)

Methods

semanticsDefining :: Ann UQualifiedName dom st -> Bool

Information about source info in sema

class HasSourceInfoInSema' si where

Minimal complete definition

semanticsSourceInfo

Methods

semanticsSourceInfo :: si -> Maybe SrcSpan

Instances

HasSourceInfoInSema' (NameInfo n)

Methods

semanticsSourceInfo :: NameInfo n -> Maybe SrcSpan

Information about modules

type HasModuleInfo dom = (Domain dom, HasModuleInfo' (SemanticInfo dom UModule))

class HasModuleInfo' si where

Minimal complete definition

semanticsModule, isBootModule, semanticsImplicitImports, semanticsPrelOrphanInsts, semanticsPrelFamInsts

Methods

semanticsModule :: si -> Module

isBootModule :: si -> Bool

semanticsImplicitImports :: si -> [Name]

semanticsPrelOrphanInsts :: si -> [ClsInst]

semanticsPrelFamInsts :: si -> [FamInst]

Instances

HasModuleInfo' (ModuleInfo Id)

Methods

semanticsModule :: ModuleInfo Id -> Module

isBootModule :: ModuleInfo Id -> Bool

semanticsImplicitImports :: ModuleInfo Id -> [Name]

semanticsPrelOrphanInsts :: ModuleInfo Id -> [ClsInst]

semanticsPrelFamInsts :: ModuleInfo Id -> [FamInst]

HasModuleInfo' (ModuleInfo Name)

Methods

semanticsModule :: ModuleInfo Name -> Module

isBootModule :: ModuleInfo Name -> Bool

semanticsImplicitImports :: ModuleInfo Name -> [Name]

semanticsPrelOrphanInsts :: ModuleInfo Name -> [ClsInst]

semanticsPrelFamInsts :: ModuleInfo Name -> [FamInst]

HasModuleInfo dom => HasModuleInfo' (Ann UModule dom st)

Methods

semanticsModule :: Ann UModule dom st -> Module

isBootModule :: Ann UModule dom st -> Bool

semanticsImplicitImports :: Ann UModule dom st -> [Name]

semanticsPrelOrphanInsts :: Ann UModule dom st -> [ClsInst]

semanticsPrelFamInsts :: Ann UModule dom st -> [FamInst]

Information about imports

type HasImportInfo dom = (Domain dom, HasImportInfo' (SemanticInfo dom UImportDecl))

class HasImportInfo' si where

Minimal complete definition

semanticsImportedModule, semanticsAvailable, semanticsImported, semanticsOrphanInsts, semanticsFamInsts

Methods

semanticsImportedModule :: si -> Module

semanticsAvailable :: si -> [Name]

semanticsImported :: si -> [Name]

semanticsOrphanInsts :: si -> [ClsInst]

semanticsFamInsts :: si -> [FamInst]

Instances

HasImportInfo' (ImportInfo Id)

Methods

semanticsImportedModule :: ImportInfo Id -> Module

semanticsAvailable :: ImportInfo Id -> [Name]

semanticsImported :: ImportInfo Id -> [Name]

semanticsOrphanInsts :: ImportInfo Id -> [ClsInst]

semanticsFamInsts :: ImportInfo Id -> [FamInst]

HasImportInfo' (ImportInfo Name)

Methods

semanticsImportedModule :: ImportInfo Name -> Module

semanticsAvailable :: ImportInfo Name -> [Name]

semanticsImported :: ImportInfo Name -> [Name]

semanticsOrphanInsts :: ImportInfo Name -> [ClsInst]

semanticsFamInsts :: ImportInfo Name -> [FamInst]

HasImportInfo dom => HasImportInfo' (Ann UImportDecl dom st)

Methods

semanticsImportedModule :: Ann UImportDecl dom st -> Module

semanticsAvailable :: Ann UImportDecl dom st -> [Name]

semanticsImported :: Ann UImportDecl dom st -> [Name]

semanticsOrphanInsts :: Ann UImportDecl dom st -> [ClsInst]

semanticsFamInsts :: Ann UImportDecl dom st -> [FamInst]

Information about implicitely bounded fields

type HasImplicitFieldsInfo dom = (Domain dom, HasImplicitFieldsInfo' (SemanticInfo dom UFieldWildcard))

class HasImplicitFieldsInfo' si where

Minimal complete definition

semanticsImplicitFlds

Methods

semanticsImplicitFlds :: si -> [(Name, Name)]

Instances

HasImplicitFieldsInfo' ImplicitFieldInfo

Methods

semanticsImplicitFlds :: ImplicitFieldInfo -> [(Name, Name)]

HasImplicitFieldsInfo dom => HasImplicitFieldsInfo' (Ann UFieldWildcard dom st)

Methods

semanticsImplicitFlds :: Ann UFieldWildcard dom st -> [(Name, Name)]

AST elements with no information

type HasNoSemanticInfo dom si = SemanticInfo dom si ~ NoSemanticInfo