Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type Refactored = Bool Source #
type Refactoring m = forall b. Typeable b => b -> SourceText -> StateT Position m (SourceText, Refactored) Source #
reprint :: (Monad m, Data p) => Refactoring m -> p -> SourceText -> m SourceText Source #
enter :: Monad m => Refactoring m -> Zipper a -> SourceText -> StateT Position m SourceText Source #
enterDown :: Monad m => Refactoring m -> Zipper a -> SourceText -> StateT Position m SourceText Source #
enterRight :: Monad m => Refactoring m -> Zipper a -> SourceText -> StateT Position m SourceText Source #
takeBounds :: (Position, Position) -> SourceText -> (SourceText, SourceText) Source #
takeBounds' :: (Ord t1, Num t1, Num t, Eq t) => ((t1, t), (t1, t)) -> ByteString -> ByteString -> (ByteString, ByteString) Source #