Data.PrimitiveArray.Index.Point

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.

Documentation

newtype PointL t

A point in a left-linear grammar. The syntactic symbol is in left-most position.

Constructors

PointL

Fields

fromPointL :: Int

Instances

Vector Vector (PointL t)

MVector MVector (PointL t)

Eq (PointL t)

Read (PointL t)

Show (PointL t)

Generic (PointL t)

Arbitrary (PointL t)

ToJSON (PointL t)

FromJSON (PointL t)

Binary (PointL t)

Serialize (PointL t)

NFData (PointL t)

Hashable (PointL t)

Unbox (PointL t)

IndexStream ((:.) Z (PointL t)) => IndexStream (PointL t)

Index (PointL t)

IndexStream z => IndexStream ((:.) z (PointL C))

IndexStream z => IndexStream ((:.) z (PointL O))

IndexStream z => IndexStream ((:.) z (PointL I))

data MVector s0 (PointL t0) = MV_PointL (MVector s Int)

type Rep (PointL t)

data Vector (PointL t0) = V_PointL (Vector Int)

pointLI :: Int -> PointL I

pointLO :: Int -> PointL O

pointLC :: Int -> PointL C

newtype PointR t

A point in a right-linear grammars.

Constructors

PointR

Fields

fromPointR :: Int

Instances

Vector Vector (PointR t)

MVector MVector (PointR t)

Eq (PointR t)

Read (PointR t)

Show (PointR t)

Generic (PointR t)

ToJSON (PointR t)

FromJSON (PointR t)

Binary (PointR t)

Serialize (PointR t)

NFData (PointR t)

Hashable (PointR t)

Unbox (PointR t)

Index (PointR t)

data MVector s0 (PointR t0) = MV_PointR (MVector s Int)

type Rep (PointR t)

data Vector (PointR t0) = V_PointR (Vector Int)

streamUpMk :: Monad m => t1 -> t -> m (t, t1)

streamUpStep :: Monad m => Int -> (t1, Int) -> m (Step (t1, Int) ((:.) t1 (PointL t)))

streamDownMk :: Monad m => t1 -> t -> m (t, t1)

streamDownStep :: Monad m => Int -> (t1, Int) -> m (Step (t1, Int) ((:.) t1 (PointL t)))

PointR