Struct tylisp::ops::list::Rev5

pub struct Rev5;

Trait Implementations

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

type Result = Self

fn calc(_: Q) -> Self

impl Call for Rev5

type Conv = Func

Which calling convention is expected?

impl Debug for Rev5

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

Formats the value using the given formatter.

impl Default for Rev5

fn default() -> Rev5

Returns the “default value” for a type.

impl Eval for Rev5

type Result = Self

impl<L: List> FunCalc<HCons<L, HNil>> for Rev5 where
    HCons<Rev5, HCons<Quote<L>, HCons<HNil, HNil>>>: Calc<HCons<(), HCons<L, HCons<HNil, HNil>>>>, 

type Result = <HCons<Rev5, 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 Rev5 where
    HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>>: Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<RevCont<Old>, HNil>>>>, HCons<New, HNil>>>, 

type Result = <HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>> as Calc<HCons<HCons<(), HCons<HCons<(), HCons<(), HNil>>, HCons<(), HCons<RevCont<Old>, HNil>>>>, HCons<New, HNil>>>>::Result

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

impl<L: List> FunCall<HCons<L, HNil>> for Rev5 where
    HCons<Rev5, HCons<Quote<L>, HCons<HNil, HNil>>>: Eval, 

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

impl<Old: List, New: List> FunCall<HCons<Old, HCons<New, HNil>>> for Rev5 where
    HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>>: Eval, 

type Result = <HCons<HCons<If, HCons<HCons<EmptyP, HCons<Quote<Old>, HNil>>, HCons<Ret, HCons<Quote<RevCont<Old>>, HNil>>>>, HCons<Quote<New>, HNil>> as Eval>::Result

impl LispId for Rev5

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