Streamly.Data.Array.Generic

Unconstrained version of Streamly.Data.Array module.

See the Streamly.Data.Array module for documentation.

Documentation

data Array a Source #

Instances
Instances details
Read a => Read (Array a) Source # 
Instance details

Defined in Streamly.Internal.Data.Array.Generic.Type

Methods

readsPrec :: Int -> ReadS (Array a) #

readList :: ReadS [Array a] #

readPrec :: ReadPrec (Array a) #

readListPrec :: ReadPrec [Array a] #

Show a => Show (Array a) Source # 
Instance details

Defined in Streamly.Internal.Data.Array.Generic.Type

Methods

showsPrec :: Int -> Array a -> ShowS #

show :: Array a -> String #

showList :: [Array a] -> ShowS #

Eq a => Eq (Array a) Source # 
Instance details

Defined in Streamly.Internal.Data.Array.Generic.Type

Methods

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

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

Ord a => Ord (Array a) Source # 
Instance details

Defined in Streamly.Internal.Data.Array.Generic.Type

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 #

Construction

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

fromList :: [a] -> Array a Source #

createOf :: MonadIO m => Int -> Fold m a (Array a) Source #

create :: MonadIO m => Fold m a (Array a) Source #

Fold the whole input to a single array.

Caution! Do not use this on infinite streams.

Conversion

toList :: Array a -> [a] Source #

Streams

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

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

Unfolds

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

Stream of Arrays

chunksOf :: forall m a. MonadIO m => Int -> Stream m a -> Stream m (Array a) Source #

toParserK :: Monad m => Parser a m b -> ParserK (Array a) m b Source #

Convert a Parser to ParserK working on generic Array stream.

Pre-release

parse :: Monad m => ParserK (Array a) m b -> StreamK m (Array a) -> m (Either ParseError b) Source #

parseBreak :: forall m a b. Monad m => ParserK (Array a) m b -> StreamK m (Array a) -> m (Either ParseError b, StreamK m (Array a)) Source #

parsePos :: Monad m => ParserK (Array a) m b -> StreamK m (Array a) -> m (Either ParseErrorPos b) Source #

parseBreakPos :: forall m a b. Monad m => ParserK (Array a) m b -> StreamK m (Array a) -> m (Either ParseErrorPos b, StreamK m (Array a)) Source #

Like parseBreak but includes stream position information in the error messages.

Random Access

length :: Array a -> Int Source #

getIndex :: Int -> Array a -> Maybe a Source #

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

Deprecated

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

Deprecated: Please use createOf instead.

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

Deprecated: Please use create instead.