Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Build Epsilon | |
TermStaticVar Epsilon PointL | |
TermStaticVar Epsilon (Outside PointL) | |
(Monad m, MkStream m ls PointL) => MkStream m ((:!:) ls Epsilon) PointL | |
(Monad m, MkStream m ls Subword) => MkStream m ((:!:) ls Epsilon) Subword | |
(Monad m, Element ls (Outside PointL), MkStream m ls (Outside PointL)) => MkStream m ((:!:) ls Epsilon) (Outside PointL) | |
(Monad m, MkStream m ls (Outside Subword)) => MkStream m ((:!:) ls Epsilon) (Outside Subword) | |
(Monad m, TerminalStream m a (Outside is)) => TerminalStream m (TermSymbol a Epsilon) (Outside ((:.) is PointL)) | |
(Monad m, TerminalStream m a is) => TerminalStream m (TermSymbol a Epsilon) ((:.) is PointL) | |
Element ls i => Element ((:!:) ls Epsilon) i | |
type Stack Epsilon = (:!:) S Epsilon | |
data Elm ((:!:) ls Epsilon) = ElmEpsilon !i !i !(Elm ls i) | |
type Arg ((:!:) ls Epsilon) = (:.) (Arg ls) () | |
type TermArg (TermSymbol a Epsilon) = (:.) (TermArg a) () |