Safe Haskell	None

Language.Haskell.TokenUtils.DualTree

Contents

to enable pretty printing

Synopsis

Documentation

renderLayoutTree :: IsToken a => LayoutTree a -> StringSource

layoutTreeToSourceTree :: IsToken a => LayoutTree a -> SourceTree aSource

retrieveLinesFromLayoutTree :: IsToken a => LayoutTree a -> [Line a]Source

retrieveLines :: IsToken a => SourceTree a -> [Line a]Source

renderLines :: IsToken a => [Line a] -> StringSource

renderSourceTree :: IsToken a => SourceTree a -> StringSource

type SourceTree a = DUALTree Transformation (Up a) Annot (Prim a)Source

The main data structure for this module

data Line a Source

Constructors

Line Row Col RowOffset Source LineOpt [a]

Instances

IsToken a => Show (Line a)
IsToken a => Outputable (Line a)
Outputable (Line GhcPosToken)	Extract the layout-sensitive parts of the GHC AST.

data Source Source

Constructors

SOriginal
SAdded
SWasAdded

Instances

Eq Source
Show Source
Outputable Source
Outputable Source

renderLinesFromLayoutTree :: IsToken a => LayoutTree a -> StringSource

to enable pretty printing

data Alignment Source

Constructors

ANone
AVertical

Instances

Eq Alignment
Show Alignment
Outputable Alignment

data Annot Source

Constructors

Ann String
ADeleted ForestSpan RowOffset SimpPos
ASubtree ForestSpan

Instances

Show Annot
Outputable Annot
IsToken a => Outputable (SourceTree a)
IsToken a => Outputable (DUALTreeNE Transformation (Up a) Annot (Prim a))
IsToken a => Outputable (DUALTreeU Transformation (Up a) Annot (Prim a))

data DeletedSpan Source

Constructors

DeletedSpan SimpSpan RowOffset SimpPos

Instances

Eq DeletedSpan
Show DeletedSpan
Outputable DeletedSpan

data LineOpt Source

Constructors

ONone
OGroup	This line needs to be grouped with the next in terms of layout, so any column offsets need to be propagated

Instances

Eq LineOpt
Show LineOpt
Outputable LineOpt
Outputable LineOpt

data Prim a Source

Constructors

PToks [a]
PDeleted ForestSpan RowOffset SimpPos

Instances

Show a => Show (Prim a)
IsToken a => Outputable (SourceTree a)
IsToken a => Outputable (Prim a)
IsToken a => Outputable (DUALTreeNE Transformation (Up a) Annot (Prim a))
IsToken a => Outputable (DUALTreeU Transformation (Up a) Annot (Prim a))

data Transformation Source

Constructors

TAbove ColOffset EndOffset (Row, Col) (Row, Col) EndOffset

Instances

Show Transformation
Semigroup Transformation
Outputable Transformation
Action Transformation (Up a)
IsToken a => Outputable (SourceTree a)
IsToken a => Outputable (DUALTreeNE Transformation (Up a) Annot (Prim a))
IsToken a => Outputable (DUALTreeU Transformation (Up a) Annot (Prim a))

data Up a Source

The value that bubbles up. This is the Span occupied by the subtree, together with a string representation of the subtree. The origin of the string is the start of the span.

Constructors

Up DtSimpSpan Alignment (NonEmpty (Line a)) [DeletedSpan]
UDeleted [DeletedSpan]

Instances

Action Transformation (Up a)
IsToken a => Show (Up a)
IsToken a => Semigroup (Up a)
IsToken a => Outputable (SourceTree a)
IsToken a => Outputable (Up a)
IsToken a => Outputable (DUALTreeNE Transformation (Up a) Annot (Prim a))
IsToken a => Outputable (DUALTreeU Transformation (Up a) Annot (Prim a))