Safe Haskell	None
Language	Haskell2010

Refact.Internal

Contents

Support for runPipe in the main process

Synopsis

apply :: Maybe (Int, Int) -> Bool -> [(String, [Refactoring SrcSpan])] -> Maybe FilePath -> Verbosity -> Anns -> Module -> IO String
runRefactoring :: Data a => Anns -> a -> AnnKeyMap -> Refactoring SrcSpan -> StateT Int IO (Anns, a, AnnKeyMap)
addExtensionsToFlags :: [Extension] -> [Extension] -> FilePath -> DynFlags -> IO (Either String DynFlags)
parseModuleWithArgs :: ([Extension], [Extension]) -> FilePath -> IO (Either Errors (Anns, ParsedSource))
parseExtensions :: [String] -> ([Extension], [Extension], [String])
data Verbosity
- = Silent
- | Normal
- | Loud
rigidLayout :: DeltaOptions
refactOptions :: PrintOptions Identity String
type Errors = ErrorMessages
onError :: String -> Errors -> a
mkErr :: DynFlags -> SrcSpan -> String -> Errors

Documentation

apply :: Maybe (Int, Int) -> Bool -> [(String, [Refactoring SrcSpan])] -> Maybe FilePath -> Verbosity -> Anns -> Module -> IO String Source #

Apply a set of refactorings as supplied by hlint

runRefactoring :: Data a => Anns -> a -> AnnKeyMap -> Refactoring SrcSpan -> StateT Int IO (Anns, a, AnnKeyMap) Source #

Peform a Refactoring.

addExtensionsToFlags :: [Extension] -> [Extension] -> FilePath -> DynFlags -> IO (Either String DynFlags) Source #

parseModuleWithArgs :: ([Extension], [Extension]) -> FilePath -> IO (Either Errors (Anns, ParsedSource)) Source #

parseExtensions :: [String] -> ([Extension], [Extension], [String]) Source #

Parse the input into (enabled extensions, disabled extensions, invalid input). Implied extensions are automatically added. For example, FunctionalDependencies implies MultiParamTypeClasses, and RebindableSyntax implies NoImplicitPrelude.

The input is processed from left to right. An extension (e.g., StarIsType) may be overridden later (e.g., by NoStarIsType).

Extensions that appear earlier in the input will appear later in the output. Implied extensions appear in the end. If an extension occurs multiple times in the input, the last one is used.

>>> parseExtensions ["GADTs", "RebindableSyntax", "StarIsType", "GADTs", "InvalidExtension", "NoStarIsType"]
([GADTs, RebindableSyntax, GADTSyntax, MonoLocalBinds], [StarIsType, ImplicitPrelude], ["InvalidExtension"])

Support for runPipe in the main process

data Verbosity Source #

Constructors

Silent
Normal
Loud

Instances

Instances details

Eq Verbosity Source #
Instance details Defined in Refact.Internal Methods (==) :: Verbosity -> Verbosity -> Bool # (/=) :: Verbosity -> Verbosity -> Bool #
Ord Verbosity Source #
Instance details Defined in Refact.Internal Methods compare :: Verbosity -> Verbosity -> Ordering # (<) :: Verbosity -> Verbosity -> Bool # (<=) :: Verbosity -> Verbosity -> Bool # (>) :: Verbosity -> Verbosity -> Bool # (>=) :: Verbosity -> Verbosity -> Bool # max :: Verbosity -> Verbosity -> Verbosity # min :: Verbosity -> Verbosity -> Verbosity #
Show Verbosity Source #
Instance details Defined in Refact.Internal Methods showsPrec :: Int -> Verbosity -> ShowS # show :: Verbosity -> String # showList :: [Verbosity] -> ShowS #

rigidLayout :: DeltaOptions Source #

refactOptions :: PrintOptions Identity String Source #

type Errors = ErrorMessages Source #

onError :: String -> Errors -> a Source #

mkErr :: DynFlags -> SrcSpan -> String -> Errors Source #