1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
// =============================================================================
// Copyright (c) 2026 Haixing Hu.
//
// SPDX-License-Identifier: Apache-2.0
//
// Licensed under the Apache License, Version 2.0.
// =============================================================================
use ;
/// Minimal seek interface measured in stream items.
///
/// Unlike [`Seek`], which measures positions and offsets in bytes,
/// `Seekable` measures them in units of [`Self::Unit`]. For byte streams,
/// set `Unit = u8`; offsets passed through [`SeekFrom`] then count units
/// rather than bytes.
///
/// The return value of [`Seekable::seek_to`] is the new absolute position from
/// the start of the stream, in items.
///
/// # Method name overlap
///
/// `Seekable::seek_to` has the same method name as [`Seek::seek`]. In generic
/// code where both traits are in scope for the same value, use fully qualified
/// syntax to choose item-oriented seeking or byte-oriented seeking explicitly:
///
/// ```
/// use std::io::{
/// Result,
/// Seek,
/// SeekFrom,
/// };
///
/// use qubit_io::Seekable;
///
/// fn seek_items<T>(stream: &mut T, position: SeekFrom) -> Result<u64>
/// where
/// T: Seekable + Seek,
/// {
/// <T as Seekable>::seek_to(stream, position)
/// }
///
/// fn seek_bytes<T>(stream: &mut T, position: SeekFrom) -> Result<u64>
/// where
/// T: Seekable + Seek,
/// {
/// Seek::seek(stream, position)
/// }
/// ```
///
/// # Coherence note
///
/// The blanket impl below maps [`std::io::Seek`] to `Unit = u8` for binary
/// compatibility. If a concrete type already implements `Seek`, it already has
/// an implicit `Seekable<Unit = u8>` impl from this blanket, so another
/// `Seekable` impl with the same `(Self, Unit)` pair would be a coherence
/// conflict.
///
/// For example, this is rejected by the compiler:
///
/// ```rust,compile_fail
/// use std::io::{Result, Seek, SeekFrom};
///
/// struct LegacyStream;
///
/// impl Seek for LegacyStream {
/// fn seek(&mut self, _pos: SeekFrom) -> Result<u64> {
/// Ok(0)
/// }
/// }
///
/// impl crate::Seekable for LegacyStream {
/// type Unit = u8;
/// fn seek_to(&mut self, _pos: SeekFrom) -> Result<u64> {
/// Ok(0)
/// }
/// }
/// ```
///
/// ```text
/// error[E0119]: conflicting implementations of trait `crate::Seekable`
/// for type `LegacyStream`
/// ```
///
/// The stable workaround is to keep byte-positioned seeking on the original
/// type and introduce a wrapper/newtype when another item interpretation is
/// needed: implement `Seekable` for the wrapper with a different `Unit`, and
/// keep `std::io::Seek`/byte semantics on the original type.