Trait midenc_hir::StackElement

source ·
pub trait StackElement: Clone {
    type Debug: Debug;

    const DEFAULT: Self;

    // Required method
    fn debug(&self) -> Self::Debug;
}
Expand description

This trait is used to represent expected behavior/properties of elements that can be used in conjunction with the Stack trait.

Required Associated Types§

Required Associated Constants§

source

const DEFAULT: Self

A value of this type which represents the “zero” value for the type

Required Methods§

source

fn debug(&self) -> Self::Debug

Format this stack element for display

Object Safety§

This trait is not object safe.

Implementors§

source§

impl StackElement for Type

§

type Debug = Type

source§

const DEFAULT: Self = Type::Felt

source§

impl StackElement for Felt

§

type Debug = u64

source§

const DEFAULT: Self = Felt::ZERO