Struct Add

pub struct Add;

Trait Implementations

impl<Q> Calc<Q> for Add

where Self: Default,

type Result = Add

fn calc(_: Q) -> Self

impl Call for Add

type Conv = Func

Which calling convention is expected?

impl Debug for Add

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

Formats the value using the given formatter.

impl Default for Add

fn default() -> Add

Returns the “default value” for a type.

impl Eval for Add

type Result = Add

impl<L: Add<R>, R> FunCalc<HCons<L, HCons<R, HNil>>> for Add

where HCons<Ret, HCons<Quote<L::Output>, HNil>>: Calc<HCons<(), HCons<L::Output, HNil>>>,

type Result = <HCons<Ret, HCons<Quote<<L as Add<R>>::Output>, HNil>> as Calc<HCons<(), HCons<<L as Add<R>>::Output, HNil>>>>::Result

fn calc(self, args: HCons<L, HCons<R, HNil>>) -> Self::Result

impl<L: Add<R>, R> FunCall<HCons<L, HCons<R, HNil>>> for Add

where HCons<Ret, HCons<Quote<L::Output>, HNil>>: Eval,

type Result = <HCons<Ret, HCons<Quote<<L as Add<R>>::Output>, HNil>> as Eval>::Result

impl LispId for Add

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>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, B1>