package tezos-lazy-containers

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-lazy-containers

tezos-lazy-containers
- Tezos_lazy_containers
  - Chunked_byte_vector
    
    Chunk
  - Lazy_map
    
    KeyS
    
    LwtInt32Map
    
    LwtInt64Map
    
    LwtIntMap
    
    Make
    
    Key
    
    Mutable
    
    LwtInt32Map
    
    Map
    
    LwtInt64Map
    
    Map
    
    LwtIntMap
    
    Map
    
    Make
    
    Key
    
    Map
    
    S
    
    Map
    
    S
  - Lazy_vector
    
    Int32Vector
    
    Map
    
    Int64Vector
    
    Map
    
    IntVector
    
    Map
    
    KeyS
    
    Make
    
    Key
    
    Map
    
    Mutable
    
    Int32Vector
    
    Int64Vector
    
    IntVector
    
    Make
    
    Vector
    
    Map
    
    S
    
    Vector
    
    Map
    
    ZVector
    
    S
    
    Map
    
    ZVector
    
    Map

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

Chunk within the byte vector

val of_bytes : bytes -> t

Create a chunk and copy the given bytes into it.

val to_bytes : t -> bytes

Copy the contents of a chunk into a fresh bytes.

val size : int64

Size of a chunk in bytes - with 12 bits of address space the chunk is 4KiB

val num_needed : int64 -> int64

num_needed len Computes the number of chunks needed to cover len.