Modulestreamly-core-0.2.2Haskell2010

Streamly.Internal.Data.Array.Generic

datadata Array a

Instances4Eq, Ord, Read, Show

Eq a => Eq (Array a)Defined in streamly-core-0.2.2 · Streamly.Internal.Data.Array.Generic
Ord a => Ord (Array a)Defined in streamly-core-0.2.2 · Streamly.Internal.Data.Array.Generic
Read a => Read (Array a)Defined in streamly-core-0.2.2 · Streamly.Internal.Data.Array.Generic
Show a => Show (Array a)Defined in streamly-core-0.2.2 · Streamly.Internal.Data.Array.Generic

Construction

12 declarations

valuenil :: Array a

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

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

Fold the whole input to a single array.

Caution! Do not use this on infinite streams.

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

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

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

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

valuefromPureStream :: Stream Identity a -> Array a

valuefromByteStr# :: Addr# -> Array Word8

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

valuefromList :: [a] -> Array a

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

9 declarations

valuelength :: Array a -> Int

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

valuetoList :: Array a -> [a]

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

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

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

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

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

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

4 declarations

valuegetIndexUnsafe :: Int -> Array a -> a

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

valuegetIndex :: Int -> Array a -> Maybe a

Lookup the element at the given index. Index starts from 0.

valuegetSliceUnsafe :: Int -> Int -> Array a -> Array a

valuestrip :: (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.

2 declarations

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

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