Enum biscuit_auth::error::Logic

pub enum Logic {
    InvalidAuthorityFact(String),
    InvalidAmbientFact(String),
    InvalidBlockFact(u32, String),
    InvalidBlockRule(u32, String),
    Unauthorized {
        policy: MatchedPolicy,
        checks: Vec<FailedCheck>,
    },
    AuthorizerNotEmpty,
    NoMatchingPolicy {
        checks: Vec<FailedCheck>,
    },
}

errors in the Datalog evaluation

Variants

InvalidAuthorityFact(String)

Tuple Fields

0: String

InvalidAmbientFact(String)

Tuple Fields

0: String

InvalidBlockFact(u32, String)

Tuple Fields

0: u32

1: String

InvalidBlockRule(u32, String)

Tuple Fields

0: u32

1: String

Unauthorized

Fields

policy: MatchedPolicy

the policy that matched

checks: Vec<FailedCheck>

list of checks that failed validation

AuthorizerNotEmpty

NoMatchingPolicy

Fields

checks: Vec<FailedCheck>

list of checks that failed validation

Trait Implementations

impl Clone for Logic

fn clone(&self) -> Logic

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Logic

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Logic

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for Logic

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

🔬 This is a nightly-only experimental API. (backtrace)

Returns a stack backtrace, if available, of where this error occurred.

fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

impl From<Logic> for Token

fn from(e: Logic) -> Self

Performs the conversion.

impl PartialEq<Logic> for Logic

fn eq(&self, other: &Logic) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Logic) -> bool

This method tests for !=.

impl StructuralPartialEq for Logic