Language.Haskell.Refact.HaRe

Data Structures

data RefactSettings

Constructors

RefSet

Fields

• rsetVerboseLevel :: !VerboseLevel
• rsetEnabledTargets :: (Bool, Bool, Bool, Bool)

Instances

Show RefactSettings

Methods

showsPrec :: Int -> RefactSettings -> ShowS

show :: RefactSettings -> String

showList :: [RefactSettings] -> ShowS

data VerboseLevel

Constructors

Debug

Normal

Off

Instances

Eq VerboseLevel

Methods

(==) :: VerboseLevel -> VerboseLevel -> Bool

(/=) :: VerboseLevel -> VerboseLevel -> Bool

Show VerboseLevel

Methods

showsPrec :: Int -> VerboseLevel -> ShowS

show :: VerboseLevel -> String

showList :: [VerboseLevel] -> ShowS

defaultSettings :: RefactSettings

type SimpPos = (Int, Int)

Re-exported from ghc-mod

data Options :: *

Constructors

Options

Fields

• optOutput :: OutputOpts
• optPrograms :: Programs
• optGhcUserOptions :: [GHCOption]

  GHC command line options set on the ghc-mod command line

• optFileMappings :: [(FilePath, Maybe FilePath)]
• optEncoding :: String

Instances

Show Options

Methods

showsPrec :: Int -> Options -> ShowS

show :: Options -> String

showList :: [Options] -> ShowS

defaultOptions :: Options

A default Options.

Refactorings

ifToCase :: RefactSettings -> Options -> FilePath -> SimpPos -> SimpPos -> IO [FilePath]

Convert an if expression to a case expression

compIfToCase :: FilePath -> SimpPos -> SimpPos -> RefactGhc [ApplyRefacResult]

duplicateDef :: RefactSettings -> Options -> FilePath -> String -> SimpPos -> IO [FilePath]

This refactoring duplicates a definition (function binding or simple pattern binding) at the same level with a new name provided by the user. The new name should not cause name clash/capture.

compDuplicateDef :: FilePath -> String -> SimpPos -> RefactGhc [ApplyRefacResult]

liftToTopLevel :: RefactSettings -> Options -> FilePath -> SimpPos -> IO [FilePath]

Lift a definition to the top level

compLiftToTopLevel :: FilePath -> SimpPos -> RefactGhc [ApplyRefacResult]

liftOneLevel :: RefactSettings -> Options -> FilePath -> SimpPos -> IO [FilePath]

Move a definition one level up from where it is now

compLiftOneLevel :: FilePath -> SimpPos -> RefactGhc [ApplyRefacResult]

demote :: RefactSettings -> Options -> FilePath -> SimpPos -> IO [FilePath]

Move a definition one level down

compDemote :: FilePath -> SimpPos -> RefactGhc [ApplyRefacResult]

rename :: RefactSettings -> Options -> FilePath -> String -> SimpPos -> IO [FilePath]

Rename the given identifier.

compRename :: FilePath -> String -> SimpPos -> RefactGhc [ApplyRefacResult]

Body of the refactoring

addOneParameter :: RefactSettings -> Options -> FilePath -> String -> SimpPos -> IO [FilePath]

compAddOneParameter :: FilePath -> String -> SimpPos -> RefactGhc [ApplyRefacResult]

rmOneParameter :: RefactSettings -> Options -> FilePath -> SimpPos -> IO [FilePath]

The refactoring removes a user specified formal parameter in a function binding,and the corresponding actual parameters in all calling places of this function. The condition acompanying this refactoring is that the parameter to be removed is not being used. The SimpPos should be somwewhere inside the parameter to be removed

compRmOneParameter :: FilePath -> SimpPos -> RefactGhc [ApplyRefacResult]

roundTrip :: RefactSettings -> Options -> FilePath -> IO [FilePath]

Roundtrip the source code, to check that the infrastructure is solid