Data.PrimitiveArray.Index.Subword

Index structure for context-free grammars on strings. A Subword captures a pair (i,j) with i<=j.

Documentation

newtype Subword t

A subword wraps a pair of Int indices i,j with i<=j.

Subwords always yield the upper-triangular part of a rect-angular array. This gives the quite curious effect that (0,N) points to the `largest' index, while (0,0) ... (1,1) ... (k,k) ... (N,N) point to the smallest. We do, however, use (0,0) as the smallest as (0,k) gives successively smaller upper triangular parts.

Constructors

Subword

Fields

• fromSubword :: Int :. Int

Instances

Monad m => Serial m (Subword t)

Methods

series :: Series m (Subword t)

Vector Vector (Subword t0)

Methods

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

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

basicLength :: Vector (Subword t0) -> Int

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

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

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

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

MVector MVector (Subword t0)

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Eq (Subword t)

Methods

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

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

Ord (Subword t)

Methods

compare :: Subword t -> Subword t -> Ordering

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

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

(>) :: Subword t -> Subword t -> Bool

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

max :: Subword t -> Subword t -> Subword t

min :: Subword t -> Subword t -> Subword t

Read (Subword t)

Methods

readsPrec :: Int -> ReadS (Subword t)

readList :: ReadS [Subword t]

readPrec :: ReadPrec (Subword t)

readListPrec :: ReadPrec [Subword t]

Show (Subword t)

Methods

showsPrec :: Int -> Subword t -> ShowS

show :: Subword t -> String

showList :: [Subword t] -> ShowS

Generic (Subword t)

Associated Types

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

Methods

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

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

Arbitrary (Subword t)

Methods

arbitrary :: Gen (Subword t)

shrink :: Subword t -> [Subword t]

Hashable (Subword t)

Methods

hashWithSalt :: Int -> Subword t -> Int

hash :: Subword t -> Int

FromJSON (Subword t)

Methods

parseJSON :: Value -> Parser (Subword t)

parseJSONList :: Value -> Parser [Subword t]

ToJSON (Subword t)

Methods

toJSON :: Subword t -> Value

toEncoding :: Subword t -> Encoding

toJSONList :: [Subword t] -> Value

toEncodingList :: [Subword t] -> Encoding

Binary (Subword t)

Methods

put :: Subword t -> Put

get :: Get (Subword t)

putList :: [Subword t] -> Put

Serialize (Subword t)

Methods

put :: Putter (Subword t)

get :: Get (Subword t)

NFData (Subword t)

Methods

rnf :: Subword t -> ()

Unbox (Subword t0)

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

Methods

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

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

Index (Subword t)

Methods

linearIndex :: Subword t -> Subword t -> Subword t -> Int

smallestLinearIndex :: Subword t -> Int

largestLinearIndex :: Subword t -> Int

size :: Subword t -> Subword t -> Int

inBounds :: Subword t -> Subword t -> Subword t -> Bool

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

Subword C (complement)

Methods

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

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

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

Subword O (outside).

Note: streamUp really needs to use streamDownMk / streamDownStep for the right order of indices!

Methods

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

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

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

Subword I (inside)

Methods

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

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

data MVector s (Subword t0)

data MVector s (Subword t0) = MV_Subword (MVector s (Int, Int))

type Rep (Subword t)

type Rep (Subword t) = D1 (MetaData "Subword" "Data.PrimitiveArray.Index.Subword" "PrimitiveArray-0.7.1.0-B4A9oZDNxHW51HjshiHgYe" True) (C1 (MetaCons "Subword" PrefixI True) (S1 (MetaSel (Just Symbol "fromSubword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((:.) Int Int))))

data Vector (Subword t0)

data Vector (Subword t0) = V_Subword (Vector (Int, Int))

subword :: Int -> Int -> Subword t

Create a Subword t where t is inferred.

subwordI :: Int -> Int -> Subword I

subwordO :: Int -> Int -> Subword O

subwordC :: Int -> Int -> Subword C

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

generic mk for streamUp / streamDown

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

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

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