Struct Not

pub struct Not;

Trait Implementations

impl<Q> Calc<Q> for Not

where Self: Default,

type Result = Not

fn calc(_: Q) -> Self

impl Call for Not

type Conv = Func

Which calling convention is expected?

impl Debug for Not

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

Formats the value using the given formatter.

impl Default for Not

fn default() -> Not

Returns the “default value” for a type.

impl Eval for Not

type Result = Not

impl FunCalc<HCons<B0, HNil>> for Not

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

type Result = <HCons<Ret, HCons<Quote<B1>, HNil>> as Calc<HCons<(), HCons<B1, HNil>>>>::Result

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

impl FunCalc<HCons<B1, HNil>> for Not

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

type Result = <HCons<Ret, HCons<Quote<B0>, HNil>> as Calc<HCons<(), HCons<B0, HNil>>>>::Result

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

impl FunCall<HCons<B0, HNil>> for Not

where HCons<Ret, HCons<Quote<True>, HNil>>: Eval,

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

impl FunCall<HCons<B1, HNil>> for Not

where HCons<Ret, HCons<Quote<False>, HNil>>: Eval,

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

impl LispId for Not

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