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

data RangeTemplateElem

Constructors

RangeElem RealSrcSpan

RangeChildElem

RangeOptionalElem String String

RangeListElem String String String Bool [RealSrcSpan]

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

data RangeTemplate

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

Constructors

RangeTemplate

Fields

• _rangeTemplateSpan :: RealSrcSpan
• _rangeTemplateElems :: [RangeTemplateElem]

Instances

Data RangeTemplate

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

Methods

showsPrec :: Int -> RangeTemplate -> ShowS

show :: RangeTemplate -> String

showList :: [RangeTemplate] -> ShowS

rangeTemplateSpan :: Lens RangeTemplate RangeTemplate RealSrcSpan RealSrcSpan

rangeTemplateElems :: Lens RangeTemplate RangeTemplate [RangeTemplateElem] [RangeTemplateElem]