package mirage-block-combinators

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Fast Fold over the bytes of a block device
Parameters
Signature

mirage-block-combinators
- Mirage_block_combinators
  - Compare
    
    A
    
    B
  - Copy
    
    A
    
    B
  - Fast_fold
    
    A
  - Fill
    
    A
  - Fold
    
    A
  - Make_safe
    
    B
  - Mem
  - RESIZABLE
  - SEEKABLE
  - Sparse_copy
    
    A
    
    B
- Mirage_block_combinators_s
  - RESIZABLE
  - SEEKABLE
- Mirage_block_compare
  - Compare
    
    Dest
    
    From
- Mirage_block_copy
  - Copy
    
    Dest
    
    From
    
    From_seekable
    
    Sparse_copy
  - Make_seekable
    
    B
  - Sparse_copy
    
    Dest
    
    From
- Mirage_block_iter
  - Fast_fold
    
    Seekable
  - Fold
    
    Block
- Mirage_block_log
  - Log
- Mirage_block_mem
  - Int64Map
- Mirage_block_patterns
  - Fill
    
    Block
- Mirage_block_safe
  - Make
    
    B

Legend:
Library
Module
Module type
Parameter
Class
Class type

Fast Fold over the bytes of a block device

This functor use seek operations to perform fast folds over block devices.

Parameters

module A : SEEKABLE

Signature

val mapped_s : 
  f:('a -> int64 -> Cstruct.t -> 'a Lwt.t) ->
  'a ->
  A.t ->
  ('a, A.error) result Lwt.t

Folds f across data blocks read sequentially from a block device. In contrast to fold_s, Fold.mapped_s will use knowledge about the underlying disk structure and will skip blocks which it knows contain only zeroes. Note it may still read blocks containing zeroes. The function f receives an accumulator, the sector number and a data buffer.

val unmapped_s : 
  f:('a -> int64 -> int64 -> 'a Lwt.t) ->
  'a ->
  A.t ->
  ('a, A.error) result Lwt.t

Folds f acc ofs len across offsets of unmapped data blocks read sequentially from the block device. Fold.unmapped_s will use knowledge about the underlying disk structure and will only fold across those blocks which are guaranteed to be zero i.e. those which are unmapped somehow.