Trait ActionsInterface

Source
pub trait ActionsInterface {
    type W: WitnessGenerator<Fp>;
    type Bool: BoolInterface;

    // Required methods
    fn is_empty(actions: &Actions, w: &mut Self::W) -> Self::Bool;
    fn push_events(event: Fp, actions: &Actions, w: &mut Self::W) -> Fp;
}

Required Associated Types§

Required Methods§

Source

fn is_empty(actions: &Actions, w: &mut Self::W) -> Self::Bool

Source

fn push_events(event: Fp, actions: &Actions, w: &mut Self::W) -> Fp

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§