Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Strng
terminals return "strings", i.e. vectors of Chr
s. They allow
the user to specify [ 0 .. ]
atoms to be parsed at once. It is
possible to both, limit the minimal and maximal number.
NOTE gadt comments are not parsed by haddock?
(Monad m, Element ls PointL, MkStream m ls PointL) => MkStream m ((:!:) ls (Strng v x)) PointL | |
(Monad m, Element ls Subword, MkStream m ls Subword) => MkStream m ((:!:) ls (Strng v x)) Subword | TODO If we use (IVariable mx) we might be able to request |
(Monad m, TerminalStream m a is) => TerminalStream m (TermSymbol a (Strng v x)) ((:.) is PointL) | |
(Show i, Show (v x), Show (Elm ls i)) => Show (Elm ((:!:) ls (Strng v x)) i) | |
Build (Strng v x) | |
Element ls i => Element ((:!:) ls (Strng v x)) i | |
TermStaticVar (Strng v x) PointL | |
type Stack (Strng v x) = (:!:) S (Strng v x) | |
data Elm ((:!:) ls (Strng v x)) = ElmStrng !(v x) !i !i !(Elm ls i) | |
type Arg ((:!:) ls (Strng v x)) = (:.) (Arg ls) (v x) | |
type TermArg (TermSymbol a (Strng v x)) = (:.) (TermArg a) (v x) |