Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Haskell.Tools.Refactor.Predefined.FloatOut
Documentation
type FloatOutDefinition dom = (HasNameInfo dom, HasScopeInfo dom) Source #
floatOut :: FloatOutDefinition dom => RealSrcSpan -> LocalRefactoring dom Source #
data FloatState dom Source #
Constructors
NotEncountered | |
Extracted [LocalBind dom] | |
Inserted |
extractAndInsert :: FloatOutDefinition dom => RealSrcSpan -> LocalBindList dom -> StateT (FloatState dom) (LocalRefactor dom) (LocalBindList dom) Source #
checkConflict :: forall dom. FloatOutDefinition dom => LocalBind dom -> ([String], [String]) Source #