Struct ByNormalization

Source

pub struct ByNormalization;

Expand description

Justification: diagram equivalence established by runtime normalization.

This bridges the runtime Diagram::equivalent_to check with the karpal-proof type-level Justifies/Rewrite framework. Any two types A and B can serve as phantom markers — the real evidence comes from normalizing the two diagrams and checking they match.

ByNormalization

Struct ByNormalization Copy item path

Trait Implementations§

impl<A, B> Justifies<A, B> for ByNormalization

Auto Trait Implementations§

impl Freeze for ByNormalization

impl RefUnwindSafe for ByNormalization

impl Send for ByNormalization

impl Sync for ByNormalization

impl Unpin for ByNormalization

impl UnsafeUnpin for ByNormalization

impl UnwindSafe for ByNormalization

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct ByNormalization

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,