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