Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Term.Strng.Point

Contents

Documentation

Orphan instances

TstCtx m ts s x0 i0 is (PointL O) => TermStream m (TermSymbol ts (Strng v x)) s ((:.) is (PointL O)) Source #
Methods termStream :: TermSymbol ts (Strng v 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 (Strng v x)))) Source #
TstCtx m ts s x0 i0 is (PointL I) => TermStream m (TermSymbol ts (Strng v x)) s ((:.) is (PointL I)) Source #
Methods termStream :: TermSymbol ts (Strng v 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 (Strng v x)))) Source #
TmkCtx1 m ls (Strng v x) (PointL i) => MkStream m ((:!:) ls (Strng v x)) (PointL i) Source #
Methods mkStream :: (ls :!: Strng v x) -> Context (PointL i) -> PointL i -> PointL i -> Stream m (Elm (ls :!: Strng v x) (PointL i)) Source #
TermStaticVar (Strng v x) (PointL O) Source #
Methods termStaticVar :: Strng v x -> Context (PointL O) -> PointL O -> Context (PointL O) Source # termStreamIndex :: Strng v x -> Context (PointL O) -> PointL O -> PointL O Source #
TermStaticVar (Strng v x) (PointL I) Source #
Methods termStaticVar :: Strng v x -> Context (PointL I) -> PointL I -> Context (PointL I) Source # termStreamIndex :: Strng v x -> Context (PointL I) -> PointL I -> PointL I Source #