| Copyright | (c) 2019 Composewell Technologies |
|---|---|
| License | BSD-3-Clause |
| Maintainer | streamly@composewell.com |
| Stability | experimental |
| Portability | GHC |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Streamly.Data.Array.Generic
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 :: MonadIO m => Int -> Fold m a (Array a)
- create :: MonadIO m => Fold m a (Array a)
- toList :: Array a -> [a]
- read :: Monad m => Array a -> Stream m a
- readRev :: Monad m => Array a -> Stream m a
- reader :: Monad m => Unfold m (Array a) a
- length :: Array a -> Int
- getIndex :: Int -> Array a -> Maybe a
- writeN :: MonadIO m => Int -> Fold m a (Array a)
- write :: MonadIO m => Fold m a (Array a)
Documentation
Instances
| Read a => Read (Array a) Source # | |
| Show a => Show (Array a) Source # | |
| Eq a => Eq (Array a) Source # | |
| Ord a => Ord (Array a) Source # | |
Defined in Streamly.Internal.Data.Array.Generic | |
Construction
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
Streams
Unfolds
Random Access
getIndex :: Int -> Array a -> Maybe a Source #
Lookup the element at the given index. Index starts from 0.