haskell-tools-ast-0.6.0.0: Haskell AST for efficient tooling

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Tools.AST.SemaInfoClasses

Contents

Synopsis

Information about names

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

Domains that have semantic information for names

class HasNameInfo' si where Source #

Infos that may have a name that can be extracted

Minimal complete definition

semanticsName

Methods

semanticsName :: si -> Maybe Name Source #

Information about typed names

class HasNameInfo' si => HasIdInfo' si where Source #

Infos that may have a typed name that can be extracted

Minimal complete definition

semanticsId

Methods

semanticsId :: si -> Id Source #

Fixity information

class HasFixityInfo' si where Source #

Infos that may have a fixity information

Minimal complete definition

semanticsFixity

Scope information

class HasScopeInfo' si where Source #

Infos that contain the names that are available in theirs scope

Minimal complete definition

semanticsScope

Methods

semanticsScope :: si -> Scope Source #

Information about names being defined

class HasDefiningInfo' si where Source #

Infos that store if they were used to define a name

Minimal complete definition

semanticsDefining

Methods

semanticsDefining :: si -> Bool Source #

Information about source info in sema

Information about modules

class HasModuleInfo' si where Source #

Information about imports

Information about implicitly bounded fields

AST elements with no information