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)

MVector MVector (Subword t)

Eq (Subword t)

Ord (Subword t)

Read (Subword t)

Show (Subword t)

Generic (Subword t)

Arbitrary (Subword t)

ToJSON (Subword t)

FromJSON (Subword t)

Binary (Subword t)

Serialize (Subword t)

NFData (Subword t)

Hashable (Subword t)

Unbox (Subword t)

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

Index (Subword t)

IndexStream z => IndexStream ((:.) 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!

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

Subword I (inside)

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

type Rep (Subword t)

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

triangularNumber :: Int -> Int

triangular numbers

A000217

upperTri :: Subword t -> Int

Size of an upper triangle starting at i and ending at j. "(0,N)" what be the normal thing to use.

subwordIndex :: Subword s -> Subword t -> Int

Subword indexing. Given the longest subword and the current subword, calculate a linear index "[0,..]". "(l,n)" in this case means "l"ower bound, length "n". And "(i,j)" is the normal index.

TODO probably doesn't work right with non-zero base ?!

subwordFromIndex :: Subword s -> Int -> Subword t

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