Language.Haskell.Tools.AnnTrf.RangeTemplate

The range template is an intermediate annotation level, where the children nodes of the tree had been cut from the parent nodes, but the annotations still contain ranges instead of text.

Documentation

rngTemplateNodeRange :: Simple Lens (SpanInfo RngTemplateStage) RealSrcSpan

rngTemplateNodeElems :: Simple Lens (SpanInfo RngTemplateStage) [RangeTemplateElem]

rngTemplateListRange :: Simple Lens (ListInfo RngTemplateStage) RealSrcSpan

rngTmpListBefore :: Simple Lens (ListInfo RngTemplateStage) String

rngTmpListAfter :: Simple Lens (ListInfo RngTemplateStage) String

rngTmpDefaultSeparator :: Simple Lens (ListInfo RngTemplateStage) String

rngTmpIndented :: Simple Lens (ListInfo RngTemplateStage) Bool

rngTmpSeparators :: Simple Lens (ListInfo RngTemplateStage) [RealSrcSpan]

rngTemplateOptRange :: Simple Lens (OptionalInfo RngTemplateStage) RealSrcSpan

rngTmpOptBefore :: Simple Lens (OptionalInfo RngTemplateStage) String

rngTmpOptAfter :: Simple Lens (OptionalInfo RngTemplateStage) String

data RangeTemplateElem

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

Constructors

RangeElem RealSrcSpan

A range for the source code of the element

RangeChildElem

The place for a child element

Instances

Data RangeTemplateElem

Methods

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

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

toConstr :: RangeTemplateElem -> Constr

dataTypeOf :: RangeTemplateElem -> DataType

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

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

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

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

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

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

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

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

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

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

Show RangeTemplateElem

Methods

showsPrec :: Int -> RangeTemplateElem -> ShowS

show :: RangeTemplateElem -> String

showList :: [RangeTemplateElem] -> ShowS

getRangeElemSpan :: RangeTemplateElem -> Maybe RealSrcSpan

Orphan instances

SourceInfo RngTemplateStage

Associated Types

data SpanInfo RngTemplateStage :: *

data ListInfo RngTemplateStage :: *

data OptionalInfo RngTemplateStage :: *

Data (OptionalInfo RngTemplateStage)

Methods

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

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

toConstr :: OptionalInfo RngTemplateStage -> Constr

dataTypeOf :: OptionalInfo RngTemplateStage -> DataType

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

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

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

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

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

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

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

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

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

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

Data (ListInfo RngTemplateStage)

Methods

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

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

toConstr :: ListInfo RngTemplateStage -> Constr

dataTypeOf :: ListInfo RngTemplateStage -> DataType

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

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

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

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

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

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

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

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

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

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

Data (SpanInfo RngTemplateStage)

Methods

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

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

toConstr :: SpanInfo RngTemplateStage -> Constr

dataTypeOf :: SpanInfo RngTemplateStage -> DataType

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

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

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

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

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

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

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

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

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

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

Show (OptionalInfo RngTemplateStage)

Methods

showsPrec :: Int -> OptionalInfo RngTemplateStage -> ShowS

show :: OptionalInfo RngTemplateStage -> String

showList :: [OptionalInfo RngTemplateStage] -> ShowS

Show (ListInfo RngTemplateStage)

Methods

showsPrec :: Int -> ListInfo RngTemplateStage -> ShowS

show :: ListInfo RngTemplateStage -> String

showList :: [ListInfo RngTemplateStage] -> ShowS

Show (SpanInfo RngTemplateStage)

Methods

showsPrec :: Int -> SpanInfo RngTemplateStage -> ShowS

show :: SpanInfo RngTemplateStage -> String

showList :: [SpanInfo RngTemplateStage] -> ShowS

HasRange (OptionalInfo RngTemplateStage)

Methods

getRange :: OptionalInfo RngTemplateStage -> SrcSpan

setRange :: SrcSpan -> OptionalInfo RngTemplateStage -> OptionalInfo RngTemplateStage

HasRange (ListInfo RngTemplateStage)

Methods

getRange :: ListInfo RngTemplateStage -> SrcSpan

setRange :: SrcSpan -> ListInfo RngTemplateStage -> ListInfo RngTemplateStage

HasRange (SpanInfo RngTemplateStage)

Methods

getRange :: SpanInfo RngTemplateStage -> SrcSpan

setRange :: SrcSpan -> SpanInfo RngTemplateStage -> SpanInfo RngTemplateStage