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
// =============================================================================
// 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 units.
///
/// Unlike [`Seek`], which measures positions and offsets in bytes,
/// `Seekable` measures them in units of [`Self::Item`]. For byte streams,
/// set `Item = u8`; offsets passed through [`SeekFrom`] then count units
/// rather than bytes.
///
/// The return value of [`Seekable::seek`] is the new absolute position from
/// the start of the stream, in units.
///
/// # Coherence note
///
/// The blanket impl below maps [`std::io::Seek`] to `Item = u8` for binary
/// compatibility. If a concrete type already implements `Seek`, it already has
/// an implicit `Seekable<Item = u8>` impl from this blanket, so another
/// `Seekable` impl with the same `(Self, Item)` 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 Item = u8;
/// fn seek(&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 unit interpretation is
/// needed: implement `Seekable` for the wrapper with a different `Item`, and
/// keep `std::io::Seek`/byte semantics on the original type.