diff options
| author | mo khan <mo@mokhan.ca> | 2025-07-15 16:37:08 -0600 |
|---|---|---|
| committer | mo khan <mo@mokhan.ca> | 2025-07-17 16:30:22 -0600 |
| commit | 45df4d0d9b577fecee798d672695fe24ff57fb1b (patch) | |
| tree | 1b99bf645035b58e0d6db08c7a83521f41f7a75b /vendor/time/src/quickcheck.rs | |
| parent | f94f79608393d4ab127db63cc41668445ef6b243 (diff) | |
feat: migrate from Cedar to SpiceDB authorization system
This is a major architectural change that replaces the Cedar policy-based
authorization system with SpiceDB's relation-based authorization.
Key changes:
- Migrate from Rust to Go implementation
- Replace Cedar policies with SpiceDB schema and relationships
- Switch from envoy `ext_authz` with Cedar to SpiceDB permission checks
- Update build system and dependencies for Go ecosystem
- Maintain Envoy integration for external authorization
This change enables more flexible permission modeling through SpiceDB's
Google Zanzibar inspired relation-based system, supporting complex
hierarchical permissions that were difficult to express in Cedar.
Breaking change: Existing Cedar policies and Rust-based configuration
will no longer work and need to be migrated to SpiceDB schema.
Diffstat (limited to 'vendor/time/src/quickcheck.rs')
| -rw-r--r-- | vendor/time/src/quickcheck.rs | 230 |
1 files changed, 0 insertions, 230 deletions
diff --git a/vendor/time/src/quickcheck.rs b/vendor/time/src/quickcheck.rs deleted file mode 100644 index 6336ec25..00000000 --- a/vendor/time/src/quickcheck.rs +++ /dev/null @@ -1,230 +0,0 @@ -//! Implementations of the [`quickcheck::Arbitrary`](quickcheck::Arbitrary) trait. -//! -//! This enables users to write tests such as this, and have test values provided automatically: -//! -//! ```ignore -//! # #![allow(dead_code)] -//! use quickcheck::quickcheck; -//! use time::Date; -//! -//! struct DateRange { -//! from: Date, -//! to: Date, -//! } -//! -//! impl DateRange { -//! fn new(from: Date, to: Date) -> Result<Self, ()> { -//! Ok(DateRange { from, to }) -//! } -//! } -//! -//! quickcheck! { -//! fn date_range_is_well_defined(from: Date, to: Date) -> bool { -//! let r = DateRange::new(from, to); -//! if from <= to { -//! r.is_ok() -//! } else { -//! r.is_err() -//! } -//! } -//! } -//! ``` -//! -//! An implementation for `Instant` is intentionally omitted since its values are only meaningful in -//! relation to a [`Duration`], and obtaining an `Instant` from a [`Duration`] is very simple -//! anyway. - -use alloc::boxed::Box; - -use quickcheck::{empty_shrinker, single_shrinker, Arbitrary, Gen}; - -use crate::{ - Date, Duration, Month, OffsetDateTime, PrimitiveDateTime, Time, UtcDateTime, UtcOffset, Weekday, -}; - -/// Obtain an arbitrary value between the minimum and maximum inclusive. -macro_rules! arbitrary_between { - ($type:ty; $gen:expr, $min:expr, $max:expr) => {{ - let min = $min; - let max = $max; - let range = max - min; - <$type>::arbitrary($gen).rem_euclid(range + 1) + min - }}; -} - -impl Arbitrary for Date { - fn arbitrary(g: &mut Gen) -> Self { - // Safety: The Julian day number is in range. - unsafe { - Self::from_julian_day_unchecked(arbitrary_between!( - i32; - g, - Self::MIN.to_julian_day(), - Self::MAX.to_julian_day() - )) - } - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - Box::new( - self.to_ordinal_date() - .shrink() - .flat_map(|(year, ordinal)| Self::from_ordinal_date(year, ordinal)), - ) - } -} - -impl Arbitrary for Duration { - fn arbitrary(g: &mut Gen) -> Self { - Self::new_ranged(<_>::arbitrary(g), <_>::arbitrary(g)) - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - Box::new( - (self.subsec_nanoseconds_ranged(), self.whole_seconds()) - .shrink() - .map(|(mut nanoseconds, seconds)| { - // Coerce the sign if necessary. - if (seconds > 0 && nanoseconds.get() < 0) - || (seconds < 0 && nanoseconds.get() > 0) - { - nanoseconds = nanoseconds.neg(); - } - - Self::new_ranged_unchecked(seconds, nanoseconds) - }), - ) - } -} - -impl Arbitrary for Time { - fn arbitrary(g: &mut Gen) -> Self { - Self::from_hms_nanos_ranged( - <_>::arbitrary(g), - <_>::arbitrary(g), - <_>::arbitrary(g), - <_>::arbitrary(g), - ) - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - Box::new( - self.as_hms_nano_ranged() - .shrink() - .map(|(hour, minute, second, nanosecond)| { - Self::from_hms_nanos_ranged(hour, minute, second, nanosecond) - }), - ) - } -} - -impl Arbitrary for PrimitiveDateTime { - fn arbitrary(g: &mut Gen) -> Self { - Self::new(<_>::arbitrary(g), <_>::arbitrary(g)) - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - Box::new( - (self.date(), self.time()) - .shrink() - .map(|(date, time)| Self::new(date, time)), - ) - } -} - -impl Arbitrary for UtcOffset { - fn arbitrary(g: &mut Gen) -> Self { - Self::from_hms_ranged(<_>::arbitrary(g), <_>::arbitrary(g), <_>::arbitrary(g)) - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - Box::new( - self.as_hms_ranged() - .shrink() - .map(|(hours, minutes, seconds)| Self::from_hms_ranged(hours, minutes, seconds)), - ) - } -} - -impl Arbitrary for OffsetDateTime { - fn arbitrary(g: &mut Gen) -> Self { - Self::new_in_offset(<_>::arbitrary(g), <_>::arbitrary(g), <_>::arbitrary(g)) - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - Box::new( - (self.date(), self.time(), self.offset()) - .shrink() - .map(|(date, time, offset)| Self::new_in_offset(date, time, offset)), - ) - } -} - -impl Arbitrary for UtcDateTime { - fn arbitrary(g: &mut Gen) -> Self { - Self::new(<_>::arbitrary(g), <_>::arbitrary(g)) - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - Box::new( - (self.date(), self.time()) - .shrink() - .map(|(date, time)| Self::new(date, time)), - ) - } -} - -impl Arbitrary for Weekday { - fn arbitrary(g: &mut Gen) -> Self { - use Weekday::*; - match arbitrary_between!(u8; g, 0, 6) { - 0 => Monday, - 1 => Tuesday, - 2 => Wednesday, - 3 => Thursday, - 4 => Friday, - 5 => Saturday, - val => { - debug_assert!(val == 6); - Sunday - } - } - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - match self { - Self::Monday => empty_shrinker(), - _ => single_shrinker(self.previous()), - } - } -} - -impl Arbitrary for Month { - fn arbitrary(g: &mut Gen) -> Self { - use Month::*; - match arbitrary_between!(u8; g, 1, 12) { - 1 => January, - 2 => February, - 3 => March, - 4 => April, - 5 => May, - 6 => June, - 7 => July, - 8 => August, - 9 => September, - 10 => October, - 11 => November, - val => { - debug_assert!(val == 12); - December - } - } - } - - fn shrink(&self) -> Box<dyn Iterator<Item = Self>> { - match self { - Self::January => empty_shrinker(), - _ => single_shrinker(self.previous()), - } - } -} |
