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 :: DynFlags -> Uri -> Anns -> Rewrite -> Either String WorkspaceEdit

Convert a Rewrite into a WorkspaceEdit.

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.

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