| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.PrimitiveArray.Index.Point
Description
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.
Constructors
| PointL | |
Fields
| |
Instances
| 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.
Constructors
| PointR | |
Fields
| |
Instances
| 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) |