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

annotate :: ASTElement ast => DynFlags -> Located ast -> TransformT (Either String) (Anns, Located ast)

Given an LHSExpr, compute its exactprint annotations. Note that this function will throw away any existing annotations (and format)

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))

annotateParsedSource :: ParsedModule -> Annotated ParsedSource

getAnnotatedParsedSourceRule :: Rules ()

Get the latest version of the annotated parse source with comments.

data GetAnnotatedParsedSource

Constructors

GetAnnotatedParsedSource

Instances

Eq GetAnnotatedParsedSource

Defined in Development.IDE.GHC.ExactPrint

Methods

(==) :: GetAnnotatedParsedSource -> GetAnnotatedParsedSource -> Bool

(/=) :: GetAnnotatedParsedSource -> GetAnnotatedParsedSource -> Bool

Show GetAnnotatedParsedSource

Defined in Development.IDE.GHC.ExactPrint

Methods

showsPrec :: Int -> GetAnnotatedParsedSource -> ShowS

show :: GetAnnotatedParsedSource -> String

showList :: [GetAnnotatedParsedSource] -> ShowS

Generic GetAnnotatedParsedSource

Defined in Development.IDE.GHC.ExactPrint

Associated Types

type Rep GetAnnotatedParsedSource :: Type -> Type

Methods

from :: GetAnnotatedParsedSource -> Rep GetAnnotatedParsedSource x

to :: Rep GetAnnotatedParsedSource x -> GetAnnotatedParsedSource

Hashable GetAnnotatedParsedSource

Defined in Development.IDE.GHC.ExactPrint

Methods

hashWithSalt :: Int -> GetAnnotatedParsedSource -> Int

hash :: GetAnnotatedParsedSource -> Int

Binary GetAnnotatedParsedSource

Defined in Development.IDE.GHC.ExactPrint

Methods

put :: GetAnnotatedParsedSource -> Put

get :: Get GetAnnotatedParsedSource

putList :: [GetAnnotatedParsedSource] -> Put

NFData GetAnnotatedParsedSource

Defined in Development.IDE.GHC.ExactPrint

Methods

rnf :: GetAnnotatedParsedSource -> ()

type Rep GetAnnotatedParsedSource

Defined in Development.IDE.GHC.ExactPrint

type Rep GetAnnotatedParsedSource = D1 ('MetaData "GetAnnotatedParsedSource" "Development.IDE.GHC.ExactPrint" "ghcide-0.7.4.0-3nFRdHmONQx9sDJEfOypKI" 'False) (C1 ('MetaCons "GetAnnotatedParsedSource" 'PrefixI 'False) (U1 :: Type -> Type))

type RuleResult GetAnnotatedParsedSource

Defined in Development.IDE.GHC.ExactPrint

type RuleResult GetAnnotatedParsedSource = Annotated ParsedSource

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

Methods

parseAST :: Parser (Located ast)

maybeParensAST :: Located ast -> Located ast

Instances

ASTElement RdrName

Defined in Development.IDE.GHC.ExactPrint

Methods

parseAST :: Parser (Located RdrName)

maybeParensAST :: Located RdrName -> Located RdrName

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 (ImportDecl p)

Defined in Development.IDE.GHC.ExactPrint

Methods

parseAST :: Parser (Located (ImportDecl p))

maybeParensAST :: Located (ImportDecl p) -> Located (ImportDecl 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

data Annotated ast

Annotated packages an AST fragment with the annotations necessary to exactPrint or transform that AST.

Instances

Functor Annotated

Defined in Retrie.ExactPrint.Annotated

Methods

fmap :: (a -> b) -> Annotated a -> Annotated b

(<$) :: a -> Annotated b -> Annotated a

Foldable Annotated

Defined in Retrie.ExactPrint.Annotated

Methods

fold :: Monoid m => Annotated m -> m

foldMap :: Monoid m => (a -> m) -> Annotated a -> m

foldMap' :: Monoid m => (a -> m) -> Annotated a -> m

foldr :: (a -> b -> b) -> b -> Annotated a -> b

foldr' :: (a -> b -> b) -> b -> Annotated a -> b

foldl :: (b -> a -> b) -> b -> Annotated a -> b

foldl' :: (b -> a -> b) -> b -> Annotated a -> b

foldr1 :: (a -> a -> a) -> Annotated a -> a

foldl1 :: (a -> a -> a) -> Annotated a -> a

toList :: Annotated a -> [a]

null :: Annotated a -> Bool

length :: Annotated a -> Int

elem :: Eq a => a -> Annotated a -> Bool

maximum :: Ord a => Annotated a -> a

minimum :: Ord a => Annotated a -> a

sum :: Num a => Annotated a -> a

product :: Num a => Annotated a -> a

Traversable Annotated

Defined in Retrie.ExactPrint.Annotated

Methods

traverse :: Applicative f => (a -> f b) -> Annotated a -> f (Annotated b)

sequenceA :: Applicative f => Annotated (f a) -> f (Annotated a)

mapM :: Monad m => (a -> m b) -> Annotated a -> m (Annotated b)

sequence :: Monad m => Annotated (m a) -> m (Annotated a)

Show (Annotated ParsedSource)

Defined in Development.IDE.GHC.Orphans

Methods

showsPrec :: Int -> Annotated ParsedSource -> ShowS

show :: Annotated ParsedSource -> String

showList :: [Annotated ParsedSource] -> ShowS

(Data ast, Monoid ast) => Semigroup (Annotated ast)

Defined in Retrie.ExactPrint.Annotated

Methods

(<>) :: Annotated ast -> Annotated ast -> Annotated ast

sconcat :: NonEmpty (Annotated ast) -> Annotated ast

stimes :: Integral b => b -> Annotated ast -> Annotated ast

(Data ast, Monoid ast) => Monoid (Annotated ast)

Defined in Retrie.ExactPrint.Annotated

Methods

mempty :: Annotated ast

mappend :: Annotated ast -> Annotated ast -> Annotated ast

mconcat :: [Annotated ast] -> Annotated ast

Default ast => Default (Annotated ast)

Defined in Retrie.ExactPrint.Annotated

Methods

def :: Annotated ast

NFData (Annotated ParsedSource)

Defined in Development.IDE.GHC.Orphans

Methods

rnf :: Annotated ParsedSource -> ()

data TransformT (m :: Type -> Type) a

Monad transformer version of Transform monad

Instances

MonadTrans TransformT

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

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

Monad m => MonadReader () (TransformT m)

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

ask :: TransformT m ()

local :: (() -> ()) -> TransformT m a -> TransformT m a

reader :: (() -> a) -> TransformT m a

Monad m => Monad (TransformT m)

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

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

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

return :: a -> TransformT m a

Functor m => Functor (TransformT m)

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

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

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

MonadFail m => MonadFail (TransformT m)

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

fail :: String -> TransformT m a

Monad m => Applicative (TransformT m)

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

pure :: a -> TransformT m a

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

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

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

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

Monad m => HasTransform (TransformT m)

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

liftT :: Transform a -> TransformT m a

Monad m => MonadWriter [String] (TransformT m)

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

writer :: (a, [String]) -> TransformT m a

tell :: [String] -> TransformT m ()

listen :: TransformT m a -> TransformT m (a, [String])

pass :: TransformT m (a, [String] -> [String]) -> TransformT m a

Monad m => MonadState (Anns, Int) (TransformT m)

Defined in Language.Haskell.GHC.ExactPrint.Transform

Methods

get :: TransformT m (Anns, Int)

put :: (Anns, Int) -> TransformT m ()

state :: ((Anns, Int) -> (a, (Anns, Int))) -> TransformT m a

type Anns = Map AnnKey Annotation

This structure holds a complete set of annotations for an AST

class Data ast => Annotate ast

Minimal complete definition

markAST

Instances

Annotate DocDecl

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> DocDecl -> Annotated ()

Annotate HsIPName

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsIPName -> Annotated ()

Annotate RdrName

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> RdrName -> Annotated ()

Annotate HsDocString

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsDocString -> Annotated ()

Annotate Safety

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> Safety -> Annotated ()

Annotate CExportSpec

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> CExportSpec -> Annotated ()

Annotate CCallConv

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> CCallConv -> Annotated ()

Annotate CType

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> CType -> Annotated ()

Annotate StringLiteral

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> StringLiteral -> Annotated ()

Annotate WarningTxt

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> WarningTxt -> Annotated ()

Annotate OverlapMode

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> OverlapMode -> Annotated ()

Annotate ModuleName

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> ModuleName -> Annotated ()

Annotate FastString

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> FastString -> Annotated ()

Annotate ResTyGADTHook

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> ResTyGADTHook -> Annotated ()

Annotate WildCardAnon

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> WildCardAnon -> Annotated ()

Annotate [ExprLStmt GhcPs]

Used for declarations that need to be aligned together, e.g. in a do or let .. in statement/expr

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> [ExprLStmt GhcPs] -> Annotated ()

Annotate [LHsDerivingClause GhcPs]

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> [LHsDerivingClause GhcPs] -> Annotated ()

Annotate [LHsType GhcPs]

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> [LHsType GhcPs] -> Annotated ()

Annotate [LHsSigType GhcPs]

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> [LHsSigType GhcPs] -> Annotated ()

Annotate [LConDeclField GhcPs]

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> [LConDeclField GhcPs] -> Annotated ()

Annotate [LIE GhcPs]

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> [LIE GhcPs] -> Annotated ()

Annotate body => Annotate [Located (Match GhcPs (Located body))]

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> [Located (Match GhcPs (Located body))] -> Annotated ()

Annotate [Located (StmtLR GhcPs GhcPs (LHsCmd GhcPs))]

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> [Located (StmtLR GhcPs GhcPs (LHsCmd GhcPs))] -> Annotated ()

Annotate (Maybe Role)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> Maybe Role -> Annotated ()

Annotate (HsModule GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsModule GhcPs -> Annotated ()

Annotate (HsTupArg GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsTupArg GhcPs -> Annotated ()

Annotate (HsCmdTop GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsCmdTop GhcPs -> Annotated ()

Annotate (HsDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsDecl GhcPs -> Annotated ()

Annotate (SpliceDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> SpliceDecl GhcPs -> Annotated ()

Annotate (TyClDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> TyClDecl GhcPs -> Annotated ()

Annotate (FamilyResultSig GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> FamilyResultSig GhcPs -> Annotated ()

Annotate (FamilyDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> FamilyDecl GhcPs -> Annotated ()

Annotate (InjectivityAnn GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> InjectivityAnn GhcPs -> Annotated ()

Annotate (HsDerivingClause GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsDerivingClause GhcPs -> Annotated ()

Annotate (StandaloneKindSig GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> StandaloneKindSig GhcPs -> Annotated ()

Annotate (ConDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> ConDecl GhcPs -> Annotated ()

Annotate (TyFamInstEqn GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> TyFamInstEqn GhcPs -> Annotated ()

Annotate (TyFamInstDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> TyFamInstDecl GhcPs -> Annotated ()

Annotate (DataFamInstDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> DataFamInstDecl GhcPs -> Annotated ()

Annotate (ClsInstDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> ClsInstDecl GhcPs -> Annotated ()

Annotate (InstDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> InstDecl GhcPs -> Annotated ()

Annotate (DerivDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> DerivDecl GhcPs -> Annotated ()

Annotate (DerivStrategy GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> DerivStrategy GhcPs -> Annotated ()

Annotate (DefaultDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> DefaultDecl GhcPs -> Annotated ()

Annotate (ForeignDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> ForeignDecl GhcPs -> Annotated ()

Annotate (RuleDecls GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> RuleDecls GhcPs -> Annotated ()

Annotate (RuleDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> RuleDecl GhcPs -> Annotated ()

Annotate (RuleBndr GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> RuleBndr GhcPs -> Annotated ()

Annotate (WarnDecls GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> WarnDecls GhcPs -> Annotated ()

Annotate (WarnDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> WarnDecl GhcPs -> Annotated ()

Annotate (AnnDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> AnnDecl GhcPs -> Annotated ()

Annotate (RoleAnnotDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> RoleAnnotDecl GhcPs -> Annotated ()

Annotate (HsRecUpdField GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsRecUpdField GhcPs -> Annotated ()

Annotate (HsLocalBinds GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsLocalBinds GhcPs -> Annotated ()

Annotate (HsBind GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsBind GhcPs -> Annotated ()

Annotate (IPBind GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> IPBind GhcPs -> Annotated ()

Annotate (Sig GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> Sig GhcPs -> Annotated ()

Annotate (HsTyVarBndr GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsTyVarBndr GhcPs -> Annotated ()

Annotate (HsType GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsType GhcPs -> Annotated ()

Annotate (ConDeclField GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> ConDeclField GhcPs -> Annotated ()

Annotate (FieldOcc GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> FieldOcc GhcPs -> Annotated ()

Annotate (AmbiguousFieldOcc GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> AmbiguousFieldOcc GhcPs -> Annotated ()

Annotate (HsLit GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsLit GhcPs -> Annotated ()

Annotate (HsOverLit GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsOverLit GhcPs -> Annotated ()

Annotate (FunDep (Located RdrName))

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> FunDep (Located RdrName) -> Annotated ()

Annotate (HsExpr GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsExpr GhcPs -> Annotated ()

Annotate (HsCmd GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsCmd GhcPs -> Annotated ()

Annotate (HsSplice GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsSplice GhcPs -> Annotated ()

Annotate (ImportDecl GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> ImportDecl GhcPs -> Annotated ()

Annotate (IEWrappedName RdrName)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> IEWrappedName RdrName -> Annotated ()

Annotate (IE GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> IE GhcPs -> Annotated ()

Annotate (Pat GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> Pat GhcPs -> Annotated ()

Annotate name => Annotate (BooleanFormula (Located name))

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> BooleanFormula (Located name) -> Annotated ()

(Data ast, Annotate ast) => Annotate (Located ast)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> Located ast -> Annotated ()

Annotate (SourceText, FastString)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> (SourceText, FastString) -> Annotated ()

Annotate body => Annotate (Match GhcPs (Located body))

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> Match GhcPs (Located body) -> Annotated ()

Annotate body => Annotate (GRHS GhcPs (Located body))

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> GRHS GhcPs (Located body) -> Annotated ()

Annotate body => Annotate (Stmt GhcPs (Located body))

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> Stmt GhcPs (Located body) -> Annotated ()

Annotate (ParStmtBlock GhcPs GhcPs)

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> ParStmtBlock GhcPs GhcPs -> Annotated ()

Annotate (HsRecField GhcPs (LHsExpr GhcPs))

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsRecField GhcPs (LHsExpr GhcPs) -> Annotated ()

Annotate (HsRecField GhcPs (Located (Pat GhcPs)))

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsRecField GhcPs (Located (Pat GhcPs)) -> Annotated ()

Annotate arg => Annotate (HsImplicitBndrs GhcPs (Located arg))

Defined in Language.Haskell.GHC.ExactPrint.Annotater

Methods

markAST :: SrcSpan -> HsImplicitBndrs GhcPs (Located arg) -> Annotated ()