Language.Haskell.Refact.Utils.Variables

Variable analysis

isFieldName :: Name -> Bool

True if the name is a field name

isClassName :: Name -> Bool

True if the name is a field name

isInstanceName :: Name -> Bool

True if the name is a class instance

isDeclaredInRdr :: NameMap -> Name -> [LHsDecl RdrName] -> Bool

data FreeNames

For free variables

Constructors

FN

Fields

fn :: [Name]

Instances

Show FreeNames

Monoid FreeNames

data DeclaredNames

For declared variables

Constructors

DN

Fields

dn :: [Name]

Instances

Show DeclaredNames

Monoid DeclaredNames

hsFreeAndDeclaredRdr :: Data t => NameMap -> t -> (FreeNames, DeclaredNames)

Collect the free and declared variables (in the GHC.Name format) in a given syntax phrase t. In the result, the first list contains the free variables, and the second list contains the declared variables. Expects RenamedSource

hsFreeAndDeclaredNameStrings :: Data t => t -> RefactGhc ([String], [String])

The same as hsFreeAndDeclaredPNs except that the returned variables are in the String format.

hsFreeAndDeclaredPNs :: Data t => t -> RefactGhc ([Name], [Name])

Return the free and declared Names in the given syntax fragment. The syntax fragment MUST be parameterised by RdrName, else the empty list will be returned.

getDeclaredTypesRdr :: LHsDecl RdrName -> RefactGhc [Name]

Get the names of all types declared in the given declaration getDeclaredTypesRdr :: GHC.LTyClDecl GHC.RdrName -> RefactGhc [GHC.Name]

getDeclaredVarsRdr :: NameMap -> [LHsDecl RdrName] -> [Name]

hsVisibleNamesRdr :: Data t2 => Name -> t2 -> RefactGhc [String]

Same as hsVisiblePNsRdr except that the returned identifiers are in String format.

hsFDsFromInsideRdr :: Data t => NameMap -> t -> (FreeNames, DeclaredNames)

hsFDsFromInsideRdr is different from hsFreeAndDeclaredPNs in that: given an syntax phrase t, hsFDsFromInsideRdr returns not only the declared variables that are visible from outside of t, but also those declared variables that are visible to the main expression inside t. NOTE: Expects to be given ParsedSource

hsFDNamesFromInsideRdr :: Data t => t -> RefactGhc ([String], [String])

The same as hsFDsFromInside except that the returned variables are in the String format

hsFDNamesFromInsideRdrPure :: Data t => NameMap -> t -> ([String], [String])

The same as hsFDsFromInside except that the returned variables are in the String format

hsVisibleDsRdr :: Data t => NameMap -> Name -> t -> RefactGhc DeclaredNames

Given a Name n and a syntax phrase t, if n occurs in t, then return those variables which are declared in t and accessible to n, otherwise return [].

rdrName2Name :: Located RdrName -> RefactGhc Name

rdrName2NamePure :: NameMap -> Located RdrName -> Name

eqRdrNamePure :: NameMap -> Located RdrName -> Name -> Bool

Identifiers, expressions, patterns and declarations

class (Data a, Typeable a) => FindEntity a where

Deprecated: Can't use Renamed in GHC 8

Methods

findEntity :: Data b => a -> b -> Bool

Returns True is a syntax phrase, say a, is part of another syntax phrase, say b. NOTE: very important: only do a shallow check

Instances

FindEntity Name

FindEntity (LHsExpr RdrName)

FindEntity (LHsExpr Name)

FindEntity (Located (HsDecl Name))

FindEntity (Located (HsBindLR Name Name))

FindEntity (Located RdrName)

FindEntity (Located Name)

findNameInRdr :: Data t => NameMap -> Name -> t -> Bool

Return True if the specified Name ocuurs in the given syntax phrase.

findNamesRdr :: Data t => NameMap -> [Name] -> t -> Bool

Return True if any of the specified PNames ocuur in the given syntax phrase.

sameOccurrence :: Located t -> Located t -> Bool

Return True if syntax phrases t1 and t2 refer to the same one.

definedPNsRdr :: LHsDecl RdrName -> [Located RdrName]

definedNamesRdr :: NameMap -> LHsDecl RdrName -> [Name]

definingDeclsRdrNames

Arguments

:: NameMap

-> [Name]

The specified identifiers.

-> [LHsDecl RdrName]

A collection of declarations.

-> Bool

True means to include the type signature.

-> Bool

True means to look at the local declarations as well.

-> [LHsDecl RdrName]

The result.

Find those declarations(function/pattern binding) which define the specified GHC.Names. incTypeSig indicates whether the corresponding type signature will be included.

definingDeclsRdrNames'

Arguments

:: Data t

=> NameMap

-> [Name]

The specified identifiers.

-> t

A collection of declarations.

-> [LHsDecl RdrName]

The result.

Find those declarations(function/pattern binding) which define the specified GHC.Names. incTypeSig indicates whether the corresponding type signature will be included.

definingSigsRdrNames

Arguments

:: Data t

=> NameMap

-> [Name]

The specified identifiers.

-> t

A collection of declarations.

-> [LSig RdrName]

The result.

Find those type signatures for the specified GHC.Names.

definingTyClDeclsNames

Arguments

:: Data t

=> NameMap

-> [Name]

The specified identifiers.

-> t

A collection of declarations.

-> [LTyClDecl RdrName]

The result.

Find those declarations which define the specified GHC.Names.

definesRdr :: NameMap -> Name -> LHsBind RdrName -> Bool

Return True if the function/pattern binding defines the specified identifier.

definesDeclRdr :: NameMap -> Name -> LHsDecl RdrName -> Bool

Unwraps a LHsDecl and calls definesRdr on the result if a HsBind

definesTypeSigRdr :: NameMap -> Name -> Sig RdrName -> Bool

Return True if the declaration defines the type signature of the specified identifier.

definesSigDRdr :: NameMap -> Name -> LHsDecl RdrName -> Bool

Unwraps a LHsDecl and calls definesRdr on the result if a Sig

hsTypeVbls :: Data t => t -> ([RdrName], [RdrName])

Collect those type variables that are declared in a given syntax phrase t. In the returned result, the first list is always be empty.

hsNamessRdr :: Data t => t -> [Located RdrName]

Get all the names in the given syntax element

findLRdrName :: Data t => NameMap -> Name -> t -> Bool

Does the given Name appear as a Located RdrName anywhere in t?

locToNameRdr

Arguments

:: Data t

=> SimpPos

The row and column number

-> t

The syntax phrase, parameterised by RdrName

-> RefactGhc (Maybe Name)

The result

Find the identifier(in GHC.Name format) whose start position is (row,col) in the file specified by the fileName, and returns Nothing if such an identifier does not exist.

locToNameRdrPure

Arguments

:: Data t

=> NameMap

-> SimpPos

The row and column number

-> t

The syntax phrase, parameterised by RdrName

-> Maybe Name

The result

Find the identifier(in GHC.Name format) whose start position is (row,col) in the file specified by the fileName, and returns Nothing if such an identifier does not exist.

locToRdrName

Arguments

:: Data t

=> SimpPos

The row and column number

-> t

The syntax phrase

-> Maybe (Located RdrName)

The result

Find the identifier(in GHC.RdrName format) whose start position is (row,col) in the file specified by the fileName, and returns Nothing if such an identifier does not exist.