Streamly.Data.Array.Generic

Contents

Description

Unconstrained version of Streamly.Data.Array module.

See the Streamly.Data.Array module for documentation.

Synopsis

data Array a
fromListN :: Int -> [a] -> Array a
fromList :: [a] -> Array a
createOf :: forall (m :: Type -> Type) a. MonadIO m => Int -> Fold m a (Array a)
create :: forall (m :: Type -> Type) a. MonadIO m => Fold m a (Array a)
toList :: Array a -> [a]
read :: forall (m :: Type -> Type) a. Monad m => Array a -> Stream m a
readRev :: forall (m :: Type -> Type) a. Monad m => Array a -> Stream m a
reader :: forall (m :: Type -> Type) a. Monad m => Unfold m (Array a) a
chunksOf :: forall (m :: Type -> Type) a. MonadIO m => Int -> Stream m a -> Stream m (Array a)
toParserK :: forall (m :: Type -> Type) a b. Monad m => Parser a m b -> ParserK (Array a) m b
parse :: Monad m => ParserK (Array a) m b -> StreamK m (Array a) -> m (Either ParseError b)
parseBreak :: Monad m => ParserK (Array a) m b -> StreamK m (Array a) -> m (Either ParseError b, StreamK m (Array a))
parsePos :: Monad m => ParserK (Array a) m b -> StreamK m (Array a) -> m (Either ParseErrorPos b)
parseBreakPos :: Monad m => ParserK (Array a) m b -> StreamK m (Array a) -> m (Either ParseErrorPos b, StreamK m (Array a))
length :: Array a -> Int
getIndex :: Int -> Array a -> Maybe a
writeN :: forall (m :: Type -> Type) a. MonadIO m => Int -> Fold m a (Array a)
write :: forall (m :: Type -> Type) a. MonadIO m => Fold m a (Array a)

Documentation

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

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

create :: forall (m :: Type -> Type) a. MonadIO m => Fold m a (Array a) Source #

Fold the whole input to a single array.

Caution! Do not use this on infinite streams.

read :: forall (m :: Type -> Type) a. Monad m => Array a -> Stream m a Source #

readRev :: forall (m :: Type -> Type) a. Monad m => Array a -> Stream m a Source #

reader :: forall (m :: Type -> Type) a. Monad m => Unfold m (Array a) a Source #

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

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

Convert a Parser to ParserK working on generic Array stream.

Pre-release

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

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

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

Deprecated: Please use createOf instead.

write :: forall (m :: Type -> Type) a. MonadIO m => Fold m a (Array a) Source #

Deprecated: Please use create instead.