Language.Haskell.Refact.API

from `Monad`

type ParseResult

data VerboseLevel

data RefactSettings

type TargetModule

data RefactFlags

data StateStorage

The GHC Monad

type RefactGhc a

getRefacSettings

defaultSettings

loadModuleGraphGhc

ensureTargetLoaded

canonicalizeGraph

from `Utils`

Managing the GHC / project environment

parseSourceFileGhc

getModuleDetails

The bits that do the work

runRefacSession

type ApplyRefacResult

data RefacSource

fileNameToModName

fileNameFromModSummary

clientModsAndFiles

serverModsAndFiles

from `MonadFunctions`

Conveniences for state access

fetchLinesFinal

getTypecheckedModule

getRefactStreamModified

getRefactInscopes

getRefactRenamed

putRefactRenamed

getRefactParsed

putParsedModule

clearParsedModule

getRefactFileName

TokenUtils API

putDeclToksForSpan

getToksBeforeSpan

addToksAfterSpan

addToksAfterPos

putDeclToksAfterSpan

removeToksForSpan

removeToksForPos

syncDeclToLatestStash

indentDeclAndToks

LayoutUtils API

For debugging

drawTokenTreeDetailed

State flags for managing generic traversals

clearRefactDone

setStateStorage

getStateStorage

updateToksWithPos

from `LocUtils`

whiteSpaceTokens

realSrcLocFromTok

isWhiteSpaceOrIgnored

isIgnoredNonComment

isMultiLineComment

isOpenSquareBracket

isCloseSquareBracket

startsWithNewLn

compressPreNewLns

compressEndNewLns

lengthOfLastLine

replaceTokNoReAlign

getBiggestStartEndLoc

extendBackwards

startEndLocIncFowComment

startEndLocIncComments

startEndLocIncComments'

prettyprintPatList

groupTokensByLine

increaseSrcSpan

getLocatedStart

realSrcLocEndTok

fileNameFromTok

getIndentOffset

addOffsetToToks

rmOffsetFromToks

from `TypeSyn`

from `TypeUtils`

Program Analysis

Imports and exports

isInScopeAndUnqualified

isInScopeAndUnqualifiedGhc

isExplicitlyExported

Variable analysis

class HsValBinds t

hsFreeAndDeclaredPNsOld

hsFreeAndDeclaredNameStrings

hsFreeAndDeclaredPNs

hsFreeAndDeclaredGhc

getDeclaredTypes

getDeclaredVars

hsFDsFromInside

hsFDNamesFromInside

Property checking

isNonLibraryName

isSimplePatBind

isComplexPatBind

isFunOrPatBindP

isFunOrPatBindR

usedWithoutQualR

findAllNameOccurences

class UsedByRhs t

Modules and files

Locations

Program transformation

Adding

addItemsToImport

addParamsToDecls

addActualParamsToRhs

Removing

Updating

qualifyToplevelName

autoRenameLocalVar

Miscellous

Parsing, writing and showing

Locations

Default values

Identifiers, expressions, patterns and declarations

definingDeclsNames

definingDeclsNames'

definingSigsNames

definingTyClDeclsNames

Others

mkNewToplevelName

causeNameClashInExports

Typed AST traversals (added by CMB)

Miscellous

Debug stuff

removeToksOffset

getParsedForRenamedLPat

getParsedForRenamedName

getParsedForRenamedLocated

stripLeadingSpaces

from `GhcUtils`

SYB versions

everythingButStaged

somethingStaged

everythingStaged

somewhereMStaged

somewhereMStagedBu

everywhereMStaged

everywhereMStaged'

everywhereStaged

everywhereStaged'

SYB Utility

checkItemRenamer

Strafunski StrategyLib versions

Strafunski utility

checkItemStage'

checkItemRenamer'

Scrap Your Zipper versions

zeverywhereStaged

zsomewhereStaged

ztransformStagedM

SYZ utilities

checkZipperStaged

from `GhcVersionSpecific`

lexStringToTokens

getDataConstructors

from `TokenUtils`

data Positioning

ghcSrcSpanToForestSpan

Span conversion functions