package mirage-block-lwt

  1. Overview
  2. Docs

Module Mirage_block_safe.MakeSource

Parameters

Signature

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