Module `Mirage_block_safe.Make`Source

Parameters

module B : Mirage_block.S

Signature

Sourcetype t = B.t

Sourcetype 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

Sourcetype write_error = [

| Mirage_block.write_error
| `Unsafe of string
| `Private of B.write_error

]

Source

val 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 Lwt.t

Sourceval disconnect : B.t -> unit Lwt.t

Source

val lift_error : 
  ('a, [> Mirage_block.error ] as 'b) result ->
  ('a, [> `Disconnected | `Private of 'b | `Unimplemented ]) result

Source

val lift_write_error : 
  ('a, [> Mirage_block.write_error ] as 'b) result ->
  ('a, [> `Disconnected | `Is_read_only | `Private of 'b | `Unimplemented ])
    result

Source

val (>>*=) : 
  ('a, 'b) result Lwt.t ->
  ('a -> ('c, 'b) result Lwt.t) ->
  ('c, 'b) result Lwt.t

Source

val fatalf : 
  ('a, unit, string, ('b, [> `Unsafe of string ]) result Lwt.t) format4 ->
  'a

Source

val check_buffer : 
  string ->
  int ->
  Cstruct.t ->
  (unit, [> `Unsafe of string ]) result Lwt.t

Source

val check_buffers : 
  string ->
  int ->
  Cstruct.t list ->
  (unit, [> `Unsafe of string ]) result Lwt.t

Source

val check_in_range : 
  string ->
  int64 ->
  int64 ->
  (unit, [> `Unsafe of string ]) result Lwt.t

Source

val check : 
  string ->
  int ->
  int64 ->
  int64 ->
  Cstruct.t list ->
  (unit, [> `Unsafe of string ]) result Lwt.t

Source

val unsafe_read : 
  B.t ->
  int64 ->
  Cstruct.t list ->
  (unit, B.error) result Lwt.t

Source

val unsafe_write : 
  B.t ->
  int64 ->
  Cstruct.t list ->
  (unit, B.write_error) result Lwt.t

Source

val read : 
  B.t ->
  int64 ->
  Cstruct.t list ->
  (unit,
    [> `Disconnected
    | `Private of B.error
    | `Unimplemented
    | `Unsafe of string ])
    result
    Lwt.t

Source

val write : 
  B.t ->
  int64 ->
  Cstruct.t list ->
  (unit,
    [> `Disconnected
    | `Is_read_only
    | `Private of B.write_error
    | `Unimplemented
    | `Unsafe of string ])
    result
    Lwt.t

package mirage-block-combinators

Module Mirage_block_safe.MakeSource

Parameters

Signature

Module `Mirage_block_safe.Make`Source