Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Build Deletion | |
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) | |
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) () |