Struct tylisp::ops::list::DifferP

pub struct DifferP;

Trait Implementations

impl<Q> Calc<Q> for DifferP where
    Self: Default, 

type Result = Self

fn calc(_: Q) -> Self

impl Call for DifferP

type Conv = Func

Which calling convention is expected?

impl Debug for DifferP

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

Formats the value using the given formatter.

impl Default for DifferP

fn default() -> DifferP

Returns the “default value” for a type.

impl Eval for DifferP

type Result = Self

impl<H, T: List> FunCall<HCons<HCons<H, T>, HCons<HNil, HNil>>> for DifferP where
    HCons<Ret, HCons<Quote<True>, HNil>>: Eval, 

type Result = <HCons<Ret, HCons<Quote<True>, HNil>> as Eval>::Result

impl<H1, T1: List, H2, T2: List> FunCall<HCons<HCons<H1, T1>, HCons<HCons<H2, T2>, HNil>>> for DifferP where
    HCons<If, HCons<HCons<Is, HCons<Quote<H1>, HCons<Quote<H2>, HNil>>>, HCons<HCons<DifferP, HCons<Quote<T1>, HCons<Quote<T2>, HNil>>>, HCons<Quote<True>, HNil>>>>: Eval, 

type Result = <HCons<If, HCons<HCons<Is, HCons<Quote<H1>, HCons<Quote<H2>, HNil>>>, HCons<HCons<DifferP, HCons<Quote<T1>, HCons<Quote<T2>, HNil>>>, HCons<Quote<True>, HNil>>>> as Eval>::Result

impl<H, T: List> FunCall<HCons<HNil, HCons<HCons<H, T>, HNil>>> for DifferP where
    HCons<Ret, HCons<Quote<True>, HNil>>: Eval, 

type Result = <HCons<Ret, HCons<Quote<True>, HNil>> as Eval>::Result

impl FunCall<HCons<HNil, HCons<HNil, HNil>>> for DifferP where
    HCons<Ret, HCons<Quote<False>, HNil>>: Eval, 

type Result = <HCons<Ret, HCons<Quote<False>, HNil>> as Eval>::Result

impl LispId for DifferP

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