Trait MakeEvents

pub trait MakeEvents {
    const DERIVER_NAME: ();

    // Required methods
    fn get_salt_phrase() -> &'static LazyParam;
    fn get_hash_prefix() -> &'static LazyParam;
    fn events(&self) -> &[Event];
    fn empty_hash() -> Fp;
}

https://github.com/MinaProtocol/mina/blob/3fe924c80a4d01f418b69f27398f5f93eb652514/src/lib/mina_base/zkapp_account.ml#L23

Required Associated Constants

const DERIVER_NAME: ()

Required Methods

fn get_salt_phrase() -> &'static LazyParam

fn get_hash_prefix() -> &'static LazyParam

fn events(&self) -> &[Event]

fn empty_hash() -> 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

impl MakeEvents for Actions

https://github.com/MinaProtocol/mina/blob/3fe924c80a4d01f418b69f27398f5f93eb652514/src/lib/mina_base/zkapp_account.ml#L156

const DERIVER_NAME: () = ()

impl MakeEvents for Events

https://github.com/MinaProtocol/mina/blob/3fe924c80a4d01f418b69f27398f5f93eb652514/src/lib/mina_base/zkapp_account.ml#L100

const DERIVER_NAME: () = ()