ADP.Fusion.PointR.SynVar.Indices

Index movement for syntactic variables in linear PointL grammars.

Syntactic variables for PointL indices can be both, static and variable. Static is the default, whenever we have X -> X a where a is a character or similar. However, we can expect to see a as a string as well. Then, X on the r.h.s. is variable.

Orphan instances

(AddIndexDenseContext ps elm x0 i0 cs c us (PointR I) is (PointR I), MinSize c) => AddIndexDense (ps :. IStatic d :: Type) elm (cs :. c) (us :. PointR I) (is :. PointR I)

Methods

addIndexDenseGo :: Monad m => Proxy (ps :. IStatic d) -> (cs :. c) -> LimitType (us :. PointR I) -> LimitType (is :. PointR I) -> (is :. PointR I) -> Stream m (SvState elm Z Z) -> Stream m (SvState elm (us :. PointR I) (is :. PointR I))