Safe Haskell	None
Language	Haskell2010

Language.Haskell.GHC.ExactPrint.Types

Synopsis

Documentation

data Comment Source

A Haskell comment. The Bool is True if the comment is multi-line, i.e. {- -}.

Constructors

Comment Bool Span String

Instances

Eq Comment Source
Data Comment Source
Ord Comment Source
Show Comment Source

data DComment Source

Delta version of the comment. The initial Int is the column offset that was force when the DeltaPos values were calculated. If this is different when it is output, they deltas must be updated.

Constructors

DComment Int Bool (DeltaPos, DeltaPos) String

Instances

Eq DComment Source
Data DComment Source
Show DComment Source

type Pos = (Int, Int) Source

type Span = (Pos, Pos) Source

type PosToken = (Located Token, String) Source

newtype DeltaPos Source

Constructors

DP (Int, Int)

Instances

Eq DeltaPos Source
Data DeltaPos Source
Ord DeltaPos Source
Show DeltaPos Source
Outputable DeltaPos Source

data Annotation Source

Constructors

Ann
Fields ann_comments :: ![DComment] ann_delta :: !DeltaPos

Instances

Show Annotation Source
Outputable Annotation Source

annNone :: Annotation Source

type Anns = (AnnsEP, AnnsFinal) Source

anEP :: Anns -> AnnsEP Source

anF :: Anns -> AnnsFinal Source

type AnnsEP = Map (SrcSpan, AnnConName) Annotation Source

For every Located a, use the SrcSpan and constructor name of a as the key, to store the standard annotation. These are used to maintain context in the AP and EP monads

type AnnsFinal = Map (SrcSpan, KeywordId) [DeltaPos] Source

The offset values used for actually outputing the source. For a given SrcSpan, in a context managed by the AP or EP monads, store a list of offsets for a particular KeywordId. Mostly there will only be one, but in certain circumstances they are multiple, e.g. semi colons as separators, which can be repeated.

data KeywordId Source

We need our own version of keywordid to distinguish between a semi-colon appearing within an AST element and one separating AST elements in a list.

Constructors

G AnnKeywordId
AnnSemiSep

Instances

Eq KeywordId Source
Ord KeywordId Source
Show KeywordId Source
Outputable KeywordId Source

data AnnConName Source

Constructors

CN String

Instances

Eq AnnConName Source
Ord AnnConName Source
Show AnnConName Source
Outputable AnnConName Source

annGetConstr :: Data a => a -> AnnConName Source

unConName :: AnnConName -> String Source

data ResTyGADTHook name Source

Constructors

ResTyGADTHook [LHsTyVarBndr name]

Instances

DataId name => Data (ResTyGADTHook name) Source
Show (LHsTyVarBndr name) => Show (ResTyGADTHook name) Source
OutputableBndr name => Outputable (ResTyGADTHook name) Source
ExactP (ResTyGADTHook RdrName) Source

type AnnKey = (SrcSpan, AnnConName) Source

type AnnKeyF = (SrcSpan, KeywordId) Source

mkAnnKeyEP :: Data a => Located a -> AnnKey Source

getAnnotationEP :: Data a => AnnsEP -> Located a -> Maybe Annotation Source

getAndRemoveAnnotationEP :: Data a => AnnsEP -> Located a -> (Maybe Annotation, AnnsEP) Source