ADP.Fusion.PointL.Term.Epsilon

Rules of the type X → ε denote termination of parsing if X is empty.

Orphan instances

(TermStream m (Z :. pos) (TermSymbol M (Epsilon lg)) (Elm (Term1 (Elm ls (PointL i))) (Z :. PointL i)) (Z :. PointL i), posLeft ~ LeftPosTy pos (Epsilon lg) (PointL i), TermStaticVar pos (Epsilon lg) (PointL i), MkStream m posLeft ls (PointL i)) => MkStream m (pos :: Type) (ls :!: Epsilon lg) (PointL i)

Methods

mkStream :: Proxy pos -> (ls :!: Epsilon lg) -> Int# -> LimitType (PointL i) -> PointL i -> Stream m (Elm (ls :!: Epsilon lg) (PointL i))

TermStreamContext m ps ts s x0 i0 is (PointL O) => TermStream m (ps :. OStatic d :: Type) (TermSymbol ts (Epsilon lg)) s (is :. PointL O)

Methods

termStream :: Proxy (ps :. OStatic d) -> TermSymbol ts (Epsilon lg) -> LimitType (is :. PointL O) -> (is :. PointL O) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL O) (TermArg (TermSymbol ts (Epsilon lg))))

TermStreamContext m ps ts s x0 i0 is (PointL I) => TermStream m (ps :. IStatic d :: Type) (TermSymbol ts (Epsilon lg)) s (is :. PointL I)

Methods

termStream :: Proxy (ps :. IStatic d) -> TermSymbol ts (Epsilon lg) -> LimitType (is :. PointL I) -> (is :. PointL I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL I) (TermArg (TermSymbol ts (Epsilon lg))))

TermStaticVar (IStatic 0) (Epsilon Local) (PointL I)

Methods

termStreamIndex :: Proxy (IStatic 0) -> Epsilon Local -> PointL I -> PointL I

termStaticCheck :: Proxy (IStatic 0) -> Epsilon Local -> LimitType (PointL I) -> PointL I -> Int# -> Int#

TermStaticVar (IStatic 0) (Epsilon Global) (PointL I)

We assume that ε / Epsilon is ever only the single symbol (maybe apart from - / Deletion) on a tape. Hence The instance is only active in IStatic 0 cases.

Methods

termStreamIndex :: Proxy (IStatic 0) -> Epsilon Global -> PointL I -> PointL I

termStaticCheck :: Proxy (IStatic 0) -> Epsilon Global -> LimitType (PointL I) -> PointL I -> Int# -> Int#

TermStaticVar (OStatic 0) (Epsilon Local) (PointL O)

Methods

termStreamIndex :: Proxy (OStatic 0) -> Epsilon Local -> PointL O -> PointL O

termStaticCheck :: Proxy (OStatic 0) -> Epsilon Local -> LimitType (PointL O) -> PointL O -> Int# -> Int#

TermStaticVar (OStatic 0) (Epsilon Global) (PointL O)

Methods

termStreamIndex :: Proxy (OStatic 0) -> Epsilon Global -> PointL O -> PointL O

termStaticCheck :: Proxy (OStatic 0) -> Epsilon Global -> LimitType (PointL O) -> PointL O -> Int# -> Int#