Modulestreamly-core-0.2.2Haskell2010

Streamly.Internal.Data.Ring.Generic

1 type
7 values

Packagestreamly-core-0.2.2
Exports8
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGeneric.hs

datadata Ring a

Constructors

Ring
- ringArr :: MutArray a
- ringHead :: !Int
- ringMax :: !Int

Generation

2 declarations

valuecreateRing :: MonadIO m => Int -> m (Ring a)

valuewriteLastN :: MonadIO m => Int -> Fold m a (Ring a)

Note that it is not safe to return a reference to the mutable Ring using a scan as the Ring is continuously getting mutated. You could however copy out the Ring.

Modification

2 declarations

valueseek :: MonadIO m => Int -> Ring a -> m (Ring a)

Move the ring head clockwise (+ve adj) or counter clockwise (-ve adj) by the given amount.

valueunsafeInsertRingWith :: Ring a -> a -> IO Int

Conversion

3 declarations

valuetoMutArray :: MonadIO m => Int -> Int -> Ring a -> m (MutArray a)

toMutArray rignHeadAdjustment lengthToRead ring. Convert the ring into a boxed mutable array. Note that the returned MutArray shares the same underlying memory as the Ring, the user of this API needs to ensure that the ring is not mutated during and after the conversion.

valuecopyToMutArray :: MonadIO m => Int -> Int -> Ring a -> m (MutArray a)

Copy out the mutable ring to a mutable Array.

valuetoStreamWith :: Int -> Ring a -> Stream m a

Seek by n and then read the entire ring. Use take on the stream to restrict the reads.