Struct Rev4 

pub struct Rev4;

Trait Implementations

impl<Q> Calc<Q> for Rev4

where Self: Default,

type Result = Rev4

fn calc(_: Q) -> Self

impl Call for Rev4

type Conv = Func

Which calling convention is expected?

impl Debug for Rev4

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

Formats the value using the given formatter.

impl Default for Rev4

fn default() -> Rev4

Returns the “default value” for a type.

impl Eval for Rev4

type Result = Rev4

impl<L: List> FunCalc<HCons<L, HNil>> for Rev4

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

type Result = <HCons<Rev4, HCons<Quote<L>, HCons<HNil, HNil>>> as Calc<HCons<(), HCons<L, HCons<HNil, HNil>>>>>::Result

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

impl<Old: List, New: List> FunCalc<HCons<Old, HCons<New, HNil>>> for Rev4

where HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<Old::Tail>, HCons<HCons<Cons, HCons<Quote<Old::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>>: Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<New>, HNil>>, HCons<HCons<(), HCons<Old::Tail, HCons<HCons<(), HCons<Old::Head, HCons<HCons<(), HCons<Rc<New>, HNil>>, HNil>>>, HNil>>>, HNil>>>>>,

type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<<Old as List>::Tail>, HCons<HCons<Cons, HCons<Quote<<Old as List>::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>> as Calc<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<HCons<(), HCons<Rc<New>, HNil>>, HCons<HCons<(), HCons<<Old as List>::Tail, HCons<HCons<(), HCons<<Old as List>::Head, HCons<HCons<(), HCons<Rc<New>, HNil>>, HNil>>>, HNil>>>, HNil>>>>>>::Result

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

impl<L: List> FunCall<HCons<L, HNil>> for Rev4

where HCons<Rev4, HCons<Quote<L>, HCons<HNil, HNil>>>: Eval,

type Result = <HCons<Rev4, HCons<Quote<L>, HCons<HNil, HNil>>> as Eval>::Result

impl<Old: List, New: List> FunCall<HCons<Old, HCons<New, HNil>>> for Rev4

where HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<Old::Tail>, HCons<HCons<Cons, HCons<Quote<Old::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>>: Eval,

type Result = <HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HCons<HCons<Rev4, HCons<Quote<<Old as List>::Tail>, HCons<HCons<Cons, HCons<Quote<<Old as List>::Head>, HCons<HCons<UnwrapRc, HCons<Quote<Rc<New>>, HNil>>, HNil>>>, HNil>>>, HNil>>>> as Eval>::Result

impl LispId for Rev4

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