Language.Haskell.Tools.AnnTrf.SourceTemplate

The final version of the source annotation. Each node contains its original textual format, with the places of the children specified by placeholders.

Documentation

sourceTemplateNodeRange :: Simple Lens (SpanInfo SrcTemplateStage) SrcSpan

sourceTemplateNodeElems :: Simple Lens (SpanInfo SrcTemplateStage) [SourceTemplateElem]

sourceTemplateListRange :: Simple Lens (ListInfo SrcTemplateStage) SrcSpan

srcTmpListBefore :: Simple Lens (ListInfo SrcTemplateStage) String

srcTmpListAfter :: Simple Lens (ListInfo SrcTemplateStage) String

srcTmpDefaultSeparator :: Simple Lens (ListInfo SrcTemplateStage) String

srcTmpIndented :: Simple Lens (ListInfo SrcTemplateStage) Bool

srcTmpSeparators :: Simple Lens (ListInfo SrcTemplateStage) [String]

sourceTemplateOptRange :: Simple Lens (OptionalInfo SrcTemplateStage) SrcSpan

srcTmpOptBefore :: Simple Lens (OptionalInfo SrcTemplateStage) String

srcTmpOptAfter :: Simple Lens (OptionalInfo SrcTemplateStage) String

data SourceTemplateElem

An element of a source template for a singleton AST node.

Constructors

TextElem String

Source text belonging to the current node

ChildElem

Placeholder for the next children of the node

Instances

Eq SourceTemplateElem

Methods

(==) :: SourceTemplateElem -> SourceTemplateElem -> Bool

(/=) :: SourceTemplateElem -> SourceTemplateElem -> Bool

Data SourceTemplateElem

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceTemplateElem -> c SourceTemplateElem

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceTemplateElem

toConstr :: SourceTemplateElem -> Constr

dataTypeOf :: SourceTemplateElem -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SourceTemplateElem)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceTemplateElem)

gmapT :: (forall b. Data b => b -> b) -> SourceTemplateElem -> SourceTemplateElem

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceTemplateElem -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceTemplateElem -> r

gmapQ :: (forall d. Data d => d -> u) -> SourceTemplateElem -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceTemplateElem -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceTemplateElem -> m SourceTemplateElem

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceTemplateElem -> m SourceTemplateElem

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceTemplateElem -> m SourceTemplateElem

Ord SourceTemplateElem

Methods

compare :: SourceTemplateElem -> SourceTemplateElem -> Ordering

(<) :: SourceTemplateElem -> SourceTemplateElem -> Bool

(<=) :: SourceTemplateElem -> SourceTemplateElem -> Bool

(>) :: SourceTemplateElem -> SourceTemplateElem -> Bool

(>=) :: SourceTemplateElem -> SourceTemplateElem -> Bool

max :: SourceTemplateElem -> SourceTemplateElem -> SourceTemplateElem

min :: SourceTemplateElem -> SourceTemplateElem -> SourceTemplateElem

Show SourceTemplateElem

Methods

showsPrec :: Int -> SourceTemplateElem -> ShowS

show :: SourceTemplateElem -> String

showList :: [SourceTemplateElem] -> ShowS

Orphan instances

SourceInfo SrcTemplateStage

Associated Types

data SpanInfo SrcTemplateStage :: *

data ListInfo SrcTemplateStage :: *

data OptionalInfo SrcTemplateStage :: *

Eq (OptionalInfo SrcTemplateStage)

Methods

(==) :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> Bool

(/=) :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> Bool

Eq (ListInfo SrcTemplateStage)

Methods

(==) :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> Bool

(/=) :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> Bool

Eq (SpanInfo SrcTemplateStage)

Methods

(==) :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> Bool

(/=) :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> Bool

Data (OptionalInfo SrcTemplateStage)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OptionalInfo SrcTemplateStage -> c (OptionalInfo SrcTemplateStage)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (OptionalInfo SrcTemplateStage)

toConstr :: OptionalInfo SrcTemplateStage -> Constr

dataTypeOf :: OptionalInfo SrcTemplateStage -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (OptionalInfo SrcTemplateStage))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (OptionalInfo SrcTemplateStage))

gmapT :: (forall b. Data b => b -> b) -> OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OptionalInfo SrcTemplateStage -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OptionalInfo SrcTemplateStage -> r

gmapQ :: (forall d. Data d => d -> u) -> OptionalInfo SrcTemplateStage -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OptionalInfo SrcTemplateStage -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OptionalInfo SrcTemplateStage -> m (OptionalInfo SrcTemplateStage)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OptionalInfo SrcTemplateStage -> m (OptionalInfo SrcTemplateStage)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OptionalInfo SrcTemplateStage -> m (OptionalInfo SrcTemplateStage)

Data (ListInfo SrcTemplateStage)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListInfo SrcTemplateStage -> c (ListInfo SrcTemplateStage)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ListInfo SrcTemplateStage)

toConstr :: ListInfo SrcTemplateStage -> Constr

dataTypeOf :: ListInfo SrcTemplateStage -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (ListInfo SrcTemplateStage))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ListInfo SrcTemplateStage))

gmapT :: (forall b. Data b => b -> b) -> ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListInfo SrcTemplateStage -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListInfo SrcTemplateStage -> r

gmapQ :: (forall d. Data d => d -> u) -> ListInfo SrcTemplateStage -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListInfo SrcTemplateStage -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListInfo SrcTemplateStage -> m (ListInfo SrcTemplateStage)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListInfo SrcTemplateStage -> m (ListInfo SrcTemplateStage)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListInfo SrcTemplateStage -> m (ListInfo SrcTemplateStage)

Data (SpanInfo SrcTemplateStage)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SpanInfo SrcTemplateStage -> c (SpanInfo SrcTemplateStage)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SpanInfo SrcTemplateStage)

toConstr :: SpanInfo SrcTemplateStage -> Constr

dataTypeOf :: SpanInfo SrcTemplateStage -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (SpanInfo SrcTemplateStage))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SpanInfo SrcTemplateStage))

gmapT :: (forall b. Data b => b -> b) -> SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SpanInfo SrcTemplateStage -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SpanInfo SrcTemplateStage -> r

gmapQ :: (forall d. Data d => d -> u) -> SpanInfo SrcTemplateStage -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SpanInfo SrcTemplateStage -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SpanInfo SrcTemplateStage -> m (SpanInfo SrcTemplateStage)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SpanInfo SrcTemplateStage -> m (SpanInfo SrcTemplateStage)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SpanInfo SrcTemplateStage -> m (SpanInfo SrcTemplateStage)

Ord (OptionalInfo SrcTemplateStage)

Methods

compare :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> Ordering

(<) :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> Bool

(<=) :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> Bool

(>) :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> Bool

(>=) :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> Bool

max :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage

min :: OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage

Ord (ListInfo SrcTemplateStage)

Methods

compare :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> Ordering

(<) :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> Bool

(<=) :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> Bool

(>) :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> Bool

(>=) :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> Bool

max :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage

min :: ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage

Ord (SpanInfo SrcTemplateStage)

Methods

compare :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> Ordering

(<) :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> Bool

(<=) :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> Bool

(>) :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> Bool

(>=) :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> Bool

max :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage

min :: SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage

Show (OptionalInfo SrcTemplateStage)

Methods

showsPrec :: Int -> OptionalInfo SrcTemplateStage -> ShowS

show :: OptionalInfo SrcTemplateStage -> String

showList :: [OptionalInfo SrcTemplateStage] -> ShowS

Show (ListInfo SrcTemplateStage)

Methods

showsPrec :: Int -> ListInfo SrcTemplateStage -> ShowS

show :: ListInfo SrcTemplateStage -> String

showList :: [ListInfo SrcTemplateStage] -> ShowS

Show (SpanInfo SrcTemplateStage)

Methods

showsPrec :: Int -> SpanInfo SrcTemplateStage -> ShowS

show :: SpanInfo SrcTemplateStage -> String

showList :: [SpanInfo SrcTemplateStage] -> ShowS

HasRange (OptionalInfo SrcTemplateStage)

Methods

getRange :: OptionalInfo SrcTemplateStage -> SrcSpan

setRange :: SrcSpan -> OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage

HasRange (ListInfo SrcTemplateStage)

Methods

getRange :: ListInfo SrcTemplateStage -> SrcSpan

setRange :: SrcSpan -> ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage

HasRange (SpanInfo SrcTemplateStage)

Methods

getRange :: SpanInfo SrcTemplateStage -> SrcSpan

setRange :: SrcSpan -> SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage