ghcide-1.0.0.0: The core of an IDE

Safe Haskell	None
Language	Haskell2010

Development.IDE.Plugin.CodeAction.ExactPrint

Contents

Utilities

Synopsis

data Rewrite where
- Rewrite :: Annotate ast => SrcSpan -> (DynFlags -> TransformT (Either String) (Located ast)) -> Rewrite
rewriteToEdit :: DynFlags -> Anns -> Rewrite -> Either String [TextEdit]
rewriteToWEdit :: DynFlags -> Uri -> Anns -> Rewrite -> Either String WorkspaceEdit
transferAnn :: (Data a, Data b) => Located a -> Located b -> (Annotation -> Annotation) -> TransformT (Either String) ()
appendConstraint :: String -> LHsType GhcPs -> Rewrite
extendImport :: Maybe String -> String -> LImportDecl GhcPs -> Rewrite
hideImplicitPreludeSymbol :: String -> ParsedSource -> Maybe Rewrite
hideSymbol :: String -> LImportDecl GhcPs -> Rewrite
liftParseAST :: ASTElement ast => DynFlags -> String -> TransformT (Either String) (Located ast)

Documentation

data Rewrite where Source #

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 -> Anns -> Rewrite -> Either String [TextEdit] Source #

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

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

Convert a Rewrite into a WorkspaceEdit

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

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

Utilities

appendConstraint Source #

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 Source #

hideImplicitPreludeSymbol :: String -> ParsedSource -> Maybe Rewrite Source #

Insert a import declaration hiding a symbole from Prelude

hideSymbol :: String -> LImportDecl GhcPs -> Rewrite Source #

Hide a symbol from import declaration

liftParseAST :: ASTElement ast => DynFlags -> String -> TransformT (Either String) (Located ast) Source #