Development.IDE.Plugin.CodeAction.ExactPrint

Documentation

data Rewrite where

Construct a Rewrite, replacing the node at the given SrcSpan with the given ast.

Constructors

Rewrite

Fields

• :: Annotate ast
• => SrcSpan

  The SrcSpan that we want to rewrite

• -> (DynFlags -> TransformT (Either String) (Located ast))

  The ast that we want to graft

• -> Rewrite

rewriteToEdit :: HasCallStack => DynFlags -> Anns -> Rewrite -> Either String [TextEdit]

Convert a Rewrite into a list of '[TextEdit]'.

rewriteToWEdit :: DynFlags -> Uri -> Anns -> Rewrite -> Either String WorkspaceEdit

Convert a Rewrite into a WorkspaceEdit

transferAnn :: (Data a, Data b) => Located a -> Located b -> (Annotation -> Annotation) -> TransformT (Either String) ()

Copy anns attached to a into b with modification, then delete anns of a

Utilities

appendConstraint

Arguments

:: String

The new constraint to append

-> LHsType GhcPs

The type signature where the constraint is to be inserted, also assuming annotated

-> Rewrite

Append a constraint at the end of a type context. If no context is present, a new one will be created.

removeConstraint

Arguments

:: (LHsType GhcPs -> Bool)

Predicate: Which context to drop.

-> LHsType GhcPs

-> Rewrite

extendImport :: Maybe String -> String -> LImportDecl GhcPs -> Rewrite

hideSymbol :: String -> LImportDecl GhcPs -> Rewrite

Hide a symbol from import declaration

liftParseAST :: forall ast l. (ASTElement l ast, ExactPrint (LocatedAn l ast)) => DynFlags -> String -> TransformT (Either String) (LocatedAn l ast)

wildCardSymbol :: String