pub trait BoolInterfacewhere
Self: Sized,{
type W: WitnessGenerator<Fp>;
type FailureStatusTable;
// Required methods
fn as_boolean(&self) -> Boolean;
fn of_boolean(b: Boolean) -> Self;
fn true_() -> Self;
fn false_() -> Self;
fn neg(&self) -> Self;
fn or(a: Self, b: Self, w: &mut Self::W) -> Self;
fn and(a: Self, b: Self, w: &mut Self::W) -> Self;
fn equal(a: Self, b: Self, w: &mut Self::W) -> Self;
fn all(bs: &[Self], w: &mut Self::W) -> Self;
fn assert_any(bs: &[Self], w: &mut Self::W) -> Result<(), String>;
fn assert_with_failure_status_tbl(
b: Self,
table: &Self::FailureStatusTable,
) -> Result<(), String>;
}Required Associated Types§
type W: WitnessGenerator<Fp>
type FailureStatusTable
Required Methods§
fn as_boolean(&self) -> Boolean
fn of_boolean(b: Boolean) -> Self
fn true_() -> Self
fn false_() -> Self
fn neg(&self) -> Self
fn or(a: Self, b: Self, w: &mut Self::W) -> Self
fn and(a: Self, b: Self, w: &mut Self::W) -> Self
fn equal(a: Self, b: Self, w: &mut Self::W) -> Self
fn all(bs: &[Self], w: &mut Self::W) -> Self
fn assert_any(bs: &[Self], w: &mut Self::W) -> Result<(), String>
fn assert_with_failure_status_tbl( b: Self, table: &Self::FailureStatusTable, ) -> Result<(), String>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.