Struct Is

pub struct Is;

TyLisp operator that compares two values for identity

Accepts two parameters that both implement LispId. Returns True if both ids are equal and False otherwise.

Warning: the current implementation of LispId only considers the base type, so Foo might compare equal to Foo. This behavior is subject to change in the future.

Trait Implementations

impl<Q> Calc<Q> for Is

where Self: Default,

type Result = Is

fn calc(_: Q) -> Self

impl Call for Is

type Conv = Func

Which calling convention is expected?

impl Debug for Is

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Is

fn default() -> Is

Returns the “default value” for a type.

impl Eval for Is

type Result = Is

impl<T> FunCalc<T> for Is

where Is: FunCall<T>, <Is as FunCall<T>>::Result: Default,

type Result = <Is as FunCall<T>>::Result

fn calc(self, _: T) -> Self::Result

impl<L, R> FunCall<HCons<L, HCons<R, HNil>>> for Is

where L: LispId, R: LispId, L::Id: IsEqual<R::Id>, <L::Id as IsEqual<R::Id>>::Output: Default,

type Result = <<L as LispId>::Id as IsEqual<<R as LispId>::Id>>::Output

impl LispId for Is

type Id = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B0>