Struct NumericOp

struct NumericOp<'a> {
    name: &'a str,
    ret: &'a str,
    partial: bool,
    args: Rc<[(&'a str, &'a str)]>,
    body: &'a str,
    etors: bool,
}

Fields

name: &'a str

The name of this operation.

ret: &'a str

The return type of this operation.

partial: bool

Whether this operation is partial.

args: Rc<[(&'a str, &'a str)]>

(name, type) pairs of arguments.

body: &'a str

The source text for the constructor’s body.

etors: bool

Whether extractors should be generated for this op.

Must have arity == 1, ret == bool, and name.starts_with("is_").

Implementations

impl NumericOp<'_>

fn ops_for_type(ty: &NumericType) -> impl Iterator<Item = NumericOp<'_>>

Trait Implementations

impl<'a> Clone for NumericOp<'a>

fn clone(&self) -> NumericOp<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Default for NumericOp<'a>

fn default() -> NumericOp<'a>

Returns the “default value” for a type.

impl<'a> PartialEq for NumericOp<'a>

fn eq(&self, other: &NumericOp<'a>) -> bool

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

const 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<'a> Eq for NumericOp<'a>

impl<'a> StructuralPartialEq for NumericOp<'a>