Safe Haskell	None
Language	Haskell2010

Language.Haskell.GHC.ExactPrint.Types

Contents

Core Types
Positions
AnnKey
Other
GHC version compatibility
Internal Types

Synopsis

type Anns = Map AnnKey Annotation
emptyAnns :: Anns
data Annotation = Ann {
- annEntryDelta :: !DeltaPos
- annPriorComments :: ![(Comment, DeltaPos)]
- annFollowingComments :: ![(Comment, DeltaPos)]
- annsDP :: ![(KeywordId, DeltaPos)]
- annSortKey :: !(Maybe [SrcSpan])
- annCapturedSpan :: !(Maybe AnnKey)
}
annNone :: Annotation
data KeywordId
- = G AnnKeywordId
- | AnnSemiSep
- | AnnTypeApp
- | AnnComment Comment
- | AnnString String
data Comment = Comment {
- commentContents :: !String
- commentIdentifier :: !SrcSpan
- commentOrigin :: !(Maybe AnnKeywordId)
}
type Pos = (Int, Int)
newtype DeltaPos = DP (Int, Int)
deltaRow :: DeltaPos -> Int
deltaColumn :: DeltaPos -> Int
data AnnKey = AnnKey SrcSpan AnnConName
mkAnnKey :: Data a => Located a -> AnnKey
data AnnConName = CN {
- unConName :: String
}
annGetConstr :: Data a => a -> AnnConName
data Rigidity
- = NormalLayout
- | RigidLayout
data AstContext
- = LambdaExpr
- | CaseAlt
- | NoPrecedingSpace
- | HasHiding
- | AdvanceLine
- | NoAdvanceLine
- | Intercalate
- | InIE
- | PrefixOp
- | PrefixOpDollar
- | InfixOp
- | ListStart
- | ListItem
- | TopLevel
- | NoDarrow
- | AddVbar
- | Deriving
- | Parens
- | ExplicitNeverActive
- | InGadt
- | InRecCon
- | InClassDecl
- | InSpliceDecl
- | LeftMost
- | CtxOnly
- | CtxFirst
- | CtxMiddle
- | CtxLast
- | CtxPos Int
- | FollowingLine
type AstContextSet = ACS' AstContext
defaultACS :: AstContextSet
data ACS' a = ACS {
- acs :: !(Map a Int)
}
data ListContexts = LC {
- lcOnly, lcInitial, lcMiddle, lcLast :: !(Set AstContext)
}
type GhcPs = GhcPs
type GhcRn = GhcRn
type GhcTc = GhcTc
newtype LayoutStartCol = LayoutStartCol {
- getLayoutStartCol :: Int
}
declFun :: (forall a. Data a => Located a -> b) -> LHsDecl GhcPs -> b

Core Types

type Anns = Map AnnKey Annotation #

This structure holds a complete set of annotations for an AST

emptyAnns :: Anns #

data Annotation #

Constructors

Ann

Fields

annEntryDelta :: !DeltaPos
Offset used to get to the start of the SrcSpan, from whatever the prior output was, including all annPriorComments (field below).
annPriorComments :: ![(Comment, DeltaPos)]
Comments coming after the last non-comment output of the preceding element but before the SrcSpan being annotated by this Annotation. If these are changed then annEntryDelta (field above) must also change to match.
annFollowingComments :: ![(Comment, DeltaPos)]
Comments coming after the last output for the element subject to this Annotation. These will only be added by AST transformations, and care must be taken not to disturb layout of following elements.
annsDP :: ![(KeywordId, DeltaPos)]
Annotations associated with this element.
annSortKey :: !(Maybe [SrcSpan])
Captures the sort order of sub elements. This is needed when the sub-elements have been split (as in a HsLocalBind which holds separate binds and sigs) or for infix patterns where the order has been re-arranged. It is captured explicitly so that after the Delta phase a SrcSpan is used purely as an index into the annotations, allowing transformations of the AST including the introduction of new Located items or re-arranging existing ones.
annCapturedSpan :: !(Maybe AnnKey)
Occasionally we must calculate a SrcSpan for an unlocated list of elements which we must remember for the Print phase. e.g. the statements in a HsLet or HsDo. These must be managed as a group because they all need eo be vertically aligned for the Haskell layout rules, and this guarantees this property in the presence of AST edits.

Instances

Eq Annotation #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Show Annotation #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Outputable Annotation #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods ppr :: Annotation -> SDoc # pprPrec :: Rational -> Annotation -> SDoc #
Monad m => MonadState (Anns, Int) (TransformT m) #
Instance details 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 #

annNone :: Annotation #

data KeywordId #

The different syntactic elements which are not represented in the AST.

Constructors

G AnnKeywordId	A normal keyword
AnnSemiSep	A separating comma
AnnTypeApp	Visible type application annotation
AnnComment Comment
AnnString String	Used to pass information from Delta to Print when we have to work out details from the original SrcSpan.

Instances

Eq KeywordId #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: KeywordId -> KeywordId -> Bool # (/=) :: KeywordId -> KeywordId -> Bool #
Data KeywordId #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KeywordId -> c KeywordId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c KeywordId # toConstr :: KeywordId -> Constr # dataTypeOf :: KeywordId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c KeywordId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c KeywordId) # gmapT :: (forall b. Data b => b -> b) -> KeywordId -> KeywordId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KeywordId -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KeywordId -> r # gmapQ :: (forall d. Data d => d -> u) -> KeywordId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> KeywordId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> KeywordId -> m KeywordId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KeywordId -> m KeywordId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KeywordId -> m KeywordId #
Ord KeywordId #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods compare :: KeywordId -> KeywordId -> Ordering # (<) :: KeywordId -> KeywordId -> Bool # (<=) :: KeywordId -> KeywordId -> Bool # (>) :: KeywordId -> KeywordId -> Bool # (>=) :: KeywordId -> KeywordId -> Bool # max :: KeywordId -> KeywordId -> KeywordId # min :: KeywordId -> KeywordId -> KeywordId #
Show KeywordId #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> KeywordId -> ShowS # show :: KeywordId -> String # showList :: [KeywordId] -> ShowS #
Outputable KeywordId #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods ppr :: KeywordId -> SDoc # pprPrec :: Rational -> KeywordId -> SDoc #

data Comment #

A Haskell comment. The AnnKeywordId is present if it has been converted from an AnnKeywordId because the annotation must be interleaved into the stream and does not have a well-defined position

Constructors

Comment
Fields commentContents :: !String The contents of the comment including separators commentIdentifier :: !SrcSpan Needed to uniquely identify two comments with the same contents commentOrigin :: !(Maybe AnnKeywordId) We sometimes turn syntax into comments in order to process them properly.

Instances

Eq Comment #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: Comment -> Comment -> Bool # (/=) :: Comment -> Comment -> Bool #
Data Comment #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Comment -> c Comment # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Comment # toConstr :: Comment -> Constr # dataTypeOf :: Comment -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Comment) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Comment) # gmapT :: (forall b. Data b => b -> b) -> Comment -> Comment # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Comment -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Comment -> r # gmapQ :: (forall d. Data d => d -> u) -> Comment -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Comment -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Comment -> m Comment # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Comment -> m Comment # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Comment -> m Comment #
Ord Comment #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods compare :: Comment -> Comment -> Ordering # (<) :: Comment -> Comment -> Bool # (<=) :: Comment -> Comment -> Bool # (>) :: Comment -> Comment -> Bool # (>=) :: Comment -> Comment -> Bool # max :: Comment -> Comment -> Comment # min :: Comment -> Comment -> Comment #
Show Comment #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> Comment -> ShowS # show :: Comment -> String # showList :: [Comment] -> ShowS #
Outputable Comment #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods ppr :: Comment -> SDoc # pprPrec :: Rational -> Comment -> SDoc #

Positions

type Pos = (Int, Int) #

newtype DeltaPos #

A relative positions, row then column

Constructors

DP (Int, Int)

Instances

Eq DeltaPos #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: DeltaPos -> DeltaPos -> Bool # (/=) :: DeltaPos -> DeltaPos -> Bool #
Data DeltaPos #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DeltaPos -> c DeltaPos # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DeltaPos # toConstr :: DeltaPos -> Constr # dataTypeOf :: DeltaPos -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DeltaPos) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DeltaPos) # gmapT :: (forall b. Data b => b -> b) -> DeltaPos -> DeltaPos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DeltaPos -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeltaPos -> r # gmapQ :: (forall d. Data d => d -> u) -> DeltaPos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DeltaPos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DeltaPos -> m DeltaPos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DeltaPos -> m DeltaPos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DeltaPos -> m DeltaPos #
Ord DeltaPos #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods compare :: DeltaPos -> DeltaPos -> Ordering # (<) :: DeltaPos -> DeltaPos -> Bool # (<=) :: DeltaPos -> DeltaPos -> Bool # (>) :: DeltaPos -> DeltaPos -> Bool # (>=) :: DeltaPos -> DeltaPos -> Bool # max :: DeltaPos -> DeltaPos -> DeltaPos # min :: DeltaPos -> DeltaPos -> DeltaPos #
Show DeltaPos #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> DeltaPos -> ShowS # show :: DeltaPos -> String # showList :: [DeltaPos] -> ShowS #
Outputable DeltaPos #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods ppr :: DeltaPos -> SDoc # pprPrec :: Rational -> DeltaPos -> SDoc #

deltaRow :: DeltaPos -> Int #

deltaColumn :: DeltaPos -> Int #

AnnKey

data AnnKey #

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

Constructors

AnnKey SrcSpan AnnConName

Instances

Eq AnnKey #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: AnnKey -> AnnKey -> Bool # (/=) :: AnnKey -> AnnKey -> Bool #
Data AnnKey #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnKey -> c AnnKey # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnKey # toConstr :: AnnKey -> Constr # dataTypeOf :: AnnKey -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnKey) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnKey) # gmapT :: (forall b. Data b => b -> b) -> AnnKey -> AnnKey # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnKey -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnKey -> r # gmapQ :: (forall d. Data d => d -> u) -> AnnKey -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnKey -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnKey -> m AnnKey # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnKey -> m AnnKey # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnKey -> m AnnKey #
Ord AnnKey #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods compare :: AnnKey -> AnnKey -> Ordering # (<) :: AnnKey -> AnnKey -> Bool # (<=) :: AnnKey -> AnnKey -> Bool # (>) :: AnnKey -> AnnKey -> Bool # (>=) :: AnnKey -> AnnKey -> Bool # max :: AnnKey -> AnnKey -> AnnKey # min :: AnnKey -> AnnKey -> AnnKey #
Show AnnKey #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> AnnKey -> ShowS # show :: AnnKey -> String # showList :: [AnnKey] -> ShowS #
Outputable AnnKey #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods ppr :: AnnKey -> SDoc # pprPrec :: Rational -> AnnKey -> SDoc #
Monad m => MonadState (Anns, Int) (TransformT m) #
Instance details 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 #

mkAnnKey :: Data a => Located a -> AnnKey #

Make an unwrapped AnnKey for the LHsDecl case, a normal one otherwise.

data AnnConName #

Constructors

CN
Fields unConName :: String

Instances

Eq AnnConName #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: AnnConName -> AnnConName -> Bool # (/=) :: AnnConName -> AnnConName -> Bool #
Data AnnConName #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnConName -> c AnnConName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnConName # toConstr :: AnnConName -> Constr # dataTypeOf :: AnnConName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnConName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnConName) # gmapT :: (forall b. Data b => b -> b) -> AnnConName -> AnnConName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnConName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnConName -> r # gmapQ :: (forall d. Data d => d -> u) -> AnnConName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnConName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnConName -> m AnnConName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnConName -> m AnnConName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnConName -> m AnnConName #
Ord AnnConName #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods compare :: AnnConName -> AnnConName -> Ordering # (<) :: AnnConName -> AnnConName -> Bool # (<=) :: AnnConName -> AnnConName -> Bool # (>) :: AnnConName -> AnnConName -> Bool # (>=) :: AnnConName -> AnnConName -> Bool # max :: AnnConName -> AnnConName -> AnnConName # min :: AnnConName -> AnnConName -> AnnConName #
Show AnnConName #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> AnnConName -> ShowS # show :: AnnConName -> String # showList :: [AnnConName] -> ShowS #
Outputable AnnConName #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods ppr :: AnnConName -> SDoc # pprPrec :: Rational -> AnnConName -> SDoc #

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

Other

data Rigidity #

Constructors

NormalLayout
RigidLayout

Instances

Eq Rigidity #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: Rigidity -> Rigidity -> Bool # (/=) :: Rigidity -> Rigidity -> Bool #
Ord Rigidity #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods compare :: Rigidity -> Rigidity -> Ordering # (<) :: Rigidity -> Rigidity -> Bool # (<=) :: Rigidity -> Rigidity -> Bool # (>) :: Rigidity -> Rigidity -> Bool # (>=) :: Rigidity -> Rigidity -> Bool # max :: Rigidity -> Rigidity -> Rigidity # min :: Rigidity -> Rigidity -> Rigidity #
Show Rigidity #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> Rigidity -> ShowS # show :: Rigidity -> String # showList :: [Rigidity] -> ShowS #

data AstContext #

Instances

Eq AstContext #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: AstContext -> AstContext -> Bool # (/=) :: AstContext -> AstContext -> Bool #
Ord AstContext #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods compare :: AstContext -> AstContext -> Ordering # (<) :: AstContext -> AstContext -> Bool # (<=) :: AstContext -> AstContext -> Bool # (>) :: AstContext -> AstContext -> Bool # (>=) :: AstContext -> AstContext -> Bool # max :: AstContext -> AstContext -> AstContext # min :: AstContext -> AstContext -> AstContext #
Show AstContext #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> AstContext -> ShowS # show :: AstContext -> String # showList :: [AstContext] -> ShowS #
Semigroup (ACS' AstContext) #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (<>) :: ACS' AstContext -> ACS' AstContext -> ACS' AstContext # sconcat :: NonEmpty (ACS' AstContext) -> ACS' AstContext # stimes :: Integral b => b -> ACS' AstContext -> ACS' AstContext #
Monoid (ACS' AstContext) #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods mempty :: ACS' AstContext # mappend :: ACS' AstContext -> ACS' AstContext -> ACS' AstContext # mconcat :: [ACS' AstContext] -> ACS' AstContext #

type AstContextSet = ACS' AstContext #

defaultACS :: AstContextSet #

data ACS' a #

Constructors

ACS
Fields acs :: !(Map a Int) how many levels each AstContext should propagate down the AST. Removed when it hits zero

Instances

Show a => Show (ACS' a) #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> ACS' a -> ShowS # show :: ACS' a -> String # showList :: [ACS' a] -> ShowS #
Semigroup (ACS' AstContext) #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (<>) :: ACS' AstContext -> ACS' AstContext -> ACS' AstContext # sconcat :: NonEmpty (ACS' AstContext) -> ACS' AstContext # stimes :: Integral b => b -> ACS' AstContext -> ACS' AstContext #
Monoid (ACS' AstContext) #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods mempty :: ACS' AstContext # mappend :: ACS' AstContext -> ACS' AstContext -> ACS' AstContext # mconcat :: [ACS' AstContext] -> ACS' AstContext #
Show a => Outputable (ACS' a) #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods ppr :: ACS' a -> SDoc # pprPrec :: Rational -> ACS' a -> SDoc #

data ListContexts #

Constructors

LC
Fields lcOnly, lcInitial, lcMiddle, lcLast :: !(Set AstContext)

Instances

Eq ListContexts #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: ListContexts -> ListContexts -> Bool # (/=) :: ListContexts -> ListContexts -> Bool #
Show ListContexts #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> ListContexts -> ShowS # show :: ListContexts -> String # showList :: [ListContexts] -> ShowS #

GHC version compatibility

type GhcPs = GhcPs #

type GhcRn = GhcRn #

type GhcTc = GhcTc #

Internal Types

newtype LayoutStartCol #

Marks the start column of a layout block.

Constructors

LayoutStartCol
Fields getLayoutStartCol :: Int

Instances

Eq LayoutStartCol #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (==) :: LayoutStartCol -> LayoutStartCol -> Bool # (/=) :: LayoutStartCol -> LayoutStartCol -> Bool #
Num LayoutStartCol #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods (+) :: LayoutStartCol -> LayoutStartCol -> LayoutStartCol # (-) :: LayoutStartCol -> LayoutStartCol -> LayoutStartCol # (*) :: LayoutStartCol -> LayoutStartCol -> LayoutStartCol # negate :: LayoutStartCol -> LayoutStartCol # abs :: LayoutStartCol -> LayoutStartCol # signum :: LayoutStartCol -> LayoutStartCol # fromInteger :: Integer -> LayoutStartCol #
Show LayoutStartCol #
Instance details Defined in Language.Haskell.GHC.ExactPrint.Types Methods showsPrec :: Int -> LayoutStartCol -> ShowS # show :: LayoutStartCol -> String # showList :: [LayoutStartCol] -> ShowS #

declFun :: (forall a. Data a => Located a -> b) -> LHsDecl GhcPs -> b #

LambdaExpr
CaseAlt
NoPrecedingSpace
HasHiding
AdvanceLine
NoAdvanceLine
Intercalate
InIE
PrefixOp
PrefixOpDollar
InfixOp
ListStart
ListItem
TopLevel
NoDarrow
AddVbar
Deriving
Parens
ExplicitNeverActive
InGadt
InRecCon
InClassDecl
InSpliceDecl
LeftMost
CtxOnly
CtxFirst
CtxMiddle
CtxLast
CtxPos Int
FollowingLine