Development.IDE.GHC.ExactPrint

Documentation

newtype Graft m a

A transformation for grafting source trees together. Use the semigroup instance to combine Grafts, and run them via transform.

Constructors

Graft

Fields

• runGraft :: DynFlags -> a -> TransformT m a

Instances

Monad m => Semigroup (Graft m a)

Defined in Development.IDE.GHC.ExactPrint

Methods

(<>) :: Graft m a -> Graft m a -> Graft m a

sconcat :: NonEmpty (Graft m a) -> Graft m a

stimes :: Integral b => b -> Graft m a -> Graft m a

Monad m => Monoid (Graft m a)

Defined in Development.IDE.GHC.ExactPrint

Methods

mempty :: Graft m a

mappend :: Graft m a -> Graft m a -> Graft m a

mconcat :: [Graft m a] -> Graft m a

graft :: forall ast a. (Data a, ASTElement ast) => SrcSpan -> Located ast -> Graft (Either String) a

Construct a Graft, replacing the node at the given SrcSpan with the given LHSExpr. The node at that position must already be a LHsExpr, or this is a no-op.

graftDecls :: forall a. HasDecls a => SrcSpan -> [LHsDecl GhcPs] -> Graft (Either String) a

graftDeclsWithM :: forall a m. (HasDecls a, MonadFail m) => SrcSpan -> (LHsDecl GhcPs -> TransformT m (Maybe [LHsDecl GhcPs])) -> Graft m a

hoistGraft :: (forall x. m x -> n x) -> Graft m a -> Graft n a

graftWithM :: forall ast m a. (MonadFail m, Data a, ASTElement ast) => SrcSpan -> (Located ast -> TransformT m (Maybe (Located ast))) -> Graft m a

graftWithSmallestM :: forall ast m a. (MonadFail m, Data a, ASTElement ast) => SrcSpan -> (Located ast -> TransformT m (Maybe (Located ast))) -> Graft m a

transform :: DynFlags -> ClientCapabilities -> Uri -> Graft (Either String) ParsedSource -> Annotated ParsedSource -> Either String WorkspaceEdit

Convert a Graft into a WorkspaceEdit.

transformM :: Monad m => DynFlags -> ClientCapabilities -> Uri -> Graft (ExceptStringT m) ParsedSource -> Annotated ParsedSource -> m (Either String WorkspaceEdit)

Convert a Graft into a WorkspaceEdit.

useAnnotatedSource :: String -> IdeState -> NormalizedFilePath -> IO (Maybe (Annotated ParsedSource))

Get the latest version of the annotated parse source.

annotateParsedSource :: ParsedModule -> Annotated ParsedSource

class (Data ast, Outputable ast) => ASTElement ast where

Methods

parseAST :: Parser (Located ast)

maybeParensAST :: Located ast -> Located ast

Instances

p ~ GhcPs => ASTElement (HsDecl p)

Defined in Development.IDE.GHC.ExactPrint

Methods

parseAST :: Parser (Located (HsDecl p))

maybeParensAST :: Located (HsDecl p) -> Located (HsDecl p)

p ~ GhcPs => ASTElement (HsType p)

Defined in Development.IDE.GHC.ExactPrint

Methods

parseAST :: Parser (Located (HsType p))

maybeParensAST :: Located (HsType p) -> Located (HsType p)

p ~ GhcPs => ASTElement (HsExpr p)

Defined in Development.IDE.GHC.ExactPrint

Methods

parseAST :: Parser (Located (HsExpr p))

maybeParensAST :: Located (HsExpr p) -> Located (HsExpr p)

p ~ GhcPs => ASTElement (Pat p)

Defined in Development.IDE.GHC.ExactPrint

Methods

parseAST :: Parser (Located (Pat p))

maybeParensAST :: Located (Pat p) -> Located (Pat p)

newtype ExceptStringT m a

Constructors

ExceptStringT

Fields

• runExceptString :: ExceptT String m a

Instances

MonadTrans ExceptStringT

Defined in Development.IDE.GHC.ExactPrint

Methods

lift :: Monad m => m a -> ExceptStringT m a

Monad m => Monad (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

(>>=) :: ExceptStringT m a -> (a -> ExceptStringT m b) -> ExceptStringT m b

(>>) :: ExceptStringT m a -> ExceptStringT m b -> ExceptStringT m b

return :: a -> ExceptStringT m a

Functor m => Functor (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

fmap :: (a -> b) -> ExceptStringT m a -> ExceptStringT m b

(<$) :: a -> ExceptStringT m b -> ExceptStringT m a

Monad m => MonadFail (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

fail :: String -> ExceptStringT m a

Monad m => Applicative (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

pure :: a -> ExceptStringT m a

(<*>) :: ExceptStringT m (a -> b) -> ExceptStringT m a -> ExceptStringT m b

liftA2 :: (a -> b -> c) -> ExceptStringT m a -> ExceptStringT m b -> ExceptStringT m c

(*>) :: ExceptStringT m a -> ExceptStringT m b -> ExceptStringT m b

(<*) :: ExceptStringT m a -> ExceptStringT m b -> ExceptStringT m a

Foldable m => Foldable (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

fold :: Monoid m0 => ExceptStringT m m0 -> m0

foldMap :: Monoid m0 => (a -> m0) -> ExceptStringT m a -> m0

foldMap' :: Monoid m0 => (a -> m0) -> ExceptStringT m a -> m0

foldr :: (a -> b -> b) -> b -> ExceptStringT m a -> b

foldr' :: (a -> b -> b) -> b -> ExceptStringT m a -> b

foldl :: (b -> a -> b) -> b -> ExceptStringT m a -> b

foldl' :: (b -> a -> b) -> b -> ExceptStringT m a -> b

foldr1 :: (a -> a -> a) -> ExceptStringT m a -> a

foldl1 :: (a -> a -> a) -> ExceptStringT m a -> a

toList :: ExceptStringT m a -> [a]

null :: ExceptStringT m a -> Bool

length :: ExceptStringT m a -> Int

elem :: Eq a => a -> ExceptStringT m a -> Bool

maximum :: Ord a => ExceptStringT m a -> a

minimum :: Ord a => ExceptStringT m a -> a

sum :: Num a => ExceptStringT m a -> a

product :: Num a => ExceptStringT m a -> a

Monad m => MonadPlus (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

mzero :: ExceptStringT m a

mplus :: ExceptStringT m a -> ExceptStringT m a -> ExceptStringT m a

MonadIO m => MonadIO (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

liftIO :: IO a -> ExceptStringT m a

Contravariant m => Contravariant (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

contramap :: (a -> b) -> ExceptStringT m b -> ExceptStringT m a

(>$) :: b -> ExceptStringT m b -> ExceptStringT m a

Monad m => Alternative (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

empty :: ExceptStringT m a

(<|>) :: ExceptStringT m a -> ExceptStringT m a -> ExceptStringT m a

some :: ExceptStringT m a -> ExceptStringT m [a]

many :: ExceptStringT m a -> ExceptStringT m [a]

Eq1 m => Eq1 (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

liftEq :: (a -> b -> Bool) -> ExceptStringT m a -> ExceptStringT m b -> Bool

Ord1 m => Ord1 (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

liftCompare :: (a -> b -> Ordering) -> ExceptStringT m a -> ExceptStringT m b -> Ordering

Read1 m => Read1 (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (ExceptStringT m a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [ExceptStringT m a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (ExceptStringT m a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [ExceptStringT m a]

Show1 m => Show1 (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> ExceptStringT m a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [ExceptStringT m a] -> ShowS

MonadZip m => MonadZip (ExceptStringT m)

Defined in Development.IDE.GHC.ExactPrint

Methods

mzip :: ExceptStringT m a -> ExceptStringT m b -> ExceptStringT m (a, b)

mzipWith :: (a -> b -> c) -> ExceptStringT m a -> ExceptStringT m b -> ExceptStringT m c

munzip :: ExceptStringT m (a, b) -> (ExceptStringT m a, ExceptStringT m b)

(Eq1 m, Eq a) => Eq (ExceptStringT m a)

Defined in Development.IDE.GHC.ExactPrint

Methods

(==) :: ExceptStringT m a -> ExceptStringT m a -> Bool

(/=) :: ExceptStringT m a -> ExceptStringT m a -> Bool

(Ord1 m, Ord a) => Ord (ExceptStringT m a)

Defined in Development.IDE.GHC.ExactPrint

Methods

compare :: ExceptStringT m a -> ExceptStringT m a -> Ordering

(<) :: ExceptStringT m a -> ExceptStringT m a -> Bool

(<=) :: ExceptStringT m a -> ExceptStringT m a -> Bool

(>) :: ExceptStringT m a -> ExceptStringT m a -> Bool

(>=) :: ExceptStringT m a -> ExceptStringT m a -> Bool

max :: ExceptStringT m a -> ExceptStringT m a -> ExceptStringT m a

min :: ExceptStringT m a -> ExceptStringT m a -> ExceptStringT m a

(Read1 m, Read a) => Read (ExceptStringT m a)

Defined in Development.IDE.GHC.ExactPrint

Methods

readsPrec :: Int -> ReadS (ExceptStringT m a)

readList :: ReadS [ExceptStringT m a]

readPrec :: ReadPrec (ExceptStringT m a)

readListPrec :: ReadPrec [ExceptStringT m a]

(Show1 m, Show a) => Show (ExceptStringT m a)

Defined in Development.IDE.GHC.ExactPrint

Methods

showsPrec :: Int -> ExceptStringT m a -> ShowS

show :: ExceptStringT m a -> String

showList :: [ExceptStringT m a] -> ShowS