Safe Haskell	None
Language	Haskell2010

ADP.Fusion.PointL.Term.Deletion

Contents

Orphan instances

Orphan instances

TermStaticVar (oAny :: k) Deletion (PointL O) Source #
Instance details Methods termStreamIndex :: Proxy oAny -> Deletion -> PointL O -> PointL O Source # termStaticCheck :: Proxy oAny -> Deletion -> LimitType (PointL O) -> PointL O -> Int# -> Int# Source #
(TermStream m (Z :. pos) (TermSymbol M Deletion) (Elm (Term1 (Elm ls (PointL i))) (Z :. PointL i)) (Z :. PointL i), posLeft ~ LeftPosTy pos Deletion (PointL i), TermStaticVar pos Deletion (PointL i), MkStream m posLeft ls (PointL i)) => MkStream m (pos :: Type) (ls :!: Deletion) (PointL i) Source #
Instance details Methods mkStream :: Proxy pos -> (ls :!: Deletion) -> Int# -> LimitType (PointL i) -> PointL i -> Stream m (Elm (ls :!: Deletion) (PointL i)) Source #
TermStreamContext m ps ts s x0 i0 is (PointL O) => TermStream m (ps :. OStatic d :: Type) (TermSymbol ts Deletion) s (is :. PointL O) Source #
Instance details Methods termStream :: Proxy (ps :. OStatic d) -> TermSymbol ts Deletion -> LimitType (is :. PointL O) -> (is :. PointL O) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL O) (TermArg (TermSymbol ts Deletion))) Source #
TermStreamContext m ps ts s x0 i0 is (PointL I) => TermStream m (ps :. IVariable d :: Type) (TermSymbol ts Deletion) s (is :. PointL I) Source #
Instance details Methods termStream :: Proxy (ps :. IVariable d) -> TermSymbol ts Deletion -> LimitType (is :. PointL I) -> (is :. PointL I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL I) (TermArg (TermSymbol ts Deletion))) Source #
TermStreamContext m ps ts s x0 i0 is (PointL I) => TermStream m (ps :. IStatic d :: Type) (TermSymbol ts Deletion) s (is :. PointL I) Source #
Instance details Methods termStream :: Proxy (ps :. IStatic d) -> TermSymbol ts Deletion -> LimitType (is :. PointL I) -> (is :. PointL I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointL I) (TermArg (TermSymbol ts Deletion))) Source #
TermStaticVar (IVariable d :: Type) Deletion (PointL I) Source #
Instance details Methods termStreamIndex :: Proxy (IVariable d) -> Deletion -> PointL I -> PointL I Source # termStaticCheck :: Proxy (IVariable d) -> Deletion -> LimitType (PointL I) -> PointL I -> Int# -> Int# Source #
TermStaticVar (IStatic d :: Type) Deletion (PointL I) Source #
Instance details Methods termStreamIndex :: Proxy (IStatic d) -> Deletion -> PointL I -> PointL I Source # termStaticCheck :: Proxy (IStatic d) -> Deletion -> LimitType (PointL I) -> PointL I -> Int# -> Int# Source #