Modulestreamly-core-0.3.1Haskell2010

Streamly.Data.Array.Generic

Unconstrained version of Streamly.Data.Array module.

See the Streamly.Data.Array module for documentation.

Contents

Construction
Conversion
Streams
Unfolds
Stream of Arrays
Random Access
Deprecated

Synopsis

data Array
value fromListN
value fromList
value createOf
value create
value toList
value read
value readRev
value reader
value chunksOf
value toParserK
value parse
value parseBreak
value parsePos
value parseBreakPos
value length
value getIndex
value writeN
value write

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

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)

Source#

Fold the whole input to a single array.

Caution! Do not use this on infinite streams.

Conversion

valuetoList :: Array a -> [a]

Streams

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

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

Unfolds

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

Stream of Arrays

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

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

Source#

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

Source#

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

Random Access

valuelength :: Array a -> Int

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

Source#

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

Deprecated

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.