ghcide-1.1.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)
newImport :: String -> Maybe String -> Maybe String -> Bool -> ParsedSource -> Maybe Rewrite
newUnqualImport :: String -> String -> Bool -> ParsedSource -> Maybe Rewrite
newImportAll :: String -> ParsedSource -> Maybe Rewrite

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 "import Prelude hiding (symbol)"

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

Hide a symbol from import declaration

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

newImport Source #

Arguments

:: String	module name
-> Maybe String	the symbol
-> Maybe String	whether to be qualified
-> Bool	the symbol is to be imported or hidden
-> ParsedSource
-> Maybe Rewrite

Insert a import declaration with at most one symbol

newUnqualImport :: String -> String -> Bool -> ParsedSource -> Maybe Rewrite Source #

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