Struct cop::app::App

pub struct App<H, A>(_, _);

Application of argument(s) to a head.

Implementations

impl<H, A> App<H, A>

pub fn new(head: H, args: A) -> Self

pub fn head(&self) -> &H

pub fn args(&self) -> &A

pub fn map_args<B>(self, f: impl FnOnce(A) -> B) -> App<H, B>

impl<P, C, V: Ord> App<P, Args<Term<C, V>>>

pub fn max_var(&self) -> Option<&V>

Trait Implementations

impl<H: Clone, A: Clone> Clone for App<H, A>

fn clone(&self) -> App<H, A>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<H: Debug, A: Debug> Debug for App<H, A>

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

Formats the value using the given formatter.

impl<H: Display, A: Display> Display for App<H, A>

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

Formats the value using the given formatter.

impl<H: Eq, A: Eq> Eq for App<H, A>

impl<H: Neg<Output = H>, A> Neg for App<H, A>

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<H: PartialEq, A: PartialEq> PartialEq<App<H, A>> for App<H, A>

fn eq(&self, other: &App<H, A>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &App<H, A>) -> bool

This method tests for !=.

impl<H, A> StructuralEq for App<H, A>

impl<H, A> StructuralPartialEq for App<H, A>