package mirage-block-lwt

  1. Overview
  2. Docs

Parameters

Signature

type t = B.t
type 'a io = 'a B.io
type page_aligned_buffer = B.page_aligned_buffer
type error = [
  1. | Mirage_block.error
  2. | `Unsafe of string
  3. | `Private of B.error
]
val pp_error : Format.formatter -> [< `Disconnected | `Private of B.error | `Unimplemented | `Unsafe of string ] -> unit
type write_error = [
  1. | Mirage_block.write_error
  2. | `Unsafe of string
  3. | `Private of B.write_error
]
val pp_write_error : Format.formatter -> [< `Disconnected | `Is_read_only | `Private of B.write_error | `Unimplemented | `Unsafe of string ] -> unit
val get_info : B.t -> Mirage_block.info B.io
val disconnect : B.t -> unit B.io
val lift_error : ('a, [> Mirage_block.error ] as 'b) Pervasives.result -> ('a, [> `Disconnected | `Private of 'b | `Unimplemented ]) Pervasives.result
val lift_write_error : ('a, [> Mirage_block.write_error ] as 'b) Pervasives.result -> ('a, [> `Disconnected | `Is_read_only | `Private of 'b | `Unimplemented ]) Pervasives.result
val (>>*=) : ('a, 'b) Pervasives.result Lwt.t -> ('a -> ('c, 'b) Pervasives.result Lwt.t) -> ('c, 'b) Pervasives.result Lwt.t
val fatalf : ('a, unit, string, ('b, [> `Unsafe of string ]) Pervasives.result Lwt.t) Pervasives.format4 -> 'a
val check_buffer : string -> int -> Cstruct.t -> (unit, [> `Unsafe of string ]) Pervasives.result Lwt.t
val check_buffers : string -> int -> Cstruct.t list -> (unit, [> `Unsafe of string ]) Pervasives.result Lwt.t
val check_in_range : string -> int64 -> int64 -> (unit, [> `Unsafe of string ]) Pervasives.result Lwt.t
val check : string -> int -> int64 -> int64 -> Cstruct.t list -> (unit, [> `Unsafe of string ]) Pervasives.result Lwt.t
val unsafe_read : B.t -> int64 -> B.page_aligned_buffer list -> (unit, B.error) Pervasives.result B.io
val unsafe_write : B.t -> int64 -> B.page_aligned_buffer list -> (unit, B.write_error) Pervasives.result B.io
val read : B.t -> int64 -> B.page_aligned_buffer list -> (unit, [> `Disconnected | `Private of B.error | `Unimplemented | `Unsafe of string ]) Pervasives.result Lwt.t
val write : B.t -> int64 -> B.page_aligned_buffer list -> (unit, [> `Disconnected | `Is_read_only | `Private of B.write_error | `Unimplemented | `Unsafe of string ]) Pervasives.result Lwt.t
OCaml

Innovation. Community. Security.