ADP.Fusion.Term.Chr.Point

Documentation

Orphan instances

TstCtx m ts s x0 i0 is (PointL O) => TermStream m (TermSymbol ts (Chr r x)) s ((:.) is (PointL O))

Methods

termStream :: TermSymbol ts (Chr r x) -> Context (is :. PointL O) -> (is :. PointL O) -> (is :. PointL O) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL O) (TermArg (TermSymbol ts (Chr r x))))

TstCtx m ts s x0 i0 is (PointL I) => TermStream m (TermSymbol ts (Chr r x)) s ((:.) is (PointL I))

Current first try for using TermStream

TODO what happens to fusion if staticCheck happens before S.map?

NOTE / TODO a bit faster with seq xs ?

Methods

termStream :: TermSymbol ts (Chr r x) -> Context (is :. PointL I) -> (is :. PointL I) -> (is :. PointL I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL I) (TermArg (TermSymbol ts (Chr r x))))

TmkCtx1 m ls (Chr r x) (PointL i) => MkStream m ((:!:) ls (Chr r x)) (PointL i)

First try in getting this right with a termStream.

TODO use PointL i since this is probably the same for all single-tape instances with ElmChr.

TODO it might even be possible to auto-generate this code via TH.

Methods

mkStream :: (ls :!: Chr r x) -> Context (PointL i) -> PointL i -> PointL i -> Stream m (Elm (ls :!: Chr r x) (PointL i))

TermStaticVar (Chr r x) (PointL O)

Methods

termStaticVar :: Chr r x -> Context (PointL O) -> PointL O -> Context (PointL O)

termStreamIndex :: Chr r x -> Context (PointL O) -> PointL O -> PointL O

TermStaticVar (Chr r x) (PointL I)

Methods

termStaticVar :: Chr r x -> Context (PointL I) -> PointL I -> Context (PointL I)

termStreamIndex :: Chr r x -> Context (PointL I) -> PointL I -> PointL I