Safe Haskell | None |
---|---|
Language | Haskell98 |
- replace :: AnnKey -> AnnKey -> Anns -> Maybe Anns
- replaceAnnKey :: (Data old, Data new) => Located old -> Located new -> Anns -> Anns
- copyAnn :: (Data old, Data new) => Located old -> Located new -> Anns -> Anns
- setAnnKeywordDP :: Data a => Located a -> KeywordId -> DeltaPos -> Transform ()
- clearPriorComments :: Data a => Located a -> Transform ()
- balanceAllComments :: Data a => Located a -> Transform (Located a)
- locate :: Data a => a -> RefactGhc (Located a)
- addEmptyAnn :: Data a => Located a -> RefactGhc ()
- addAnnVal :: Data a => Located a -> RefactGhc ()
- addAnn :: Data a => Located a -> Annotation -> RefactGhc ()
- zeroDP :: Data a => Located a -> RefactGhc ()
- setDP :: Data a => DeltaPos -> Located a -> RefactGhc ()
- handleParseResult :: String -> Either (SrcSpan, String) (Anns, a) -> RefactGhc (Anns, a)
- removeAnns :: Data a => a -> RefactGhc a
- synthesizeAnns :: Data a => a -> RefactGhc a
- addNewKeyword :: Data a => (KeywordId, DeltaPos) -> Located a -> RefactGhc ()
- addNewKeywords :: Data a => [(KeywordId, DeltaPos)] -> Located a -> RefactGhc ()
Documentation
replace :: AnnKey -> AnnKey -> Anns -> Maybe Anns Source #
Replaces an old expression with a new expression
replaceAnnKey :: (Data old, Data new) => Located old -> Located new -> Anns -> Anns Source #
The annotations are keyed to the constructor, so if we replace a qualified with an unqualified RdrName or vice versa we have to rebuild the key for the appropriate annotation.
setAnnKeywordDP :: Data a => Located a -> KeywordId -> DeltaPos -> Transform () Source #
Change the DeltaPos
for a given KeywordId
if it appears in the
annotation for the given item.
clearPriorComments :: Data a => Located a -> Transform () Source #
Remove any preceding comments from the given item
removeAnns :: Data a => a -> RefactGhc a Source #
synthesizeAnns :: Data a => a -> RefactGhc a Source #