Struct DhallFunction 

pub struct DhallFunction {
    pub label: String,
    pub annotation: DhallType,
    pub body: Box<DhallExpr>,
}

A Dhall function (lambda): \(label : annotation) -> body

Fields

label: String

Parameter label

annotation: DhallType

Parameter type annotation

body: Box<DhallExpr>

Function body

Implementations

impl DhallFunction

pub fn new( label: impl Into<String>, annotation: DhallType, body: DhallExpr, ) -> Self

Create a new function.

Trait Implementations

impl Clone for DhallFunction

fn clone(&self) -> DhallFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DhallFunction

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

Formats the value using the given formatter.

impl PartialEq for DhallFunction

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for DhallFunction