Enum arithmetic_typing::arith::Num

pub enum Num {
    Num,
    Bool,
}

Primitive types for the numeric arithmetic: Numeric type and Boolean.

Variants

Num

Numeric type (e.g., 1).

Bool

Boolean value (true or false).

Trait Implementations

impl Clone for Num

fn clone(&self) -> Num

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Num

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

Formats the value using the given formatter.

impl Display for Num

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

Formats the value using the given formatter.

impl FromStr for Num

type Err = Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl LinearType for Num

Numbers are linear, Boolean values are not.

fn is_linear(&self) -> bool

Returns true iff this type is linear.

impl PartialEq for Num

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

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

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

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

impl PrimitiveType for Num

fn well_known_constraints() -> ConstraintSet<Self>

Returns well-known constraints for this type. These constraints are used in standalone parsing of type signatures.

impl TypeArithmetic<Num> for NumArithmetic

fn process_unary_op( &self, substitutions: &mut Substitutions<Num>, context: &UnaryOpContext<Num>, errors: OpErrors<'_, Num>, ) -> Type<Num>

Handles a unary operation.

fn process_binary_op( &self, substitutions: &mut Substitutions<Num>, context: &BinaryOpContext<Num>, errors: OpErrors<'_, Num>, ) -> Type<Num>

Handles a binary operation.

impl WithBoolean for Num

const BOOL: Self = Self::Bool

Boolean type.

impl Copy for Num

impl Eq for Num

impl StructuralPartialEq for Num