Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.AnnTrf.RangeTemplate

Contents

Orphan instances

Description

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.

Synopsis

Documentation

rngTemplateNodeRange :: Simple Lens (SpanInfo RngTemplateStage) RealSrcSpan Source #

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

rngTemplateListRange :: Simple Lens (ListInfo RngTemplateStage) RealSrcSpan Source #

rngTmpListBefore :: Simple Lens (ListInfo RngTemplateStage) String Source #

rngTmpListAfter :: Simple Lens (ListInfo RngTemplateStage) String Source #

rngTmpDefaultSeparator :: Simple Lens (ListInfo RngTemplateStage) String Source #

rngTmpIndented :: Simple Lens (ListInfo RngTemplateStage) Bool Source #

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

rngTemplateOptRange :: Simple Lens (OptionalInfo RngTemplateStage) RealSrcSpan Source #

rngTmpOptBefore :: Simple Lens (OptionalInfo RngTemplateStage) String Source #

rngTmpOptAfter :: Simple Lens (OptionalInfo RngTemplateStage) String Source #

data RangeTemplateElem Source #

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 Source #
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 Source #
Methods showsPrec :: Int -> RangeTemplateElem -> ShowS # show :: RangeTemplateElem -> String # showList :: [RangeTemplateElem] -> ShowS #

getRangeElemSpan :: RangeTemplateElem -> Maybe RealSrcSpan Source #

Orphan instances

SourceInfo RngTemplateStage Source #
Associated Types data SpanInfo RngTemplateStage :: * # data ListInfo RngTemplateStage :: * # data OptionalInfo RngTemplateStage :: * #
Data (OptionalInfo RngTemplateStage) Source #
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) Source #
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) Source #
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) Source #
Methods showsPrec :: Int -> OptionalInfo RngTemplateStage -> ShowS # show :: OptionalInfo RngTemplateStage -> String # showList :: [OptionalInfo RngTemplateStage] -> ShowS #
Show (ListInfo RngTemplateStage) Source #
Methods showsPrec :: Int -> ListInfo RngTemplateStage -> ShowS # show :: ListInfo RngTemplateStage -> String # showList :: [ListInfo RngTemplateStage] -> ShowS #
Show (SpanInfo RngTemplateStage) Source #
Methods showsPrec :: Int -> SpanInfo RngTemplateStage -> ShowS # show :: SpanInfo RngTemplateStage -> String # showList :: [SpanInfo RngTemplateStage] -> ShowS #
HasRange (OptionalInfo RngTemplateStage) Source #
Methods getRange :: OptionalInfo RngTemplateStage -> SrcSpan # setRange :: SrcSpan -> OptionalInfo RngTemplateStage -> OptionalInfo RngTemplateStage #
HasRange (ListInfo RngTemplateStage) Source #
Methods getRange :: ListInfo RngTemplateStage -> SrcSpan # setRange :: SrcSpan -> ListInfo RngTemplateStage -> ListInfo RngTemplateStage #
HasRange (SpanInfo RngTemplateStage) Source #
Methods getRange :: SpanInfo RngTemplateStage -> SrcSpan # setRange :: SrcSpan -> SpanInfo RngTemplateStage -> SpanInfo RngTemplateStage #