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

Monad m => Serial m (PointL t)

Methods

series :: Series m (PointL t)

Vector Vector (PointL t0)

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (PointL t0) -> m (Vector (PointL t0))

basicUnsafeThaw :: PrimMonad m => Vector (PointL t0) -> m (Mutable Vector (PrimState m) (PointL t0))

basicLength :: Vector (PointL t0) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (PointL t0) -> Vector (PointL t0)

basicUnsafeIndexM :: Monad m => Vector (PointL t0) -> Int -> m (PointL t0)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (PointL t0) -> Vector (PointL t0) -> m ()

elemseq :: Vector (PointL t0) -> PointL t0 -> b -> b

MVector MVector (PointL t0)

Methods

basicLength :: MVector s (PointL t0) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (PointL t0) -> MVector s (PointL t0)

basicOverlaps :: MVector s (PointL t0) -> MVector s (PointL t0) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (PointL t0))

basicInitialize :: PrimMonad m => MVector (PrimState m) (PointL t0) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> PointL t0 -> m (MVector (PrimState m) (PointL t0))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (PointL t0) -> Int -> m (PointL t0)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (PointL t0) -> Int -> PointL t0 -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (PointL t0) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (PointL t0) -> PointL t0 -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (PointL t0) -> MVector (PrimState m) (PointL t0) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (PointL t0) -> MVector (PrimState m) (PointL t0) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (PointL t0) -> Int -> m (MVector (PrimState m) (PointL t0))

Eq (PointL t)

Methods

(==) :: PointL t -> PointL t -> Bool

(/=) :: PointL t -> PointL t -> Bool

Ord (PointL t)

Methods

compare :: PointL t -> PointL t -> Ordering

(<) :: PointL t -> PointL t -> Bool

(<=) :: PointL t -> PointL t -> Bool

(>) :: PointL t -> PointL t -> Bool

(>=) :: PointL t -> PointL t -> Bool

max :: PointL t -> PointL t -> PointL t

min :: PointL t -> PointL t -> PointL t

Read (PointL t)

Methods

readsPrec :: Int -> ReadS (PointL t)

readList :: ReadS [PointL t]

readPrec :: ReadPrec (PointL t)

readListPrec :: ReadPrec [PointL t]

Show (PointL t)

Methods

showsPrec :: Int -> PointL t -> ShowS

show :: PointL t -> String

showList :: [PointL t] -> ShowS

Generic (PointL t)

Associated Types

type Rep (PointL t) :: * -> *

Methods

from :: PointL t -> Rep (PointL t) x

to :: Rep (PointL t) x -> PointL t

Arbitrary (PointL t)

Methods

arbitrary :: Gen (PointL t)

shrink :: PointL t -> [PointL t]

Hashable (PointL t)

Methods

hashWithSalt :: Int -> PointL t -> Int

hash :: PointL t -> Int

ToJSON (PointL t)

Methods

toJSON :: PointL t -> Value

toEncoding :: PointL t -> Encoding

toJSONList :: [PointL t] -> Value

toEncodingList :: [PointL t] -> Encoding

ToJSONKey (PointL t)

Methods

toJSONKey :: ToJSONKeyFunction (PointL t)

toJSONKeyList :: ToJSONKeyFunction [PointL t]

FromJSON (PointL t)

Methods

parseJSON :: Value -> Parser (PointL t)

parseJSONList :: Value -> Parser [PointL t]

FromJSONKey (PointL t)

Methods

fromJSONKey :: FromJSONKeyFunction (PointL t)

fromJSONKeyList :: FromJSONKeyFunction [PointL t]

Binary (PointL t)

Methods

put :: PointL t -> Put

get :: Get (PointL t)

putList :: [PointL t] -> Put

Serialize (PointL t)

Methods

put :: Putter (PointL t)

get :: Get (PointL t)

NFData (PointL t)

Methods

rnf :: PointL t -> ()

Unbox (PointL t0)

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

Methods

streamUp :: Monad m => PointL t -> PointL t -> Stream m (PointL t)

streamDown :: Monad m => PointL t -> PointL t -> Stream m (PointL t)

Index (PointL t)

Methods

linearIndex :: PointL t -> PointL t -> PointL t -> Int

smallestLinearIndex :: PointL t -> Int

largestLinearIndex :: PointL t -> Int

size :: PointL t -> PointL t -> Int

inBounds :: PointL t -> PointL t -> PointL t -> Bool

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

Methods

streamUp :: Monad m => (z :. PointL C) -> (z :. PointL C) -> Stream m (z :. PointL C)

streamDown :: Monad m => (z :. PointL C) -> (z :. PointL C) -> Stream m (z :. PointL C)

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

Methods

streamUp :: Monad m => (z :. PointL O) -> (z :. PointL O) -> Stream m (z :. PointL O)

streamDown :: Monad m => (z :. PointL O) -> (z :. PointL O) -> Stream m (z :. PointL O)

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

Methods

streamUp :: Monad m => (z :. PointL I) -> (z :. PointL I) -> Stream m (z :. PointL I)

streamDown :: Monad m => (z :. PointL I) -> (z :. PointL I) -> Stream m (z :. PointL I)

data MVector s (PointL t0)

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

type Rep (PointL t)

type Rep (PointL t) = D1 (MetaData "PointL" "Data.PrimitiveArray.Index.Point" "PrimitiveArray-0.8.0.0-BVUiv779U7I8cOf4DtXnHh" True) (C1 (MetaCons "PointL" PrefixI True) (S1 (MetaSel (Just Symbol "fromPointL") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Vector (PointL t0)

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 t0)

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (PointR t0) -> m (Vector (PointR t0))

basicUnsafeThaw :: PrimMonad m => Vector (PointR t0) -> m (Mutable Vector (PrimState m) (PointR t0))

basicLength :: Vector (PointR t0) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (PointR t0) -> Vector (PointR t0)

basicUnsafeIndexM :: Monad m => Vector (PointR t0) -> Int -> m (PointR t0)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (PointR t0) -> Vector (PointR t0) -> m ()

elemseq :: Vector (PointR t0) -> PointR t0 -> b -> b

MVector MVector (PointR t0)

Methods

basicLength :: MVector s (PointR t0) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (PointR t0) -> MVector s (PointR t0)

basicOverlaps :: MVector s (PointR t0) -> MVector s (PointR t0) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (PointR t0))

basicInitialize :: PrimMonad m => MVector (PrimState m) (PointR t0) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> PointR t0 -> m (MVector (PrimState m) (PointR t0))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (PointR t0) -> Int -> m (PointR t0)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (PointR t0) -> Int -> PointR t0 -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (PointR t0) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (PointR t0) -> PointR t0 -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (PointR t0) -> MVector (PrimState m) (PointR t0) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (PointR t0) -> MVector (PrimState m) (PointR t0) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (PointR t0) -> Int -> m (MVector (PrimState m) (PointR t0))

Eq (PointR t)

Methods

(==) :: PointR t -> PointR t -> Bool

(/=) :: PointR t -> PointR t -> Bool

Ord (PointR t)

Methods

compare :: PointR t -> PointR t -> Ordering

(<) :: PointR t -> PointR t -> Bool

(<=) :: PointR t -> PointR t -> Bool

(>) :: PointR t -> PointR t -> Bool

(>=) :: PointR t -> PointR t -> Bool

max :: PointR t -> PointR t -> PointR t

min :: PointR t -> PointR t -> PointR t

Read (PointR t)

Methods

readsPrec :: Int -> ReadS (PointR t)

readList :: ReadS [PointR t]

readPrec :: ReadPrec (PointR t)

readListPrec :: ReadPrec [PointR t]

Show (PointR t)

Methods

showsPrec :: Int -> PointR t -> ShowS

show :: PointR t -> String

showList :: [PointR t] -> ShowS

Generic (PointR t)

Associated Types

type Rep (PointR t) :: * -> *

Methods

from :: PointR t -> Rep (PointR t) x

to :: Rep (PointR t) x -> PointR t

Hashable (PointR t)

Methods

hashWithSalt :: Int -> PointR t -> Int

hash :: PointR t -> Int

ToJSON (PointR t)

Methods

toJSON :: PointR t -> Value

toEncoding :: PointR t -> Encoding

toJSONList :: [PointR t] -> Value

toEncodingList :: [PointR t] -> Encoding

FromJSON (PointR t)

Methods

parseJSON :: Value -> Parser (PointR t)

parseJSONList :: Value -> Parser [PointR t]

Binary (PointR t)

Methods

put :: PointR t -> Put

get :: Get (PointR t)

putList :: [PointR t] -> Put

Serialize (PointR t)

Methods

put :: Putter (PointR t)

get :: Get (PointR t)

NFData (PointR t)

Methods

rnf :: PointR t -> ()

Unbox (PointR t0)

Index (PointR t)

Methods

linearIndex :: PointR t -> PointR t -> PointR t -> Int

smallestLinearIndex :: PointR t -> Int

largestLinearIndex :: PointR t -> Int

size :: PointR t -> PointR t -> Int

inBounds :: PointR t -> PointR t -> PointR t -> Bool

data MVector s (PointR t0)

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

type Rep (PointR t)

type Rep (PointR t) = D1 (MetaData "PointR" "Data.PrimitiveArray.Index.Point" "PrimitiveArray-0.8.0.0-BVUiv779U7I8cOf4DtXnHh" True) (C1 (MetaCons "PointR" PrefixI True) (S1 (MetaSel (Just Symbol "fromPointR") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Vector (PointR t0)

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

data SP z

Constructors

SP !z !Int#

streamUpMk :: Monad m => Int -> z -> m (SP z)

streamUpStep :: Monad m => Int -> SP z -> m (Step (SP z) ((:.) z (PointL t)))

streamDownMk :: Monad m => Int -> z -> m (SP z)

streamDownStep :: Monad m => Int -> SP z -> m (Step (SP z) ((:.) z (PointL t)))

PointR