Struct nar::syntax::abs::ast::AppView

pub struct AppView {
    pub fun: Abs,
    pub args: Vec<Abs>,
}

Application's internal view. Agda.

Fields

fun: Abs

args: Vec<Abs>

Methods

impl AppView

pub fn new(fun: Abs, args: Vec<Abs>) -> Self

pub fn into_abs(self) -> Abs

Trait Implementations

impl Clone for AppView

fn clone(&self) -> AppView

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AppView

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

Formats the value using the given formatter.

impl Eq for AppView

impl PartialEq<AppView> for AppView

fn eq(&self, other: &AppView) -> bool

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

fn ne(&self, other: &AppView) -> bool

This method tests for !=.

impl StructuralEq for AppView

impl StructuralPartialEq for AppView