Streamly.Internal.Data.Array.Generic

Documentation

data Array a

Constructors

Array

Fields

• arrContents# :: MutableArray# RealWorld a

  The internal contents of the array representing the entire array.

• arrStart :: !Int

  The starting index of this slice.

• arrLen :: !Int

  The length of this slice.

Instances

Eq a => Eq (Array a)

Defined in Streamly.Internal.Data.Array.Generic

Methods

(==) :: Array a -> Array a -> Bool

(/=) :: Array a -> Array a -> Bool

Ord a => Ord (Array a)

Defined in Streamly.Internal.Data.Array.Generic

Methods

compare :: Array a -> Array a -> Ordering

(<) :: Array a -> Array a -> Bool

(<=) :: Array a -> Array a -> Bool

(>) :: Array a -> Array a -> Bool

(>=) :: Array a -> Array a -> Bool

max :: Array a -> Array a -> Array a

min :: Array a -> Array a -> Array a

Read a => Read (Array a)

Defined in Streamly.Internal.Data.Array.Generic

Methods

readsPrec :: Int -> ReadS (Array a)

readList :: ReadS [Array a]

readPrec :: ReadPrec (Array a)

readListPrec :: ReadPrec [Array a]

Show a => Show (Array a)

Defined in Streamly.Internal.Data.Array.Generic

Methods

showsPrec :: Int -> Array a -> ShowS

show :: Array a -> String

showList :: [Array a] -> ShowS

Construction

nil :: Array a

writeN :: MonadIO m => Int -> Fold m a (Array a)

write :: MonadIO m => Fold m a (Array a)

Fold the whole input to a single array.

Caution! Do not use this on infinite streams.

writeWith :: MonadIO m => Int -> Fold m a (Array a)

writeLastN :: MonadIO m => Int -> Fold m a (Array a)

fromStreamN :: MonadIO m => Int -> Stream m a -> m (Array a)

fromStream :: MonadIO m => Stream m a -> m (Array a)

fromListN :: Int -> [a] -> Array a

fromList :: [a] -> Array a

Elimination

length :: Array a -> Int

reader :: Monad m => Unfold m (Array a) a

toList :: Array a -> [a]

read :: Monad m => Array a -> Stream m a

readRev :: Monad m => Array a -> Stream m a

foldl' :: (b -> a -> b) -> b -> Array a -> b

foldr :: (a -> b -> b) -> b -> Array a -> b

streamFold :: Monad m => (Stream m a -> m b) -> Array a -> m b

fold :: Monad m => Fold m a b -> Array a -> m b

Random Access

getIndexUnsafe :: Int -> Array a -> a

O(1) Lookup the element at the given index. Index starts from 0. Does not check the bounds.

Since: 0.8.0

getSliceUnsafe :: Int -> Int -> Array a -> Array a

strip :: (a -> Bool) -> Array a -> Array a

Truncate the array at the beginning and end as long as the predicate holds true. Returns a slice of the original array.