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

Vector Vector (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

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

basicLength :: Vector (Subword t) -> Int

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

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

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

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

Monad m => Serial m (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

series :: Series m (Subword t)

MVector MVector (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Eq (LimitType (Subword t))

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

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

Read (LimitType (Subword t))

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

readList :: ReadS [LimitType (Subword t)]

readPrec :: ReadPrec (LimitType (Subword t))

readListPrec :: ReadPrec [LimitType (Subword t)]

Show (LimitType (Subword t))

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

show :: LimitType (Subword t) -> String

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

Generic (LimitType (Subword t))

Defined in Data.PrimitiveArray.Index.Subword

Associated Types

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

Methods

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

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

Eq (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

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

Ord (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

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)

Defined in Data.PrimitiveArray.Index.Subword

Methods

readsPrec :: Int -> ReadS (Subword t)

readList :: ReadS [Subword t]

readPrec :: ReadPrec (Subword t)

readListPrec :: ReadPrec [Subword t]

Show (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

showsPrec :: Int -> Subword t -> ShowS

show :: Subword t -> String

showList :: [Subword t] -> ShowS

Generic (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Associated Types

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

Methods

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

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

Arbitrary (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

arbitrary :: Gen (Subword t)

shrink :: Subword t -> [Subword t]

NFData (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

rnf :: Subword t -> ()

Hashable (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

hashWithSalt :: Int -> Subword t -> Int

hash :: Subword t -> Int

ToJSON (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

toJSON :: Subword t -> Value

toEncoding :: Subword t -> Encoding

toJSONList :: [Subword t] -> Value

toEncodingList :: [Subword t] -> Encoding

ToJSONKey (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

toJSONKey :: ToJSONKeyFunction (Subword t)

toJSONKeyList :: ToJSONKeyFunction [Subword t]

FromJSON (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

parseJSON :: Value -> Parser (Subword t)

parseJSONList :: Value -> Parser [Subword t]

FromJSONKey (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

fromJSONKey :: FromJSONKeyFunction (Subword t)

fromJSONKeyList :: FromJSONKeyFunction [Subword t]

Binary (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

put :: Subword t -> Put

get :: Get (Subword t)

putList :: [Subword t] -> Put

Serialize (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Methods

put :: Putter (Subword t)

get :: Get (Subword t)

Unbox (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

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

Subword C (complement)

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

streamDown :: forall (m :: Type -> Type). Monad m => LimitType (z :. Subword C) -> LimitType (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!

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

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

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

Subword I (inside)

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

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

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

Defined in Data.PrimitiveArray.Index.Subword

Methods

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

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

Index (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

Associated Types

data LimitType (Subword t)

Methods

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

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

size :: LimitType (Subword t) -> Int

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

zeroBound :: Subword t

zeroBound' :: LimitType (Subword t)

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

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

showIndex :: Subword t -> [String]

newtype MVector s (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

newtype MVector s (Subword t) = MV_Subword (MVector s (Int, Int))

type Rep (LimitType (Subword t))

Defined in Data.PrimitiveArray.Index.Subword

type Rep (LimitType (Subword t)) = D1 ('MetaData "LimitType" "Data.PrimitiveArray.Index.Subword" "PrimitiveArray-0.10.1.0-8LhqXNFuZNc70s43xh6tNJ" 'True) (C1 ('MetaCons "LtSubword" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type Rep (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

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

newtype Vector (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

newtype Vector (Subword t) = V_Subword (Vector (Int, Int))

newtype LimitType (Subword t)

Defined in Data.PrimitiveArray.Index.Subword

newtype LimitType (Subword t) = LtSubword Int

fromSubwordFst :: Subword t -> Int

fromSubwordSnd :: Subword t -> 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 => c -> a -> m (a, c, c)

generic mk for streamUp / streamDown

streamUpStep :: forall k m a (t :: k). Monad m => Int -> Int -> (a, Int, Int) -> m (Step (a, Int, Int) (a :. Subword t))

streamDownMk :: Monad m => b -> c -> a -> m (a, b, c)

streamDownStep :: forall k m a (t :: k). Monad m => Int -> (a, Int, Int) -> m (Step (a, Int, Int) (a :. Subword t))