Enum ConstantExprInner

pub enum ConstantExprInner<F, ChallengeTerm> {
    Challenge(ChallengeTerm),
    Constant(ConstantTerm<F>),
}

Variants

Challenge(ChallengeTerm)

Constant(ConstantTerm<F>)

Trait Implementations

impl<F: Clone, ChallengeTerm: Clone> Clone for ConstantExprInner<F, ChallengeTerm>

fn clone(&self) -> ConstantExprInner<F, ChallengeTerm>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, ChallengeTerm: Debug> Debug for ConstantExprInner<F, ChallengeTerm>

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

Formats the value using the given formatter.

impl<'a, F: PrimeField, ChallengeTerm> FormattedOutput for ConstantExprInner<F, ChallengeTerm>

where ChallengeTerm: AlphaChallengeTerm<'a>,

fn is_alpha(&self) -> bool

fn ocaml(&self, cache: &mut HashMap<CacheId, Self>) -> String

fn latex(&self, cache: &mut HashMap<CacheId, Self>) -> String

fn text(&self, cache: &mut HashMap<CacheId, Self>) -> String

impl<'a, F, ChallengeTerm: AlphaChallengeTerm<'a>> From<ChallengeTerm> for ConstantExprInner<F, ChallengeTerm>

fn from(x: ChallengeTerm) -> Self

Converts to this type from the input type.

impl<F, ChallengeTerm> From<ConstantTerm<F>> for ConstantExprInner<F, ChallengeTerm>

fn from(x: ConstantTerm<F>) -> Self

Converts to this type from the input type.

impl<'a, F: Clone, ChallengeTerm: AlphaChallengeTerm<'a>> Literal for ConstantExprInner<F, ChallengeTerm>

type F = F

fn literal(x: Self::F) -> Self

fn to_literal(self) -> Result<Self::F, Self>

fn to_literal_ref(&self) -> Option<&Self::F>

fn as_literal(&self, constants: &Constants<Self::F>) -> Self

Obtains the representation of some constants as a literal. This is useful before converting Kimchi expressions with constants to folding compatible expressions.

impl<F: PartialEq, ChallengeTerm: PartialEq> PartialEq for ConstantExprInner<F, ChallengeTerm>

fn eq(&self, other: &ConstantExprInner<F, ChallengeTerm>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<F, ChallengeTerm> StructuralPartialEq for ConstantExprInner<F, ChallengeTerm>