package qcow

You can search for identifiers within the package.

in-package search v0.2.0

package qcow

qcow
- Qcow
  - Make
    
    B
    
    Config
    
    Debug
    
    Setting
    
    Stats
    
    Time
- Qcow_bitmap
  - Interval
  - Test
- Qcow_block_cache
  - Make
    
    B
- Qcow_cache
  - Debug
- Qcow_cluster_map
  - Available
  - Copies
  - Debug
  - Erased
  - Junk
  - Move
  - MutableSet
  - Roots
- Qcow_config
- Qcow_cstructs
  - BE
- Qcow_debug
- Qcow_diet
  - ELT
  - Make
    
    Elt
    
    Interval
  - Test
- Qcow_error
  - Lwt_error
    
    Infix
    
    List
  - Lwt_write_error
    
    Infix
- Qcow_header
- Qcow_int
  - IntervalSet
    
    Interval
  - Map
- Qcow_int64
  - IntervalSet
    
    Interval
  - Map
- Qcow_locks
  - Client
  - Debug
  - Read
  - Write
- Qcow_metadata
  - Physical
  - Refcounts
- Qcow_padded
  - Make
    
    B
- Qcow_physical
- Qcow_recycler
  - Make
    
    B
    
    Time
- Qcow_rwlock
  - Client
  - Debug
  - Read
  - Write
- Qcow_s
  - INTERVAL_SET
    
    Interval
  - LOG
  - NUM
  - PRINTABLE
  - RESIZABLE_BLOCK
  - SERIALISABLE
- Qcow_types
  - Cluster
    
    IntervalSet
    
    Interval
    
    Map
  - Int
    
    IntervalSet
    
    Interval
    
    Map
  - Int16
  - Int32
  - Int64
    
    IntervalSet
    
    Interval
    
    Map
  - Int8
- Qcow_virtual
- Qcow_word_size
  - Cluster
    
    IntervalSet
    
    Interval
    
    Map

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

Qcow metadata: clusters containing references and clusters containing reference counts.

type error = [

| Mirage_block.error
| `Msg of string

]

type write_error = [

| Mirage_block.write_error
| `Msg of string

]

val make : 
  cache:Qcow_cache.t ->
  cluster_bits:int ->
  locks:Qcow_locks.t ->
  unit ->
  t

Construct a qcow metadata structure given a set of cluster read/write/flush operations

val set_cluster_map : t -> Qcow_cluster_map.t -> unit

Set the associated cluster map (which will be updated on every cluster write)

type contents

module Refcounts : sig ... end

module Physical : sig ... end

val erase : contents -> unit

Set the cluster contents to zeroes

val read_and_lock : 
  ?client:Qcow_locks.Client.t ->
  t ->
  Qcow_types.Cluster.t ->
  (contents * Qcow_locks.lock, error) Pervasives.result Lwt.t

val read : 
  ?client:Qcow_locks.Client.t ->
  t ->
  Qcow_types.Cluster.t ->
  (contents -> ('a, error) Pervasives.result Lwt.t) ->
  ('a, error) Pervasives.result Lwt.t

Read the contents of the given cluster and provide them to the given function

val update : 
  ?client:Qcow_locks.Client.t ->
  t ->
  Qcow_types.Cluster.t ->
  (contents -> ('a, write_error) Pervasives.result Lwt.t) ->
  ('a, write_error) Pervasives.result Lwt.t

Read the contents of the given cluster, transform them through the given function and write the results back to disk