Trait kimchi::circuits::expr::FormattedOutput

pub trait FormattedOutput: Sized {
    // Required methods
    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;
}

Required Methods

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

Implementors

impl FormattedOutput for Column

impl<'a, ChallengeTerm> FormattedOutput for ChallengeTermwhere ChallengeTerm: AlphaChallengeTerm<'a>,

impl<'a, F, Column: FormattedOutput + Debug + Clone, ChallengeTerm> FormattedOutput for Expr<ConstantExpr<F, ChallengeTerm>, Column>where F: PrimeField, ChallengeTerm: AlphaChallengeTerm<'a>,

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

impl<Column: FormattedOutput + Debug> FormattedOutput for Variable<Column>

impl<F: PrimeField> FormattedOutput for ConstantTerm<F>

impl<T: FormattedOutput + Clone> FormattedOutput for Operations<T>