Language.Haskell.Refact.Utils.TokenUtilsTypes

This module contains types shared between TokenUtils and Monad, and exists to break import cycles

The cache of trees comprising the manipulated tokens

data TokenCache

Constructors

TK

Fields

tkCache :: !(Map TreeId (Tree Entry))

tkLastTreeId :: !TreeId

data TreeId

Constructors

TId !Int

Instances

Eq TreeId

Ord TreeId

Show TreeId

mainTid :: TreeId

Identifies the tree carrying the main tokens, not any work in progress or deleted ones

Structure of each tree

data Entry

An entry in the data structure for a particular srcspan.

Constructors

Entry !ForestSpan ![PosToken]

The tokens for the SrcSpan if subtree is empty

Deleted !ForestSpan SimpPos

The gap between this span end and the start of the next in the fringe of the tree.

Instances

Show Entry => Show Entry

data ForestLine

Constructors

ForestLine

Fields

flSpanLengthChanged :: !Bool

The length of the span may have changed due to updated tokens.

flTreeSelector :: !Int

flInsertVersion :: !Int

flLine :: !Int

Instances

Eq ForestLine

Ord ForestLine

Show ForestLine

type ForestPos = (ForestLine, Int)

type ForestSpan = (ForestPos, ForestPos)

Match a SrcSpan, using a ForestLine as the marker