Development.IDE.GHC.Compat.ExactPrint

This module contains compatibility constructs to write type signatures across multiple ghc-exactprint versions, accepting that anything more ambitious is pretty much impossible with the GHC 9.2 redesign of ghc-exactprint

Documentation

class ExactPrint ast

Instances

ExactPrint ast

Defined in Development.IDE.GHC.Compat.ExactPrint

Methods

makeDeltaAst :: ast -> ast

exactPrint :: Annotate ast => Located ast -> Anns -> String

Print an AST with a map of potential modified Anns. The usual way to generate such a map is by using one of the parsers in Language.Haskell.GHC.ExactPrint.Parsers.

makeDeltaAst :: ExactPrint ast => ast -> ast

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

pattern Annotated :: ast -> Anns -> Annotated ast

astA :: Annotated ast -> ast

annsA :: Annotated ast -> Anns