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

Num (PointL t)

Defined in Data.PrimitiveArray.Index.Point

Methods

(+) :: PointL t -> PointL t -> PointL t

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

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

negate :: PointL t -> PointL t

abs :: PointL t -> PointL t

signum :: PointL t -> PointL t

fromInteger :: Integer -> PointL t

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

SparseBucket (PointL O)

TODO Is this instance correct? Outside indices shrink?

Defined in Data.PrimitiveArray.Index.Point

Methods

manhattan :: LimitType (PointL O) -> PointL O -> Int

manhattanMax :: LimitType (PointL O) -> Int

SparseBucket (PointL I)

Defined in Data.PrimitiveArray.Index.Point

Methods

manhattan :: LimitType (PointL I) -> PointL I -> Int

manhattanMax :: LimitType (PointL I) -> Int

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

Defined in Data.PrimitiveArray.Index.Point

Methods

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

streamDown :: forall (m :: Type -> Type). 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 :: forall (m :: Type -> Type). Monad m => LimitType (z :. PointL O) -> LimitType (z :. PointL O) -> Stream m (z :. PointL O)

streamDown :: forall (m :: Type -> Type). 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 :: forall (m :: Type -> Type). Monad m => LimitType (z :. PointL I) -> LimitType (z :. PointL I) -> Stream m (z :. PointL I)

streamDown :: forall (m :: Type -> Type). 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 :: forall (m :: Type -> Type). Monad m => LimitType (PointL t) -> LimitType (PointL t) -> Stream m (PointL t)

streamDown :: forall (m :: Type -> Type). 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)

Methods

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

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

size :: LimitType (PointL t) -> Int

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

zeroBound :: PointL t

zeroBound' :: LimitType (PointL t)

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

showBound :: LimitType (PointL t) -> [String]

showIndex :: PointL t -> [String]

newtype MVector s (PointL t)

Defined in Data.PrimitiveArray.Index.Point

newtype 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.10.1.1-FHg9n6QRwG947627Wq9cn2" '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.10.1.1-FHg9n6QRwG947627Wq9cn2" 'True) (C1 ('MetaCons "PointL" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromPointL") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype Vector (PointL t)

Defined in Data.PrimitiveArray.Index.Point

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

newtype LimitType (PointL t)

Defined in Data.PrimitiveArray.Index.Point

newtype LimitType (PointL t) = LtPointL Int

pointLI :: Int -> PointL I

pointLO :: Int -> PointL O

pointLC :: Int -> PointL C

data SP z

Constructors

SP !z !Int#

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

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

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

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

PointR

newtype PointR t

A point in a right-linear grammars.

Constructors

PointR

Fields

• fromPointR :: Int

Instances

Vector Vector (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

basicLength :: Vector (PointR t) -> Int

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

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

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

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

MVector MVector (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Eq (LimitType (PointR t))

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

Read (LimitType (PointR t))

Defined in Data.PrimitiveArray.Index.Point

Methods

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

readList :: ReadS [LimitType (PointR t)]

readPrec :: ReadPrec (LimitType (PointR t))

readListPrec :: ReadPrec [LimitType (PointR t)]

Show (LimitType (PointR t))

Defined in Data.PrimitiveArray.Index.Point

Methods

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

show :: LimitType (PointR t) -> String

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

Generic (LimitType (PointR t))

Defined in Data.PrimitiveArray.Index.Point

Associated Types

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

Methods

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

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

Eq (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

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

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

Num (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

(+) :: PointR t -> PointR t -> PointR t

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

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

negate :: PointR t -> PointR t

abs :: PointR t -> PointR t

signum :: PointR t -> PointR t

fromInteger :: Integer -> PointR t

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

Arbitrary (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

arbitrary :: Gen (PointR t)

shrink :: PointR t -> [PointR t]

Hashable (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

hashWithSalt :: Int -> PointR t -> Int

hash :: PointR t -> Int

ToJSON (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

toJSON :: PointR t -> Value

toEncoding :: PointR t -> Encoding

toJSONList :: [PointR t] -> Value

toEncodingList :: [PointR t] -> Encoding

ToJSONKey (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

toJSONKey :: ToJSONKeyFunction (PointR t)

toJSONKeyList :: ToJSONKeyFunction [PointR t]

FromJSON (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

parseJSON :: Value -> Parser (PointR t)

parseJSONList :: Value -> Parser [PointR t]

FromJSONKey (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

fromJSONKey :: FromJSONKeyFunction (PointR t)

fromJSONKeyList :: FromJSONKeyFunction [PointR t]

Binary (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

put :: PointR t -> Put

get :: Get (PointR t)

putList :: [PointR t] -> Put

Serialize (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

put :: Putter (PointR t)

get :: Get (PointR t)

NFData (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Methods

rnf :: PointR t -> ()

Unbox (PointR t)

Defined in Data.PrimitiveArray.Index.Point

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

Defined in Data.PrimitiveArray.Index.Point

Methods

streamUp :: forall (m :: Type -> Type). Monad m => LimitType (z :. PointR O) -> LimitType (z :. PointR O) -> Stream m (z :. PointR O)

streamDown :: forall (m :: Type -> Type). Monad m => LimitType (z :. PointR O) -> LimitType (z :. PointR O) -> Stream m (z :. PointR O)

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

Defined in Data.PrimitiveArray.Index.Point

Methods

streamUp :: forall (m :: Type -> Type). Monad m => LimitType (z :. PointR I) -> LimitType (z :. PointR I) -> Stream m (z :. PointR I)

streamDown :: forall (m :: Type -> Type). Monad m => LimitType (z :. PointR I) -> LimitType (z :. PointR I) -> Stream m (z :. PointR I)

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

Defined in Data.PrimitiveArray.Index.Point

Methods

streamUp :: forall (m :: Type -> Type). Monad m => LimitType (PointR t) -> LimitType (PointR t) -> Stream m (PointR t)

streamDown :: forall (m :: Type -> Type). Monad m => LimitType (PointR t) -> LimitType (PointR t) -> Stream m (PointR t)

Index (PointR t)

Defined in Data.PrimitiveArray.Index.Point

Associated Types

data LimitType (PointR t)

Methods

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

fromLinearIndex :: LimitType (PointR t) -> Int -> PointR t

size :: LimitType (PointR t) -> Int

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

zeroBound :: PointR t

zeroBound' :: LimitType (PointR t)

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

showBound :: LimitType (PointR t) -> [String]

showIndex :: PointR t -> [String]

newtype MVector s (PointR t)

Defined in Data.PrimitiveArray.Index.Point

newtype MVector s (PointR t) = MV_PointR (MVector s Int)

type Rep (LimitType (PointR t))

Defined in Data.PrimitiveArray.Index.Point

type Rep (LimitType (PointR t)) = D1 ('MetaData "LimitType" "Data.PrimitiveArray.Index.Point" "PrimitiveArray-0.10.1.1-FHg9n6QRwG947627Wq9cn2" 'True) (C1 ('MetaCons "LtPointR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type Rep (PointR t)

Defined in Data.PrimitiveArray.Index.Point

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

newtype Vector (PointR t)

Defined in Data.PrimitiveArray.Index.Point

newtype Vector (PointR t) = V_PointR (Vector Int)

newtype LimitType (PointR t)

Defined in Data.PrimitiveArray.Index.Point

newtype LimitType (PointR t) = LtPointR Int

arbMaxPointR :: Int