Trait 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

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.

Implementors

impl FormattedOutput for Column

impl<'a, ChallengeTerm> FormattedOutput for ChallengeTerm

where 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>