Language.Haskell.Tools.AST.SemaInfoClasses

Documentation

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

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

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

class 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

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

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

type HasScopeInfo dom = (Domain dom, HasScopeInfo' (SemanticInfo dom QualifiedName), HasScopeInfo' (SemanticInfo dom Expr))

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

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

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

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

class HasModuleInfo' si where

Minimal complete definition

semanticsModule, isBootModule, semanticsImplicitImports

Methods

semanticsModule :: si -> Module

isBootModule :: si -> Bool

semanticsImplicitImports :: si -> [Name]

Instances

HasModuleInfo' (ModuleInfo Id)

Methods

semanticsModule :: ModuleInfo Id -> Module

isBootModule :: ModuleInfo Id -> Bool

semanticsImplicitImports :: ModuleInfo Id -> [Name]

HasModuleInfo' (ModuleInfo Name)

Methods

semanticsModule :: ModuleInfo Name -> Module

isBootModule :: ModuleInfo Name -> Bool

semanticsImplicitImports :: ModuleInfo Name -> [Name]

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

class HasImportInfo' si where

Minimal complete definition

semanticsImportedModule, semanticsAvailable, semanticsImported

Methods

semanticsImportedModule :: si -> Module

semanticsAvailable :: si -> [Name]

semanticsImported :: si -> [Name]

Instances

HasImportInfo' (ImportInfo Id)

Methods

semanticsImportedModule :: ImportInfo Id -> Module

semanticsAvailable :: ImportInfo Id -> [Name]

semanticsImported :: ImportInfo Id -> [Name]

HasImportInfo' (ImportInfo Name)

Methods

semanticsImportedModule :: ImportInfo Name -> Module

semanticsAvailable :: ImportInfo Name -> [Name]

semanticsImported :: ImportInfo Name -> [Name]

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

class HasImplicitFieldsInfo' si where

Minimal complete definition

semanticsImplicitFlds

Methods

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

Instances

HasImplicitFieldsInfo' ImplicitFieldInfo

Methods

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