mirage-block-lwt 1.2.0 · OCaml Package

Parameters

module B : Mirage_block_lwt_s.S

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) 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