Agda.TypeChecking.Serialise.Instances.Highlighting
Contents
data KVS a Source #
Constructors
toAscList' :: RangeMap a -> KVS a Source #
icodRM :: EmbPrj a => KVS a -> S Node Source #
valueRM :: EmbPrj a => Node -> R [(Int, PairInt a)] Source #
Methods
icode :: Aspect -> S Word32 Source #
icod_ :: Aspect -> S Word32 Source #
value :: Word32 -> R Aspect Source #
icode :: Aspects -> S Word32 Source #
icod_ :: Aspects -> S Word32 Source #
value :: Word32 -> R Aspects Source #
icode :: DefinitionSite -> S Word32 Source #
icod_ :: DefinitionSite -> S Word32 Source #
value :: Word32 -> R DefinitionSite Source #
icode :: NameKind -> S Word32 Source #
icod_ :: NameKind -> S Word32 Source #
value :: Word32 -> R NameKind Source #
icode :: OtherAspect -> S Word32 Source #
icod_ :: OtherAspect -> S Word32 Source #
value :: Word32 -> R OtherAspect Source #
icode :: TokenBased -> S Word32 Source #
icod_ :: TokenBased -> S Word32 Source #
value :: Word32 -> R TokenBased Source #
icode :: Range -> S Word32 Source #
icod_ :: Range -> S Word32 Source #
value :: Word32 -> R Range Source #
icode :: RangeMap a -> S Word32 Source #
icod_ :: RangeMap a -> S Word32 Source #
value :: Word32 -> R (RangeMap a) Source #