Module `Irmin_pack_unix.Errors`Source

Sourceval finalise : ('a -> 'b) -> (unit -> 'a) -> 'a

Finaliser for a function that returns a result and doesn't raise exceptions.

If the finaliser fails, it is recommended to log the error.

Sourceval finalise_exn : ('a option -> 'b) -> (unit -> 'a) -> 'a

Finaliser for a function that might raise exceptions.

Sourcetype base_error = [

| `Double_close
| `File_exists of string
| `Invalid_parent_directory
| `No_such_file_or_directory of string
| `Not_a_file
| `Read_out_of_bounds
| `Invalid_argument
| `Decoding_error
| `Not_a_directory of string
| `Index_failure of string
| `Invalid_layout
| `Corrupted_legacy_file
| `Corrupted_mapping_file of string
| `Pending_flush
| `Rw_not_allowed
| `Migration_needed
| `Migration_to_lower_not_allowed
| `Corrupted_control_file of string
| `Sys_error of string
| `V3_store_from_the_future
| `Gc_forbidden_during_batch
| `Unknown_major_pack_version of string
| `Only_minimal_indexing_strategy_allowed
| `Commit_key_is_dangling of string
| `Dangling_key of string
| `Gc_disallowed of string
| `Node_or_contents_key_is_indexed of string
| `Gc_process_error of string
| `Corrupted_gc_result_file of string
| `Gc_process_died_without_result_file of string
| `Gc_forbidden_on_32bit_platforms
| `Invalid_prefix_read of string
| `Invalid_sparse_read of [ `After | `Before | `Hole ] * Optint.Int63.t
| `Invalid_volume_read of [ `Empty | `Closed ] * Optint.Int63.t
| `Inconsistent_store
| `Split_forbidden_during_batch
| `Split_disallowed
| `Multiple_empty_chunks
| `Forbidden_during_gc
| `Multiple_empty_volumes
| `Volume_missing of string
| `Add_volume_forbidden_during_gc
| `Add_volume_requires_lower
| `Volume_history_newer_than_archived_data of Optint.Int63.t * Optint.Int63.t
| `Lower_has_no_volume
| `Volume_not_found of string
| `No_tmp_path_provided

]

base_error is the type of most errors that can occur in a result, except for errors that have associated exceptions (see below) and backend-specific errors (see Io_errors).

Source

val base_error_t : 
  [ `Add_volume_forbidden_during_gc
  | `Add_volume_requires_lower
  | `Commit_key_is_dangling of string
  | `Corrupted_control_file of string
  | `Corrupted_gc_result_file of string
  | `Corrupted_legacy_file
  | `Corrupted_mapping_file of string
  | `Dangling_key of string
  | `Decoding_error
  | `Double_close
  | `File_exists of string
  | `Forbidden_during_gc
  | `Gc_disallowed of string
  | `Gc_forbidden_during_batch
  | `Gc_forbidden_on_32bit_platforms
  | `Gc_process_died_without_result_file of string
  | `Gc_process_error of string
  | `Inconsistent_store
  | `Index_failure of string
  | `Invalid_argument
  | `Invalid_layout
  | `Invalid_parent_directory
  | `Invalid_prefix_read of string
  | `Invalid_sparse_read of [ `After | `Before | `Hole ] * Optint.Int63.t
  | `Invalid_volume_read of [ `Closed | `Empty ] * Optint.Int63.t
  | `Lower_has_no_volume
  | `Migration_needed
  | `Migration_to_lower_not_allowed
  | `Multiple_empty_chunks
  | `Multiple_empty_volumes
  | `No_such_file_or_directory of string
  | `No_tmp_path_provided
  | `Node_or_contents_key_is_indexed of string
  | `Not_a_directory of string
  | `Not_a_file
  | `Only_minimal_indexing_strategy_allowed
  | `Pending_flush
  | `Read_out_of_bounds
  | `Rw_not_allowed
  | `Split_disallowed
  | `Split_forbidden_during_batch
  | `Sys_error of string
  | `Unknown_major_pack_version of string
  | `V3_store_from_the_future
  | `Volume_history_newer_than_archived_data of Optint.Int63.t * Optint.Int63.t
  | `Volume_missing of string
  | `Volume_not_found of string ]
    Irmin.Type.t

Source

val pp_base_error : 
  [ `Add_volume_forbidden_during_gc
  | `Add_volume_requires_lower
  | `Commit_key_is_dangling of string
  | `Corrupted_control_file of string
  | `Corrupted_gc_result_file of string
  | `Corrupted_legacy_file
  | `Corrupted_mapping_file of string
  | `Dangling_key of string
  | `Decoding_error
  | `Double_close
  | `File_exists of string
  | `Forbidden_during_gc
  | `Gc_disallowed of string
  | `Gc_forbidden_during_batch
  | `Gc_forbidden_on_32bit_platforms
  | `Gc_process_died_without_result_file of string
  | `Gc_process_error of string
  | `Inconsistent_store
  | `Index_failure of string
  | `Invalid_argument
  | `Invalid_layout
  | `Invalid_parent_directory
  | `Invalid_prefix_read of string
  | `Invalid_sparse_read of [ `After | `Before | `Hole ] * Optint.Int63.t
  | `Invalid_volume_read of [ `Closed | `Empty ] * Optint.Int63.t
  | `Lower_has_no_volume
  | `Migration_needed
  | `Migration_to_lower_not_allowed
  | `Multiple_empty_chunks
  | `Multiple_empty_volumes
  | `No_such_file_or_directory of string
  | `No_tmp_path_provided
  | `Node_or_contents_key_is_indexed of string
  | `Not_a_directory of string
  | `Not_a_file
  | `Only_minimal_indexing_strategy_allowed
  | `Pending_flush
  | `Read_out_of_bounds
  | `Rw_not_allowed
  | `Split_disallowed
  | `Split_forbidden_during_batch
  | `Sys_error of string
  | `Unknown_major_pack_version of string
  | `V3_store_from_the_future
  | `Volume_history_newer_than_archived_data of Optint.Int63.t * Optint.Int63.t
  | `Volume_missing of string
  | `Volume_not_found of string ]
    Repr.pp

Sourcetype closed_error = [

| `Closed

]

Sourceval closed_error_t : [ `Closed ] Irmin.Type.t

Sourceval pp_closed_error : [ `Closed ] Repr.pp

Sourcetype read_only_error = [

| `Ro_not_allowed

]

Sourceval read_only_error_t : [ `Ro_not_allowed ] Irmin.Type.t

Sourceval pp_read_only_error : [ `Ro_not_allowed ] Repr.pp

Sourcetype error = [

| base_error
| closed_error
| read_only_error

]

Sourceexception Pack_error of base_error

Sourceexception Closed

Sourceexception RO_not_allowed

Sourcemodule type S = sig ... end

Error manager

Sourcemodule Base : S with type t = error

Install

Dune Dependency

Authors

Maintainers

Sources

doc/irmin-pack.unix/Irmin_pack_unix/Errors/index.html

Module `Irmin_pack_unix.Errors`Source

package irmin-pack

Install

Dune Dependency

Authors

Maintainers

Sources

doc/irmin-pack.unix/Irmin_pack_unix/Errors/index.html

Module Irmin_pack_unix.ErrorsSource

Module `Irmin_pack_unix.Errors`Source