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