ADP.Fusion.PointR.Term.Chr

Orphan instances

(TermStream m (Z :. pos) (TermSymbol M (Chr r x)) (Elm (Term1 (Elm ls (PointR i))) (Z :. PointR i)) (Z :. PointR i), posLeft ~ LeftPosTy pos (Chr r x) (PointR i), TermStaticVar pos (Chr r x) (PointR i), MkStream m posLeft ls (PointR i)) => MkStream m (pos :: Type) (ls :!: Chr r x) (PointR i)

Methods

mkStream :: Proxy pos -> (ls :!: Chr r x) -> Int# -> LimitType (PointR i) -> PointR i -> Stream m (Elm (ls :!: Chr r x) (PointR i))

TermStreamContext m ps ts s x0 i0 is (PointR I) => TermStream m (ps :. IVariable d :: Type) (TermSymbol ts (Chr r x)) s (is :. PointR I)

Methods

termStream :: Proxy (ps :. IVariable d) -> TermSymbol ts (Chr r x) -> LimitType (is :. PointR I) -> (is :. PointR I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointR I) (TermArg (TermSymbol ts (Chr r x))))

TermStreamContext m ps ts s x0 i0 is (PointR I) => TermStream m (ps :. IStatic d :: Type) (TermSymbol ts (Chr r x)) s (is :. PointR I)

Methods

termStream :: Proxy (ps :. IStatic d) -> TermSymbol ts (Chr r x) -> LimitType (is :. PointR I) -> (is :. PointR I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointR I) (TermArg (TermSymbol ts (Chr r x))))

TermStaticVar (IVariable d :: Type) (Chr r x) (PointR I)

Methods

termStreamIndex :: Proxy (IVariable d) -> Chr r x -> PointR I -> PointR I

termStaticCheck :: Proxy (IVariable d) -> Chr r x -> LimitType (PointR I) -> PointR I -> Int# -> Int#

TermStaticVar (IStatic d :: Type) (Chr r x) (PointR I)

Methods

termStreamIndex :: Proxy (IStatic d) -> Chr r x -> PointR I -> PointR I

termStaticCheck :: Proxy (IStatic d) -> Chr r x -> LimitType (PointR I) -> PointR I -> Int# -> Int#