Language.Haskell.Tools.Refactor.ExtractBinding

Documentation

type STWithId = STWithNames Id

extractBinding' :: RealSrcSpan -> String -> Ann Module STWithId -> RefactoredModule Id

extractBinding :: Simple Traversal (Ann Module STWithId) (Ann ValueBind STWithId) -> Simple Traversal (Ann ValueBind STWithId) (Ann Expr STWithId) -> String -> Ann Module STWithId -> RefactoredModule Id

isConflicting :: String -> Ann SimpleName STWithId -> Bool

extractThatBind :: String -> Ann Expr STWithId -> Ann Expr STWithId -> StateT (Maybe (Ann ValueBind STWithId)) (Refactor Id) (Ann Expr STWithId)

addLocalBinding :: SrcSpan -> SrcSpan -> Ann ValueBind STWithId -> ValueBind STWithId -> State Bool (ValueBind STWithId)

insertLocalBind :: SrcSpan -> Ann ValueBind STWithId -> AnnMaybe LocalBinds STWithId -> AnnMaybe LocalBinds STWithId

isParenLikeExpr :: Expr a -> Bool

All expressions that are bound stronger than function application.

doExtract :: String -> Ann Expr STWithId -> Ann Expr STWithId -> StateT (Maybe (Ann ValueBind STWithId)) (Refactor Id) (Ann Expr STWithId)

getExternalBinds :: Ann Expr STWithId -> Ann Expr STWithId -> [Ann Name STWithId]

Gets the values that have to be passed to the extracted definition

actualContainingExpr :: SrcSpan -> Simple Traversal (Ann ValueBind STWithId) (Ann Expr STWithId)

generateCall :: String -> [Ann Name STWithId] -> Ann Expr STWithId

Generates the expression that calls the local binding

generateBind :: String -> [Ann Pattern STWithId] -> Ann Expr STWithId -> Ann ValueBind STWithId

Generates the local binding for the selected expression

isValidBindingName :: String -> Bool