HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulebyteslice-0.2.15.0Haskell2010

Data.Bytes.Chunks

Chunks of bytes. This is useful as a target for a builder or as a way to read a large amount of whose size is unknown in advance. Structurally, this type is similar to Data.ByteString.Lazy.ByteString. However, the type in this module is strict in its spine. Additionally, none of the Handle functions perform lazy I/O.

Contents
  1. Types
  2. Properties
  3. Manipulate
  4. Folds
  5. Splitting
  6. Hashing
  7. Create
  8. Copy to buffer
  9. I/O with Handles
Synopsis

Types

Properties

Manipulate

valuereplicate
  1. :: Bytes
  2. -> Int

    Number of times to repeat the sequence.

  3. -> Chunks

Repeat the byte sequence over and over. Returns empty chunks when given a negative repetition count.

valuereplicateByte
  1. :: Word8
  2. -> Int

    Number of times to replicate the byte

  3. -> Chunks

Repeat the byte over and over. This builds a single byte array that is at most 64KiB and shares that across every ChunksCons cell.

An as example, creating a 2GiB chunks this way would use 64KiB for the byte array, and there would be the additional overhead of the 2^15 ChunksCons data constructors. On a 64-bit platform, ChunksCons takes 40 bytes, so the total memory consumption would be 2^16 + 40 * 2^15, which is roughly 1.37MB. The same reasoning shows that it takes about 83.95MB to represent a 128GiB chunks.

The size of the shared payload is an implementation detail. Do not rely on this function producing 64KiB chunks. The implementation might one day change to something smarter that minimizes the memory footprint for very large chunks.

Folds

valuefoldl' :: (a -> Word8 -> a) -> a -> Chunks -> a

Left fold over all bytes in the chunks, strict in the accumulator.

Splitting

valuesplit :: Word8 -> Chunks -> [Bytes]

Break chunks of bytes into contiguous pieces separated by the byte argument. This is a good producer for list fusion. For this function to perform well, each chunk should contain multiple separators. Any piece that spans multiple chunks must be copied.

Hashing

Create

Copy to buffer

valueunsafeCopy
  1. :: MutableByteArray s

    Destination

  2. -> Int

    Destination offset

  3. -> Chunks

    Source

  4. -> ST s Int

    Returns the next index into the destination after the payload

Copy the contents of the chunks into a mutable array. Precondition: The destination must have enough space to house the contents. This is not checked.

I/O with Handles

Read an entire file strictly into chunks. If reading from a regular file, this makes an effort read the file into a single chunk.