ADP.Fusion.Term.Deletion.Type

Documentation

data Deletion

Constructors

Deletion

Instances

Build Deletion

TermStaticVar Deletion Subword

TermStaticVar Deletion PointL

TermStaticVar Deletion (Outside PointL)

(Monad m, MkStream m ls PointL) => MkStream m ((:!:) ls Deletion) PointL

(Monad m, Element ls (Outside PointL), MkStream m ls (Outside PointL)) => MkStream m ((:!:) ls Deletion) (Outside PointL)

(Monad m, TerminalStream m a (Outside is)) => TerminalStream m (TermSymbol a Deletion) (Outside ((:.) is PointL))

(Monad m, TerminalStream m a is) => TerminalStream m (TermSymbol a Deletion) ((:.) is PointL)

(Monad m, TerminalStream m a is) => TerminalStream m (TermSymbol a Deletion) ((:.) is Subword)

Element ls i => Element ((:!:) ls Deletion) i

type Stack Deletion = (:!:) S Deletion

data Elm ((:!:) ls Deletion) = ElmDeletion !i !i !(Elm ls i)

type Arg ((:!:) ls Deletion) = (:.) (Arg ls) ()

type TermArg (TermSymbol a Deletion) = (:.) (TermArg a) ()