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)

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

basicLength :: Vector (PointL t) -> Int

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

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

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

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

Monad m => Serial m (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

series :: Series m (PointL t)

MVector MVector (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Eq (LimitType (PointL t))

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

Read (LimitType (PointL t))

Defined in Data.PrimitiveArray.Index.Point

Methods

readsPrec :: Int -> ReadS (LimitType (PointL t))

readList :: ReadS [LimitType (PointL t)]

readPrec :: ReadPrec (LimitType (PointL t))

readListPrec :: ReadPrec [LimitType (PointL t)]

Show (LimitType (PointL t))

Defined in Data.PrimitiveArray.Index.Point

Methods

showsPrec :: Int -> LimitType (PointL t) -> ShowS

show :: LimitType (PointL t) -> String

showList :: [LimitType (PointL t)] -> ShowS

Generic (LimitType (PointL t))

Defined in Data.PrimitiveArray.Index.Point

Associated Types

type Rep (LimitType (PointL t)) :: Type -> Type

Methods

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

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

Eq (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

Ord (PointL t)

Defined in Data.PrimitiveArray.Index.Point

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)

Defined in Data.PrimitiveArray.Index.Point

Methods

readsPrec :: Int -> ReadS (PointL t)

readList :: ReadS [PointL t]

readPrec :: ReadPrec (PointL t)

readListPrec :: ReadPrec [PointL t]

Show (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

showsPrec :: Int -> PointL t -> ShowS

show :: PointL t -> String

showList :: [PointL t] -> ShowS

Generic (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Associated Types

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

Methods

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

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

Arbitrary (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

arbitrary :: Gen (PointL t)

shrink :: PointL t -> [PointL t]

Hashable (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

hashWithSalt :: Int -> PointL t -> Int

hash :: PointL t -> Int

ToJSON (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

toJSON :: PointL t -> Value

toEncoding :: PointL t -> Encoding

toJSONList :: [PointL t] -> Value

toEncodingList :: [PointL t] -> Encoding

ToJSONKey (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

toJSONKey :: ToJSONKeyFunction (PointL t)

toJSONKeyList :: ToJSONKeyFunction [PointL t]

FromJSON (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

parseJSON :: Value -> Parser (PointL t)

parseJSONList :: Value -> Parser [PointL t]

FromJSONKey (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

fromJSONKey :: FromJSONKeyFunction (PointL t)

fromJSONKeyList :: FromJSONKeyFunction [PointL t]

Binary (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

put :: PointL t -> Put

get :: Get (PointL t)

putList :: [PointL t] -> Put

Serialize (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

put :: Putter (PointL t)

get :: Get (PointL t)

NFData (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

rnf :: PointL t -> ()

Unbox (PointL t)

Defined in Data.PrimitiveArray.Index.Point

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

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

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

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

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

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

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

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

Index (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Associated Types

data LimitType (PointL t) :: Type

Methods

linearIndex :: LimitType (PointL t) -> PointL t -> Int

size :: LimitType (PointL t) -> Int

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

zeroBound :: PointL t

zeroBound' :: LimitType (PointL t)

totalSize :: LimitType (PointL t) -> [Integer]

data MVector s (PointL t)

Defined in Data.PrimitiveArray.Index.Point

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

type Rep (LimitType (PointL t))

Defined in Data.PrimitiveArray.Index.Point

type Rep (LimitType (PointL t)) = D1 (MetaData "LimitType" "Data.PrimitiveArray.Index.Point" "PrimitiveArray-0.9.0.0-7o4e78MXLzPCxIvR95QAvs" True) (C1 (MetaCons "LtPointL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

type Rep (PointL t)

Defined in Data.PrimitiveArray.Index.Point

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

data Vector (PointL t)

Defined in Data.PrimitiveArray.Index.Point

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

data LimitType (PointL t)

Defined in Data.PrimitiveArray.Index.Point

data LimitType (PointL t) = LtPointL 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

Eq (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

Ord (PointR t)

Defined in Data.PrimitiveArray.Index.Point

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)

Defined in Data.PrimitiveArray.Index.Point

Methods

readsPrec :: Int -> ReadS (PointR t)

readList :: ReadS [PointR t]

readPrec :: ReadPrec (PointR t)

readListPrec :: ReadPrec [PointR t]

Show (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

showsPrec :: Int -> PointR t -> ShowS

show :: PointR t -> String

showList :: [PointR t] -> ShowS

Generic (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Associated Types

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

Methods

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

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

type Rep (PointR t)

Defined in Data.PrimitiveArray.Index.Point

type Rep (PointR t) = D1 (MetaData "PointR" "Data.PrimitiveArray.Index.Point" "PrimitiveArray-0.9.0.0-7o4e78MXLzPCxIvR95QAvs" True) (C1 (MetaCons "PointR" PrefixI True) (S1 (MetaSel (Just "fromPointR") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 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))