ADPfusion-0.6.0.0: Efficient, high-level dynamic programming.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.PointR.SynVar.Indices

Contents

Description

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) Source # 
Instance details

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)) Source #