Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.AnnTrf.RangeTemplate

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.

Documentation

data RangeTemplateElem Source #

Constructors

RangeElem RealSrcSpan
RangeChildElem
RangeOptionalElem String String
RangeListElem String String String Bool [RealSrcSpan]

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 #

data RangeTemplate Source #

The intermediate annotation with ranges and children cut out from parents.

Constructors

RangeTemplate
Fields _rangeTemplateSpan :: RealSrcSpan _rangeTemplateElems :: [RangeTemplateElem]

Instances

Data RangeTemplate Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RangeTemplate -> c RangeTemplate # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RangeTemplate # toConstr :: RangeTemplate -> Constr # dataTypeOf :: RangeTemplate -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c RangeTemplate) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RangeTemplate) # gmapT :: (forall b. Data b => b -> b) -> RangeTemplate -> RangeTemplate # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RangeTemplate -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RangeTemplate -> r # gmapQ :: (forall d. Data d => d -> u) -> RangeTemplate -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RangeTemplate -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RangeTemplate -> m RangeTemplate # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RangeTemplate -> m RangeTemplate # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RangeTemplate -> m RangeTemplate #
Show RangeTemplate Source #
Methods showsPrec :: Int -> RangeTemplate -> ShowS # show :: RangeTemplate -> String # showList :: [RangeTemplate] -> ShowS #

rangeTemplateSpan :: Lens RangeTemplate RangeTemplate RealSrcSpan RealSrcSpan Source #

rangeTemplateElems :: Lens RangeTemplate RangeTemplate [RangeTemplateElem] [RangeTemplateElem] Source #