Language.Haskell.Refact.API

from `Monad`

type ParseResult

data VerboseLevel

data RefactSettings

type TargetModule

data RefactFlags

data StateStorage

The GHC Monad

data RefactGhc a

getRefacSettings

defaultSettings

logDataWithAnns

from `Utils`

Managing the GHC / project environment

parseSourceFileGhc

The bits that do the work

runRefacSession

type ApplyRefacResult

data RefacSource

fileNameFromModSummary

clientModsAndFiles

serverModsAndFiles

from `MonadFunctions`

Conveniences for state access

getTypecheckedModule

data RefacResult

getRefactStreamModified

setRefactStreamModified

getRefactInscopes

getRefactRenamed

putRefactRenamed

getRefactParsed

putRefactParsed

putParsedModule

clearParsedModule

getRefactFileName

getRefactTargetModule

getRefactNameMap

getRefactModule

getRefactModuleName

New ghc-exactprint interfacing

State flags for managing generic traversals

clearRefactDone

setStateStorage

getStateStorage

from `LocUtils`

getLocatedStart

from `TypeSyn`

from `TypeUtils`

Program Analysis

Imports and exports

isInScopeAndUnqualified

isInScopeAndUnqualifiedGhc

isExplicitlyExported

equivalentNameInNewMod

Variable analysis

class HsValBinds t name

isDeclaredInRdr

data DeclaredNames

hsFreeAndDeclaredPNsOld

hsFreeAndDeclaredNameStrings

hsFreeAndDeclaredRdr

hsFreeAndDeclaredPNs

hsFreeAndDeclaredGhc

getDeclaredTypes

getDeclaredVars

hsVisiblePNsRdr

hsVisibleNamesRdr

hsFDsFromInsideRdr

hsFDNamesFromInsideRdr

hsFDsFromInside

hsFDNamesFromInside

rdrName2NamePure

Property checking

isNonLibraryName

isSimplePatBind

isSimplePatDecl

isComplexPatBind

isComplexPatDecl

isFunOrPatBindP

isFunOrPatBindR

usedWithoutQualR

findAllNameOccurences

class UsedByRhs t

Modules and files

Locations

Program transformation

Adding

addItemsToImport

addParamsToDecls

addActualParamsToRhs

Removing

Updating

qualifyToplevelName

autoRenameLocalVar

Identifiers, expressions, patterns and declarations

definedNamesRdr

definingDeclsRdrNames

definingDeclsRdrNames'

definingSigsRdrNames

definingDeclsNames

definingDeclsNames'

definingSigsNames

definingTyClDeclsNames

Others

mkNewToplevelName

causeNameClashInExports

declsSybTransform

Typed AST traversals (added by CMB)

Miscellous

Debug stuff

getParsedForRenamedLPat

getParsedForRenamedName

getParsedForRenamedLocated

stripLeadingSpaces

from `GhcUtils`

SYB versions

everywhereMStaged'

everywhereStaged

everywhereStaged'

Scrap Your Zipper versions

zeverywhereStaged

zsomewhereStaged

ztransformStagedM

SYZ utilities

from `GhcVersionSpecific`

from `TokenUtils`

from `ExactPrint'`