mirage-block-lwt

Block signatures and implementations for MirageOS using Lwt
Library mirage-block-lwt
Module Mirage_block_safe . Make

Parameters

Signature

type t = B.t
type 'a io = 'a B.io
type page_aligned_buffer = B.page_aligned_buffer
type error = [
| Mirage_block.error
| `Unsafe of string
| `Private of B.error
]
val pp_error : Format.formatter -> [< `Disconnected | `Private of B.error | `Unimplemented | `Unsafe of string ] -> unit
type write_error = [
| Mirage_block.write_error
| `Unsafe of string
| `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 ) result -> ( 'a, [> `Disconnected | `Private of 'b | `Unimplemented ] ) result
val lift_write_error : ( 'a, [> Mirage_block.write_error ] as 'b ) result -> ( 'a, [> `Disconnected | `Is_read_only | `Private of 'b | `Unimplemented ] ) result
val (>>*=) : ( 'a, 'b ) result Lwt.t -> ( 'a -> ( 'c, 'b ) result Lwt.t ) -> ( 'c, 'b ) result Lwt.t
val fatalf : ( 'a, unit, string, ( 'b, [> `Unsafe of string ] ) result Lwt.t ) format4 -> 'a
val check_buffer : string -> int -> Cstruct.t -> ( unit, [> `Unsafe of string ] ) result Lwt.t
val check_buffers : string -> int -> Cstruct.t list -> ( unit, [> `Unsafe of string ] ) result Lwt.t
val check_in_range : string -> int64 -> int64 -> ( unit, [> `Unsafe of string ] ) result Lwt.t
val check : string -> int -> int64 -> int64 -> Cstruct.t list -> ( unit, [> `Unsafe of string ] ) result Lwt.t
val unsafe_read : B.t -> int64 -> B.page_aligned_buffer list -> ( unit, B.error ) result B.io
val unsafe_write : B.t -> int64 -> B.page_aligned_buffer list -> ( unit, B.write_error ) result B.io
val read : B.t -> int64 -> B.page_aligned_buffer list -> ( unit, [> `Disconnected | `Private of B.error | `Unimplemented | `Unsafe of string ] ) 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 ] ) result Lwt.t