Documentation

type FloatOutDefinition dom = (HasNameInfo dom, HasScopeInfo dom) #

floatOut :: FloatOutDefinition dom => RealSrcSpan -> LocalRefactoring dom #

data FloatState dom #

extractAndInsert :: FloatOutDefinition dom => RealSrcSpan -> LocalBindList dom -> StateT (FloatState dom) (LocalRefactor dom) (LocalBindList dom) #

checkConflict :: forall dom. FloatOutDefinition dom => LocalBind dom -> ([String], [String]) #