Safe Haskell | None |
---|---|
Language | Haskell2010 |
Point
index structures are used for left- and right-linear grammars.
Such grammars have at most one syntactic symbol on each r.h.s. of a rule.
The syntactic symbol needs to be in an outermost position.
- newtype PointL = PointL {
- fromPointL :: Int
- newtype PointR = PointR {
- fromPointR :: Int
Documentation
A point in a left-linear grammar. The syntactic symbol is in left-most position.
PointL | |
|
Eq PointL | |
Read PointL | |
Show PointL | |
Generic PointL | |
Arbitrary PointL | |
ToJSON PointL | |
FromJSON PointL | |
Binary PointL | |
Serialize PointL | |
NFData PointL | |
Unbox PointL | |
IndexStream PointL | |
Index PointL | |
Vector Vector PointL | |
MVector MVector PointL | |
IndexStream z => IndexStream ((:.) z PointL) | |
type Rep PointL | |
data Vector PointL = V_PointL (Vector Int) | |
data MVector s0 PointL = MV_PointL (MVector s Int) |
A point in a right-linear grammars.
PointR | |
|
Eq PointR | |
Read PointR | |
Show PointR | |
Generic PointR | |
ToJSON PointR | |
FromJSON PointR | |
Binary PointR | |
Serialize PointR | |
NFData PointR | |
Unbox PointR | |
Index PointR | |
Vector Vector PointR | |
MVector MVector PointR | |
type Rep PointR | |
data Vector PointR = V_PointR (Vector Int) | |
data MVector s0 PointR = MV_PointR (MVector s Int) |