Enum kimchi::circuits::gate::CircuitGateError

pub enum CircuitGateError {
    InvalidConstraint(GateType),
    Constraint(GateType, usize),
    WireColumn(GateType, usize),
    CopyConstraint {
        typ: GateType,
        src: Wire,
        dst: Wire,
    },
    InvalidLookupConstraint(GateType),
    FailedToGetWitnessForRow(GateType, usize),
}

Gate error

Variants

InvalidConstraint(GateType)

Invalid constraint

Constraint(GateType, usize)

Invalid constraint with number

WireColumn(GateType, usize)

Invalid wire column

CopyConstraint

Fields

typ: GateType

src: Wire

dst: Wire

Disconnected wires

InvalidLookupConstraint(GateType)

Invalid lookup

FailedToGetWitnessForRow(GateType, usize)

Failed to get witness for row

Trait Implementations

impl Clone for CircuitGateError

fn clone(&self) -> CircuitGateError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CircuitGateError

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

Formats the value using the given formatter.

impl Display for CircuitGateError

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

Formats the value using the given formatter.

impl Error for CircuitGateError

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

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

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

fn provide<'a>(&'a self, demand: &mut Demand<'a>)

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

Provides type based access to context intended for error reports.

impl PartialEq<CircuitGateError> for CircuitGateError

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for CircuitGateError

impl Eq for CircuitGateError

impl StructuralEq for CircuitGateError

impl StructuralPartialEq for CircuitGateError