Modulestreamly-core-0.3.1Haskell2010

Streamly.Data.Array.Generic

Unconstrained version of Streamly.Data.Array module.

See the Streamly.Data.Array module for documentation.

1 type
18 values

Packagestreamly-core-0.3.1
Exports19
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGeneric.hs

datadata Array a

Instances4Eq, Ord, Read, Show

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

Construction

4 declarations

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

valuefromList :: [a] -> 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.

Conversion

1 declaration

valuetoList :: Array a -> [a]

Streams

2 declarations

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

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

Unfolds

1 declaration

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

Stream of Arrays

6 declarations

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

valuetoParserK :: Monad m => Parser a m b -> ParserK (Array a) m b

Convert a Parser to ParserK working on generic Array stream.

Pre-release

valueparse

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

valueparseBreak

:: Monad m
=> ParserK (Array a) m b
-> StreamK m (Array a)
-> m (Either ParseError b, StreamK m (Array a))

valueparsePos

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

valueparseBreakPos

:: Monad m
=> ParserK (Array a) m b
-> StreamK m (Array a)
-> m (Either ParseErrorPos b, StreamK m (Array a))

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

Random Access

2 declarations

valuelength :: Array a -> Int

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

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

Deprecated

2 declarations

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

Deprecated. Please use createOf instead.

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

Deprecated. Please use create instead.