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

logParsedSource

from `Utils`

Managing the GHC / project environment

parseSourceFileGhc

The bits that do the work

runRefacSession

runMultRefacSession

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

Parsing source

parseDeclWithAnns

from `LocUtils`

getLocatedStart

from `TypeSyn`

from `TypeUtils`

Program Analysis

Imports and exports

isInScopeAndUnqualified

isInScopeAndUnqualifiedGhc

isExplicitlyExported

equivalentNameInNewMod

Variable analysis

isDeclaredInRdr

data DeclaredNames

hsFreeAndDeclaredNameStrings

hsFreeAndDeclaredRdr

hsFreeAndDeclaredPNs

getDeclaredVarsRdr

hsVisibleNamesRdr

hsFDsFromInsideRdr

hsFDNamesFromInsideRdr

hsFDNamesFromInsideRdrPure

rdrName2NamePure

Property checking

isNonLibraryName

isSimplePatBind

isSimplePatDecl

isComplexPatBind

isComplexPatDecl

isFunOrPatBindP

isFunOrPatBindR

usedWithoutQualR

definesTypeSigRdr

class UsedByRhs t

Modules and files

Locations

locToNameRdrPure

Program transformation

Adding

addItemsToImport

addItemsToExport

addParamsToDecls

addParamsToSigs

addActualParamsToRhs

Removing

Updating

qualifyToplevelName

autoRenameLocalVar

Identifiers, expressions, patterns and declarations

definedNamesRdr

definingDeclsRdrNames

definingDeclsRdrNames'

definingSigsRdrNames

definingTyClDeclsNames

Others

mkQualifiedRdrName

mkNewToplevelName

registerRdrName

causeNameClashInExports

declsSybTransform

Typed AST traversals (added by CMB)

Miscellous

from `GhcUtils`

SYB versions

everywhereMStaged'

everywhereStaged

everywhereStaged'

Scrap Your Zipper versions

zeverywhereStaged

zsomewhereStaged

ztransformStagedM

SYZ utilities

from `GhcVersionSpecific`

from `TokenUtils`

from `ExactPrint'`

mergeRefactAnns

setAnnKeywordDP

clearPriorComments

balanceAllComments

exactPrintParsed

handleParseResult

type UnlocParsedHsBind

type ParsedGRHSs

type ParsedMatchGroup

type ParsedLMatch

type ParsedExpr

type ParsedLStmt

type ParsedLExpr

type ParsedBind

addSimpleImportDecl

wrapInParsWithDPs