Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Core.Term.Deletion

Documentation

data Deletion Source #

Constructors

Deletion

Instances

Build Deletion Source #
Instance details Defined in ADP.Fusion.Core.Term.Deletion Associated Types type Stack Deletion :: Type Source # Methods build :: Deletion -> Stack Deletion Source #
TermStaticVar (oAny :: k) Deletion (PointL O) Source #
Instance details Defined in ADP.Fusion.PointL.Term.Deletion 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 Defined in ADP.Fusion.PointL.Term.Deletion Methods mkStream :: Proxy pos -> (ls :!: Deletion) -> Int# -> LimitType (PointL i) -> PointL i -> Stream m (Elm (ls :!: Deletion) (PointL i)) Source #
(TermStream m (Z :. pos) (TermSymbol M Deletion) (Elm (Term1 (Elm ls (PointR i))) (Z :. PointR i)) (Z :. PointR i), posLeft ~ LeftPosTy pos Deletion (PointR i), TermStaticVar pos Deletion (PointR i), MkStream m posLeft ls (PointR i)) => MkStream m (pos :: Type) (ls :!: Deletion) (PointR i) Source #
Instance details Defined in ADP.Fusion.PointR.Term.Deletion Methods mkStream :: Proxy pos -> (ls :!: Deletion) -> Int# -> LimitType (PointR i) -> PointR i -> Stream m (Elm (ls :!: Deletion) (PointR i)) Source #
(TermStream m (Z :. pos) (TermSymbol M Deletion) (Elm (Term1 (Elm ls (Unit i))) (Z :. Unit i)) (Z :. Unit i), posLeft ~ LeftPosTy pos Deletion (Unit i), TermStaticVar pos Deletion (Unit i), MkStream m posLeft ls (Unit i)) => MkStream m (pos :: Type) (ls :!: Deletion) (Unit i) Source #
Instance details Defined in ADP.Fusion.Unit.Term.Deletion Methods mkStream :: Proxy pos -> (ls :!: Deletion) -> Int# -> LimitType (Unit i) -> Unit i -> Stream m (Elm (ls :!: Deletion) (Unit 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 Defined in ADP.Fusion.PointL.Term.Deletion 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 Defined in ADP.Fusion.PointL.Term.Deletion 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 Defined in ADP.Fusion.PointL.Term.Deletion 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 #
TermStreamContext m ps ts s x0 i0 is (PointR I) => TermStream m (ps :. IVariable d :: Type) (TermSymbol ts Deletion) s (is :. PointR I) Source #
Instance details Defined in ADP.Fusion.PointR.Term.Deletion Methods termStream :: Proxy (ps :. IVariable d) -> TermSymbol ts Deletion -> LimitType (is :. PointR I) -> (is :. PointR I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointR I) (TermArg (TermSymbol ts Deletion))) Source #
TermStreamContext m ps ts s x0 i0 is (PointR I) => TermStream m (ps :. IStatic d :: Type) (TermSymbol ts Deletion) s (is :. PointR I) Source #
Instance details Defined in ADP.Fusion.PointR.Term.Deletion Methods termStream :: Proxy (ps :. IStatic d) -> TermSymbol ts Deletion -> LimitType (is :. PointR I) -> (is :. PointR I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. PointR I) (TermArg (TermSymbol ts Deletion))) Source #
TermStaticVar (IVariable d :: Type) Deletion (PointL I) Source #
Instance details Defined in ADP.Fusion.PointL.Term.Deletion 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 (IVariable d :: Type) Deletion (PointR I) Source #
Instance details Defined in ADP.Fusion.PointR.Term.Deletion Methods termStreamIndex :: Proxy (IVariable d) -> Deletion -> PointR I -> PointR I Source # termStaticCheck :: Proxy (IVariable d) -> Deletion -> LimitType (PointR I) -> PointR I -> Int# -> Int# Source #
TermStaticVar (IStatic d :: Type) Deletion (PointL I) Source #
Instance details Defined in ADP.Fusion.PointL.Term.Deletion Methods termStreamIndex :: Proxy (IStatic d) -> Deletion -> PointL I -> PointL I Source # termStaticCheck :: Proxy (IStatic d) -> Deletion -> LimitType (PointL I) -> PointL I -> Int# -> Int# Source #
TermStaticVar (IStatic d :: Type) Deletion (PointR I) Source #
Instance details Defined in ADP.Fusion.PointR.Term.Deletion Methods termStreamIndex :: Proxy (IStatic d) -> Deletion -> PointR I -> PointR I Source # termStaticCheck :: Proxy (IStatic d) -> Deletion -> LimitType (PointR I) -> PointR I -> Int# -> Int# Source #
TermStaticVar (IStatic d :: Type) Deletion (Unit I) Source #
Instance details Defined in ADP.Fusion.Unit.Term.Deletion Methods termStreamIndex :: Proxy (IStatic d) -> Deletion -> Unit I -> Unit I Source # termStaticCheck :: Proxy (IStatic d) -> Deletion -> LimitType (Unit I) -> Unit I -> Int# -> Int# Source #
Element ls i => Element (ls :!: Deletion) i Source #
Instance details Defined in ADP.Fusion.Core.Term.Deletion Associated Types data Elm (ls :!: Deletion) i :: Type Source # type RecElm (ls :!: Deletion) i :: Type Source # type Arg (ls :!: Deletion) :: Type Source # Methods getArg :: Elm (ls :!: Deletion) i -> Arg (ls :!: Deletion) Source # getIdx :: Elm (ls :!: Deletion) i -> RunningIndex i Source # getElm :: Elm (ls :!: Deletion) i -> RecElm (ls :!: Deletion) i Source #
(TermStreamContext m ps ts s x0 i0 is (Unit I), Monad m, TermStream m ps ts (Elm x0 i0) is) => TermStream m (ps :. p :: a :. b) (TermSymbol ts Deletion) s (is :. Unit I) Source #
Instance details Defined in ADP.Fusion.Unit.Term.Deletion Methods termStream :: Proxy (ps :. p) -> TermSymbol ts Deletion -> LimitType (is :. Unit I) -> (is :. Unit I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. Unit I) (TermArg (TermSymbol ts Deletion))) Source #
type Stack Deletion Source #
Instance details Defined in ADP.Fusion.Core.Term.Deletion type Stack Deletion = S :!: Deletion
type TermArg Deletion Source #
Instance details Defined in ADP.Fusion.Core.Term.Deletion type TermArg Deletion = ()
data Elm (ls :!: Deletion) i Source #
Instance details Defined in ADP.Fusion.Core.Term.Deletion data Elm (ls :!: Deletion) i = ElmDeletion !(RunningIndex i) !(Elm ls i)
type Arg (ls :!: Deletion) Source #
Instance details Defined in ADP.Fusion.Core.Term.Deletion type Arg (ls :!: Deletion) = Arg ls :. ()
type LeftPosTy (IVariable d) Deletion (PointL I) Source #
Instance details Defined in ADP.Fusion.PointL.Term.Deletion type LeftPosTy (IVariable d) Deletion (PointL I) = IVariable d
type LeftPosTy (IVariable d) Deletion (PointR I) Source #
Instance details Defined in ADP.Fusion.PointR.Term.Deletion type LeftPosTy (IVariable d) Deletion (PointR I) = IVariable d
type LeftPosTy (IStatic d) Deletion (PointL I) Source #
Instance details Defined in ADP.Fusion.PointL.Term.Deletion type LeftPosTy (IStatic d) Deletion (PointL I) = IStatic d
type LeftPosTy (IStatic d) Deletion (PointR I) Source #
Instance details Defined in ADP.Fusion.PointR.Term.Deletion type LeftPosTy (IStatic d) Deletion (PointR I) = IStatic d
type LeftPosTy (OStatic d) Deletion (PointL O) Source #
Instance details Defined in ADP.Fusion.PointL.Term.Deletion type LeftPosTy (OStatic d) Deletion (PointL O) = OStatic d