summaryrefslogtreecommitdiff
path: root/vendor/educe/src/common/where_predicates_bool.rs
diff options
context:
space:
mode:
authormo khan <mo@mokhan.ca>2025-07-15 16:37:08 -0600
committermo khan <mo@mokhan.ca>2025-07-17 16:30:22 -0600
commit45df4d0d9b577fecee798d672695fe24ff57fb1b (patch)
tree1b99bf645035b58e0d6db08c7a83521f41f7a75b /vendor/educe/src/common/where_predicates_bool.rs
parentf94f79608393d4ab127db63cc41668445ef6b243 (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/educe/src/common/where_predicates_bool.rs')
-rw-r--r--vendor/educe/src/common/where_predicates_bool.rs122
1 files changed, 0 insertions, 122 deletions
diff --git a/vendor/educe/src/common/where_predicates_bool.rs b/vendor/educe/src/common/where_predicates_bool.rs
deleted file mode 100644
index 4aa3695c..00000000
--- a/vendor/educe/src/common/where_predicates_bool.rs
+++ /dev/null
@@ -1,122 +0,0 @@
-use quote::{quote, ToTokens};
-use syn::{
- parse::{Parse, ParseStream},
- punctuated::Punctuated,
- spanned::Spanned,
- token::Comma,
- Expr, GenericParam, Lit, Meta, MetaNameValue, Path, Token, Type, WherePredicate,
-};
-
-use super::path::path_to_string;
-
-pub(crate) type WherePredicates = Punctuated<WherePredicate, Token![,]>;
-
-pub(crate) enum WherePredicatesOrBool {
- WherePredicates(WherePredicates),
- Bool(bool),
- All,
-}
-
-impl WherePredicatesOrBool {
- fn from_lit(lit: &Lit) -> syn::Result<Self> {
- Ok(match lit {
- Lit::Bool(lit) => Self::Bool(lit.value),
- Lit::Str(lit) => match lit.parse_with(WherePredicates::parse_terminated) {
- Ok(where_predicates) => Self::WherePredicates(where_predicates),
- Err(_) if lit.value().is_empty() => Self::Bool(false),
- Err(error) => return Err(error),
- },
- other => {
- return Err(syn::Error::new(
- other.span(),
- "unexpected kind of literal (only boolean or string allowed)",
- ))
- },
- })
- }
-}
-
-impl Parse for WherePredicatesOrBool {
- #[inline]
- fn parse(input: ParseStream) -> syn::Result<Self> {
- if let Ok(lit) = input.parse::<Lit>() {
- return Self::from_lit(&lit);
- }
-
- if let Ok(_star) = input.parse::<Token![*]>() {
- return Ok(Self::All);
- }
-
- Ok(Self::WherePredicates(input.parse_terminated(WherePredicate::parse, Token![,])?))
- }
-}
-
-#[inline]
-pub(crate) fn meta_name_value_2_where_predicates_bool(
- name_value: &MetaNameValue,
-) -> syn::Result<WherePredicatesOrBool> {
- if let Expr::Lit(lit) = &name_value.value {
- return WherePredicatesOrBool::from_lit(&lit.lit);
- }
-
- Err(syn::Error::new(
- name_value.value.span(),
- format!(
- "expected `{path} = \"where_predicates\"` or `{path} = false`",
- path = path_to_string(&name_value.path)
- ),
- ))
-}
-
-#[inline]
-pub(crate) fn meta_2_where_predicates(meta: &Meta) -> syn::Result<WherePredicatesOrBool> {
- match &meta {
- Meta::NameValue(name_value) => meta_name_value_2_where_predicates_bool(name_value),
- Meta::List(list) => list.parse_args::<WherePredicatesOrBool>(),
- Meta::Path(path) => Err(syn::Error::new(
- path.span(),
- format!(
- "expected `{path} = \"where_predicates\"`, `{path}(where_predicates)`, `{path} = \
- false`, or `{path}(false)`",
- path = path.clone().into_token_stream()
- ),
- )),
- }
-}
-
-#[inline]
-pub(crate) fn create_where_predicates_from_all_generic_parameters(
- params: &Punctuated<GenericParam, Comma>,
- bound_trait: &Path,
-) -> WherePredicates {
- let mut where_predicates = Punctuated::new();
-
- for param in params {
- if let GenericParam::Type(ty) = param {
- let ident = &ty.ident;
-
- where_predicates.push(syn::parse2(quote! { #ident: #bound_trait }).unwrap());
- }
- }
-
- where_predicates
-}
-
-#[inline]
-pub(crate) fn create_where_predicates_from_generic_parameters_check_types(
- bound_trait: &Path,
- types: &[&Type],
- supertraits: &[proc_macro2::TokenStream],
-) -> WherePredicates {
- let mut where_predicates = Punctuated::new();
-
- for t in types {
- where_predicates.push(syn::parse2(quote! { #t: #bound_trait }).unwrap());
- }
-
- for supertrait in supertraits {
- where_predicates.push(syn::parse2(quote! { Self: #supertrait }).unwrap());
- }
-
- where_predicates
-}