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
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
|
//! [![github-img]][github-url] [![crates-img]][crates-url] [![docs-img]][docs-url]
//!
//! [github-url]: https://github.com/QnnOkabayashi/strck
//! [crates-url]: https://crates.io/crates/strck
//! [docs-url]: crate
//! [github-img]: https://img.shields.io/badge/github-8da0cb?style=for-the-badge&labelColor=555555&logo=github
//! [crates-img]: https://img.shields.io/badge/crates.io-fc8d62?style=for-the-badge&labelColor=555555&logo=rust
//! [docs-img]: https://img.shields.io/badge/docs.rs-66c2a5?style=for-the-badge&labelColor=555555&logoColor=white&logo=data:image/svg+xml;base64,PHN2ZyByb2xlPSJpbWciIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgdmlld0JveD0iMCAwIDUxMiA1MTIiPjxwYXRoIGZpbGw9IiNmNWY1ZjUiIGQ9Ik00ODguNiAyNTAuMkwzOTIgMjE0VjEwNS41YzAtMTUtOS4zLTI4LjQtMjMuNC0zMy43bC0xMDAtMzcuNWMtOC4xLTMuMS0xNy4xLTMuMS0yNS4zIDBsLTEwMCAzNy41Yy0xNC4xIDUuMy0yMy40IDE4LjctMjMuNCAzMy43VjIxNGwtOTYuNiAzNi4yQzkuMyAyNTUuNSAwIDI2OC45IDAgMjgzLjlWMzk0YzAgMTMuNiA3LjcgMjYuMSAxOS45IDMyLjJsMTAwIDUwYzEwLjEgNS4xIDIyLjEgNS4xIDMyLjIgMGwxMDMuOS01MiAxMDMuOSA1MmMxMC4xIDUuMSAyMi4xIDUuMSAzMi4yIDBsMTAwLTUwYzEyLjItNi4xIDE5LjktMTguNiAxOS45LTMyLjJWMjgzLjljMC0xNS05LjMtMjguNC0yMy40LTMzLjd6TTM1OCAyMTQuOGwtODUgMzEuOXYtNjguMmw4NS0zN3Y3My4zek0xNTQgMTA0LjFsMTAyLTM4LjIgMTAyIDM4LjJ2LjZsLTEwMiA0MS40LTEwMi00MS40di0uNnptODQgMjkxLjFsLTg1IDQyLjV2LTc5LjFsODUtMzguOHY3NS40em0wLTExMmwtMTAyIDQxLjQtMTAyLTQxLjR2LS42bDEwMi0zOC4yIDEwMiAzOC4ydi42em0yNDAgMTEybC04NSA0Mi41di03OS4xbDg1LTM4Ljh2NzUuNHptMC0xMTJsLTEwMiA0MS40LTEwMi00MS40di0uNmwxMDItMzguMiAxMDIgMzguMnYuNnoiPjwvcGF0aD48L3N2Zz4K
//!
//! Checked owned and borrowed strings.
//!
//! # Overview
//!
//! The Rust standard library provides the `String` and `str` types, which wrap
//! `Vec<u8>` and `[u8]` respectively, with the invariant that the contents
//! are valid UTF-8.
//!
//! This crate abstracts the idea of type-level invariants on strings by
//! introducing the immutable [`Check`] and [`Ck`] types, where the invariants
//! are determined by a generic [`Invariant`] type parameter. Implementing
//! the [`Invariant`] trait is left to other crates, such as [`strck_ident`].
//!
//! "strck" comes from "str check", similar to how rustc has typeck and
//! borrowck for type check and borrow check respectively.
//!
//! # Motivation
//!
//! Libraries working with string-like types with certain properties, like identifiers,
//! quickly become confusing as `&str` and `String` begin to pollute type signatures
//! everywhere. One solution is to manually implement an owned checked string type
//! like [`syn::Ident`] to disambiguate the type signatures and validate the string.
//! The downside is that new values cannot be created without allocation,
//! which is unnecessary when only a borrowed version is required.
//!
//! `strck` solves this issue by providing a checked borrowed string type, [`Ck`],
//! alongside a checked owned string type, [`Check`]. These serve as thin wrappers
//! around `str` and `String`[^1] respectively, and prove at the type level that
//! the contents satisfy the [`Invariant`] that the wrapper is generic over.
//!
//! [^1]: [`Check`] can actually be backed by any `'static + AsRef<str>` type,
//! but `String` is the default.
//!
//! # Use cases
//!
//! ### Checked strings without allocating
//!
//! The main benefit `strck` offers is validating borrowed strings via the
//! [`Ck`] type without having to allocate in the result.
//!
//! ```rust
//! use strck_ident::{Ck, IntoCk, rust::RustIdent};
//!
//! let this_ident: &Ck<RustIdent> = "this".ck().unwrap();
//! ```
//!
//! ### Checked zero-copy deserialization
//!
//! When the `serde` feature flag is enabled, [`Ck`]s can be used to perform
//! checked zero-copy deserialization, which requires the
//! [`#[serde(borrow)]`][borrow] attribute.
//!
//! ```rust
//! # use serde::{Serialize, Deserialize};
//! use strck_ident::{Ck, unicode::UnicodeIdent};
//!
//! #[derive(Serialize, Deserialize)]
//! struct Player<'a> {
//! #[serde(borrow)]
//! username: &'a Ck<UnicodeIdent>,
//! level: u32,
//! }
//! ```
//!
//! Note that this code sample explicitly uses `Ck<UnicodeIdent>` to demonstrate
//! that the type is a [`Ck`]. However, [`strck_ident`] provides [`Ident`] as an
//! alias for `Ck<UnicodeIdent>`, which should be used in practice.
//!
//! ### Infallible parsing
//!
//! For types where string validation is relatively cheap but parsing is costly
//! and fallible, `strck` can be used with a custom [`Invariant`] as an input to
//! make an infallible parsing function.
//!
//! # Postfix construction with `IntoCk` and `IntoCheck`
//!
//! This crate exposes two helper traits, [`IntoCk`] and [`IntoCheck`]. When in
//! scope, the [`.ck()`] and [`.check()`] functions can be used to create
//! [`Ck`]s and [`Check`]s respectively:
//!
//! ```rust
//! use strck_ident::{IntoCheck, IntoCk, unicode::UnicodeIdent};
//!
//! let this_ident = "this".ck::<UnicodeIdent>().unwrap();
//! let this_foo_ident = format!("{}_foo", this_ident).check::<UnicodeIdent>().unwrap();
//! ```
//!
//! # Feature flags
//!
//! * `serde`: Implements `Serialize`/`Deserialize` for [`Check`]s and [`Ck`]s,
//! where the invariants are checked during deserialization. Disabled by default.
//!
//! [`syn::Ident`]: https://docs.rs/syn/latest/syn/struct.Ident.html
//! [`strck_ident`]: https://docs.rs/strck_ident
//! [`Ident`]: https://docs.rs/strck_ident/latest/strck_ident/unicode/type.Ident.html
//! [borrow]: https://serde.rs/lifetimes.html#borrowing-data-in-a-derived-impl
//! [`.ck()`]: IntoCk::ck
//! [`.check()`]: IntoCheck::check
use core::{borrow, cmp, fmt, hash, marker, ops, str};
mod partial_eq;
#[cfg(feature = "serde")]
mod serde;
/// Owned immutable string with invariants.
///
/// Similar to how `String` derefs to `&str`, [`Check`] derefs to [`&Ck`](Ck).
/// This means APIs requiring `&Check<I>` as an argument should instead consider
/// accepting `&Ck<I>` for more flexibility.
///
/// # Buffers
///
/// By default, this type is backed by a `String`, but it can also be backed by
/// any `AsRef<str> + 'static` type. In particular, types like [`SmolStr`] are
/// good candidates since they're designed to be immutable.
///
/// It's recommended to use a type alias when using a custom backing type, since
/// extra generics can make the type signature long.
///
/// [`SmolStr`]: https://docs.rs/smol_str/latest/smol_str/struct.SmolStr.html
#[derive(Clone)]
#[repr(transparent)]
pub struct Check<I: Invariant, B: AsRef<str> + 'static = String> {
_marker: marker::PhantomData<I>,
buf: B,
}
/// Borrowed immutable string with invariants.
///
/// [`Ck`] is a DST, and therefore must always live behind a pointer. This means
/// you'll usually see it as `&Ck<I>` in type signatures.
///
/// # Deserialization
///
/// See the [crate-level documentation] for details on how to use [`Ck`] for
/// checked zero-copy deserialization.
///
/// [crate-level documentation]: crate#checked-zero-copy-deserialization
#[repr(transparent)]
pub struct Ck<I: Invariant> {
_marker: marker::PhantomData<I>,
slice: str,
}
/// Invariant for a [`Ck`] or [`Check`].
///
/// The [`Ck`] and [`Check`] types are checked strings types that make guarantees
/// about the contents of the string. These guarantees are determined by this
/// trait, `Invariant` which distinguishes whether or not a string upholds some
/// arbitrary invariants via the [`Invariant::check`] function. If the `Err` is
/// returned, then the invariant is broken, and the `Ck` or `Check` generic over
/// the invariant cannot be constructed.
///
/// # Examples
///
/// Declaring an invariant that the string contains no whitespace:
/// ```rust
/// # use strck::Invariant;
/// struct NoWhitespace;
///
/// impl Invariant for NoWhitespace {
/// type Error = char;
///
/// fn check(slice: &str) -> Result<(), Self::Error> {
/// match slice.chars().find(|ch| ch.is_whitespace()) {
/// Some(ch) => Err(ch),
/// None => Ok(()),
/// }
/// }
/// }
/// ```
pub trait Invariant: Sized {
/// The type returned in the event that an invariant is broken.
///
/// When formatting, `Error` should not be capitalized and should not end
/// with a period.
type Error: fmt::Display;
/// Returns `Ok` if the string upholds the invariant, otherwise `Err`.
///
/// This function is used internally in [`Check::from_buf`] and [`Ck::from_slice`].
fn check(slice: &str) -> Result<(), Self::Error>;
}
/// Conversion into a [`Ck`].
pub trait IntoCk: Sized + AsRef<str> {
/// Returns a validated [`Ck`] borrowing from `self`.
///
/// # Examples
///
/// Creating an Rust ident containing `this`:
/// ```rust
/// use strck_ident::{IntoCk, rust::Ident};
///
/// let this_ident: &Ident = "this".ck().unwrap();
/// ```
fn ck<I: Invariant>(&self) -> Result<&Ck<I>, I::Error>;
}
impl<T: AsRef<str>> IntoCk for T {
fn ck<I: Invariant>(&self) -> Result<&Ck<I>, I::Error> {
Ck::from_slice(self.as_ref())
}
}
/// Conversion into a [`Check`].
pub trait IntoCheck: Sized + AsRef<str> + 'static {
/// Returns a validated [`Check`] owning `self`.
///
/// Note that [`Check`] uses the input of [`IntoCheck::check`] as its backing
/// storage, meaning that `"this".check()` will return a `Check<I, &'static str>`.
/// Although this is technically valid, it's _strongly_ recommended to use
/// [`Ck`] for string slices instead to avoid confusion.
///
/// # Examples
///
/// Creating a Unicode ident from a formatted string:
/// ```rust
/// use strck_ident::{Check, Ck, IntoCheck, unicode::UnicodeIdent};
///
/// fn wrapper_name(name: &Ck<UnicodeIdent>) -> Check<UnicodeIdent> {
/// format!("lil_{name}").check().unwrap()
/// }
/// ```
fn check<I: Invariant>(self) -> Result<Check<I, Self>, I::Error>;
}
impl<T: AsRef<str> + 'static> IntoCheck for T {
fn check<I: Invariant>(self) -> Result<Check<I, Self>, I::Error> {
Check::from_buf(self)
}
}
// impl Check
impl<I: Invariant, B: AsRef<str>> Check<I, B> {
/// Returns an `Ok` if the buffer upholds the invariants, otherwise `Err`.
pub fn from_buf(buf: B) -> Result<Self, I::Error> {
I::check(buf.as_ref())?;
// SAFETY: invariants are upheld.
unsafe { Ok(Self::from_buf_unchecked(buf)) }
}
/// Create a new [`Check`] without validating the buffer.
///
/// # Safety
///
/// The buffer must contain a valid string.
pub unsafe fn from_buf_unchecked(buf: B) -> Self {
Check {
_marker: marker::PhantomData,
buf,
}
}
/// Returns a [`&Ck`](Ck) that borrows from `self`.
pub fn as_ck(&self) -> &Ck<I> {
// SAFETY: `self` has the same invariants as `&Ck<I>`.
unsafe { Ck::from_str_unchecked(self.buf.as_ref()) }
}
/// Returns the inner representation.
pub fn into_inner(self) -> B {
self.buf
}
}
impl<I, B> fmt::Debug for Check<I, B>
where
I: Invariant,
B: AsRef<str> + fmt::Debug,
{
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
fmt::Debug::fmt(&self.buf, f)
}
}
impl<I, B1, B2> PartialEq<Check<I, B2>> for Check<I, B1>
where
I: Invariant,
B1: AsRef<str>,
B2: AsRef<str>,
{
fn eq(&self, other: &Check<I, B2>) -> bool {
self == other
}
}
impl<I, B1, B2> PartialOrd<Check<I, B2>> for Check<I, B1>
where
I: Invariant,
B1: AsRef<str>,
B2: AsRef<str>,
{
fn partial_cmp(&self, other: &Check<I, B2>) -> Option<cmp::Ordering> {
self.as_ck().partial_cmp(other.as_ck())
}
}
impl<I: Invariant, B: AsRef<str>> Eq for Check<I, B> {}
impl<I: Invariant, B: AsRef<str>> Ord for Check<I, B> {
fn cmp(&self, other: &Self) -> cmp::Ordering {
self.as_ck().cmp(other.as_ck())
}
}
impl<I: Invariant, B: AsRef<str>> hash::Hash for Check<I, B> {
fn hash<H: hash::Hasher>(&self, state: &mut H) {
self.as_str().hash(state);
}
}
impl<I: Invariant, B: AsRef<str>> ops::Deref for Check<I, B> {
type Target = Ck<I>;
fn deref(&self) -> &Self::Target {
self.as_ck()
}
}
impl<I: Invariant, B: AsRef<str>> AsRef<Ck<I>> for Check<I, B> {
fn as_ref(&self) -> &Ck<I> {
self.as_ck()
}
}
impl<I: Invariant, B: AsRef<str>> AsRef<str> for Check<I, B> {
fn as_ref(&self) -> &str {
self.as_str()
}
}
impl<I: Invariant, B: AsRef<str>> borrow::Borrow<Ck<I>> for Check<I, B> {
fn borrow(&self) -> &Ck<I> {
self.as_ck()
}
}
impl<I: Invariant, B: AsRef<str>> fmt::Display for Check<I, B> {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
fmt::Display::fmt(self.as_str(), f)
}
}
impl<'a, I, B> From<&'a Ck<I>> for Check<I, B>
where
I: Invariant,
B: AsRef<str> + From<&'a str>,
{
fn from(check: &'a Ck<I>) -> Self {
check.to_check()
}
}
impl<I, B> str::FromStr for Check<I, B>
where
I: Invariant,
for<'a> B: AsRef<str> + From<&'a str>,
{
type Err = I::Error;
fn from_str(s: &str) -> Result<Self, Self::Err> {
Ok(s.ck()?.to_check())
}
}
// impl Ck
impl<I: Invariant> Ck<I> {
/// Returns an `Ok` if the `&str` upholds the invariants, otherwise `Err`.
pub fn from_slice(slice: &str) -> Result<&Self, I::Error> {
I::check(slice)?;
// SAFETY: invariants are upheld.
unsafe { Ok(Self::from_str_unchecked(slice)) }
}
/// Create a new [`&Ck`](Ck) without validating the `&str`.
///
/// # Safety
///
/// The string must be valid.
pub unsafe fn from_str_unchecked(slice: &str) -> &Self {
// SAFETY: `Ck` has the same ABI as `str` by `#[repr(transparent)]`.
core::mem::transmute(slice)
}
/// Returns an owned [`Check`] from `&self`.
pub fn to_check<'a, B>(&'a self) -> Check<I, B>
where
B: AsRef<str> + From<&'a str>,
{
// SAFETY: `self` has the same invariants as `Check<I, B>`.
unsafe { Check::from_buf_unchecked(self.as_str().into()) }
}
/// Returns the `&str` representation.
pub fn as_str(&self) -> &str {
&self.slice
}
}
impl<I: Invariant> fmt::Debug for Ck<I> {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
fmt::Debug::fmt(&self.slice, f)
}
}
impl<I: Invariant> PartialEq for Ck<I> {
fn eq(&self, other: &Self) -> bool {
self.as_str() == other.as_str()
}
}
impl<I: Invariant> PartialOrd for Ck<I> {
fn partial_cmp(&self, other: &Self) -> Option<cmp::Ordering> {
self.slice.partial_cmp(&other.slice)
}
}
impl<I: Invariant> Eq for Ck<I> {}
impl<I: Invariant> Ord for Ck<I> {
fn cmp(&self, other: &Self) -> cmp::Ordering {
self.as_str().cmp(other.as_str())
}
}
impl<I: Invariant> hash::Hash for Ck<I> {
fn hash<H: hash::Hasher>(&self, state: &mut H) {
self.as_str().hash(state);
}
}
impl<I: Invariant> AsRef<str> for Ck<I> {
fn as_ref(&self) -> &str {
self.as_str()
}
}
impl<I: Invariant> borrow::Borrow<str> for Ck<I> {
fn borrow(&self) -> &str {
self.as_str()
}
}
impl<I: Invariant> ToOwned for Ck<I> {
type Owned = Check<I>;
fn to_owned(&self) -> Self::Owned {
self.to_check()
}
}
impl<I: Invariant> fmt::Display for Ck<I> {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
fmt::Display::fmt(self.as_str(), f)
}
}
impl<'a, I: Invariant, B: AsRef<str>> From<&'a Check<I, B>> for &'a Ck<I> {
fn from(check: &'a Check<I, B>) -> Self {
check.as_ck()
}
}
impl<'a, I: Invariant> TryFrom<&'a str> for &'a Ck<I> {
type Error = I::Error;
fn try_from(slice: &'a str) -> Result<Self, Self::Error> {
Ck::from_slice(slice)
}
}
#[cfg(test)]
mod tests {
use super::*;
/// Test invariant.
struct NoInvariant;
impl Invariant for NoInvariant {
type Error = core::convert::Infallible;
fn check(_slice: &str) -> Result<(), Self::Error> {
Ok(())
}
}
#[test]
fn test_debug_impl() {
let this = "this".ck::<NoInvariant>().unwrap();
let fmt_debug = format!("{:?}", this);
assert_eq!(fmt_debug, "\"this\"");
}
}
|