| 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 #