ADP.Fusion.Term.Deletion.Point

Documentation

Orphan instances

TermStaticVar Deletion (PointL I)

Methods

termStaticVar :: Deletion -> Context (PointL I) -> PointL I -> Context (PointL I)

termStreamIndex :: Deletion -> Context (PointL I) -> PointL I -> PointL I

TermStaticVar Deletion (PointL O)

Methods

termStaticVar :: Deletion -> Context (PointL O) -> PointL O -> Context (PointL O)

termStreamIndex :: Deletion -> Context (PointL O) -> PointL O -> PointL O

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

Methods

termStream :: TermSymbol ts Deletion -> 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 Deletion)))

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

Methods

termStream :: TermSymbol ts Deletion -> 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 Deletion)))

TmkCtx1 m ls Deletion (PointL i) => MkStream m ((:!:) ls Deletion) (PointL i)

Methods

mkStream :: (ls :!: Deletion) -> Context (PointL i) -> PointL i -> PointL i -> Stream m (Elm (ls :!: Deletion) (PointL i))