Struct SetInsert

pub struct SetInsert;

Trait Implementations

impl<Q> Calc<Q> for SetInsert

where Self: Default,

type Result = SetInsert

fn calc(_: Q) -> Self

impl Call for SetInsert

type Conv = Func

Which calling convention is expected?

impl Debug for SetInsert

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

Formats the value using the given formatter.

impl Default for SetInsert

fn default() -> SetInsert

Returns the “default value” for a type.

impl Eval for SetInsert

type Result = SetInsert

impl<X: LispId, L: List> FunCalc<HCons<X, HCons<L, HNil>>> for SetInsert

where HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>>: Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>>, HCons<Prepend<X>, HCons<(), HNil>>>>, HCons<L, HNil>>>,

type Result = <HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>> as Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HCons<HCons<(), HCons<(), HCons<(), HNil>>>, HNil>>>, HCons<Prepend<X>, HCons<(), HNil>>>>, HCons<L, HNil>>>>::Result

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

impl<X: LispId, L: List> FunCall<HCons<X, HCons<L, HNil>>> for SetInsert

where HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>>: Eval,

type Result = <HCons<HCons<If, HCons<HCons<Is, HCons<Missing, HCons<HCons<Find, HCons<Quote<X>, HCons<Quote<L>, HNil>>>, HNil>>>, HCons<Quote<Prepend<X>>, HCons<Ret, HNil>>>>, HCons<Quote<L>, HNil>> as Eval>::Result

impl LispId for SetInsert

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