Trait ValueType 

pub trait ValueType:
    Sized
    + Clone
    + PartialEq
    + Debug {
    type NegateOutput: ValueType;

    const TYPE: Type;

    // Provided methods
    fn equals(_a: Self, _b: Self) -> Result<bool, OperatorError> { ... }
    fn less_than(_a: Self, _b: Self) -> Result<bool, OperatorError> { ... }
    fn less_than_or_equal(a: Self, b: Self) -> Result<bool, OperatorError> { ... }
    fn not_equals(a: Self, b: Self) -> Result<bool, OperatorError> { ... }
    fn bitwise_or(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn bitwise_xor(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn bitwise_and(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn shift_left(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn shift_right(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn add(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn subtract(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn multiply(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn divide(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn modulo(_a: Self, _b: Self) -> Result<Self, OperatorError> { ... }
    fn not(_a: Self) -> Result<Self, OperatorError> { ... }
    fn negate(_a: Self) -> Result<Self::NegateOutput, OperatorError> { ... }
}

A Rust type that is used as the storage for a Somni type.

Required Associated Constants

const TYPE: Type

The Somni type this Rust type is used for.

Required Associated Types

type NegateOutput: ValueType

The type of the result of the unary - operator.

Provided Methods

fn equals(_a: Self, _b: Self) -> Result<bool, OperatorError>

Implements the == operator.

fn less_than(_a: Self, _b: Self) -> Result<bool, OperatorError>

Implements the < operator.

fn less_than_or_equal(a: Self, b: Self) -> Result<bool, OperatorError>

Implements the <= operator.

fn not_equals(a: Self, b: Self) -> Result<bool, OperatorError>

Implements the != operator.

fn bitwise_or(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the | operator.

fn bitwise_xor(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the ^ operator.

fn bitwise_and(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the & operator.

fn shift_left(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the << operator.

fn shift_right(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the >> operator.

fn add(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the + operator.

fn subtract(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the binary - operator.

fn multiply(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the binary * operator.

fn divide(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the binary / operator.

fn modulo(_a: Self, _b: Self) -> Result<Self, OperatorError>

Implements the binary % operator.

fn not(_a: Self) -> Result<Self, OperatorError>

Implements the unary ! operator.

fn negate(_a: Self) -> Result<Self::NegateOutput, OperatorError>

Implements the unary - operator.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl ValueType for &str

const TYPE: Type = Type::String

type NegateOutput = &str

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

impl ValueType for ()

const TYPE: Type = Type::Void

type NegateOutput = ()

impl ValueType for Box<str>

const TYPE: Type = Type::String

type NegateOutput = Box<str>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

impl ValueType for String

const TYPE: Type = Type::String

type NegateOutput = String

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

impl ValueType for bool

const TYPE: Type = Type::Bool

type NegateOutput = bool

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn bitwise_and(a: Self, b: Self) -> Result<bool, OperatorError>

fn bitwise_or(a: Self, b: Self) -> Result<bool, OperatorError>

fn bitwise_xor(a: Self, b: Self) -> Result<bool, OperatorError>

fn not(a: Self) -> Result<bool, OperatorError>

impl ValueType for f32

const TYPE: Type = Type::Float

type NegateOutput = f32

fn less_than(a: Self, b: Self) -> Result<bool, OperatorError>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn add(a: Self, b: Self) -> Result<Self, OperatorError>

fn subtract(a: Self, b: Self) -> Result<Self, OperatorError>

fn multiply(a: Self, b: Self) -> Result<Self, OperatorError>

fn divide(a: Self, b: Self) -> Result<Self, OperatorError>

fn modulo(a: Self, b: Self) -> Result<Self, OperatorError>

fn negate(a: Self) -> Result<Self::NegateOutput, OperatorError>

impl ValueType for f64

const TYPE: Type = Type::Float

type NegateOutput = f64

fn less_than(a: Self, b: Self) -> Result<bool, OperatorError>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn add(a: Self, b: Self) -> Result<Self, OperatorError>

fn subtract(a: Self, b: Self) -> Result<Self, OperatorError>

fn multiply(a: Self, b: Self) -> Result<Self, OperatorError>

fn divide(a: Self, b: Self) -> Result<Self, OperatorError>

fn modulo(a: Self, b: Self) -> Result<Self, OperatorError>

fn negate(a: Self) -> Result<Self::NegateOutput, OperatorError>

impl ValueType for i32

const TYPE: Type = Type::SignedInt

type NegateOutput = i32

fn less_than(a: Self, b: Self) -> Result<bool, OperatorError>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn add(a: Self, b: Self) -> Result<Self, OperatorError>

fn subtract(a: Self, b: Self) -> Result<Self, OperatorError>

fn multiply(a: Self, b: Self) -> Result<Self, OperatorError>

fn divide(a: Self, b: Self) -> Result<Self, OperatorError>

fn modulo(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_or(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_xor(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_and(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_left(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_right(a: Self, b: Self) -> Result<Self, OperatorError>

fn not(a: Self) -> Result<Self, OperatorError>

fn negate(a: Self) -> Result<Self::NegateOutput, OperatorError>

impl ValueType for i64

const TYPE: Type = Type::SignedInt

type NegateOutput = i64

fn less_than(a: Self, b: Self) -> Result<bool, OperatorError>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn add(a: Self, b: Self) -> Result<Self, OperatorError>

fn subtract(a: Self, b: Self) -> Result<Self, OperatorError>

fn multiply(a: Self, b: Self) -> Result<Self, OperatorError>

fn divide(a: Self, b: Self) -> Result<Self, OperatorError>

fn modulo(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_or(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_xor(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_and(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_left(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_right(a: Self, b: Self) -> Result<Self, OperatorError>

fn not(a: Self) -> Result<Self, OperatorError>

fn negate(a: Self) -> Result<Self::NegateOutput, OperatorError>

impl ValueType for i128

const TYPE: Type = Type::SignedInt

type NegateOutput = i128

fn less_than(a: Self, b: Self) -> Result<bool, OperatorError>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn add(a: Self, b: Self) -> Result<Self, OperatorError>

fn subtract(a: Self, b: Self) -> Result<Self, OperatorError>

fn multiply(a: Self, b: Self) -> Result<Self, OperatorError>

fn divide(a: Self, b: Self) -> Result<Self, OperatorError>

fn modulo(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_or(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_xor(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_and(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_left(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_right(a: Self, b: Self) -> Result<Self, OperatorError>

fn not(a: Self) -> Result<Self, OperatorError>

fn negate(a: Self) -> Result<Self::NegateOutput, OperatorError>

impl ValueType for u32

const TYPE: Type = Type::Int

type NegateOutput = i32

fn less_than(a: Self, b: Self) -> Result<bool, OperatorError>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn add(a: Self, b: Self) -> Result<Self, OperatorError>

fn subtract(a: Self, b: Self) -> Result<Self, OperatorError>

fn multiply(a: Self, b: Self) -> Result<Self, OperatorError>

fn divide(a: Self, b: Self) -> Result<Self, OperatorError>

fn modulo(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_or(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_xor(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_and(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_left(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_right(a: Self, b: Self) -> Result<Self, OperatorError>

fn not(a: Self) -> Result<Self, OperatorError>

fn negate(a: Self) -> Result<Self::NegateOutput, OperatorError>

impl ValueType for u64

const TYPE: Type = Type::Int

type NegateOutput = i64

fn less_than(a: Self, b: Self) -> Result<bool, OperatorError>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn add(a: Self, b: Self) -> Result<Self, OperatorError>

fn subtract(a: Self, b: Self) -> Result<Self, OperatorError>

fn multiply(a: Self, b: Self) -> Result<Self, OperatorError>

fn divide(a: Self, b: Self) -> Result<Self, OperatorError>

fn modulo(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_or(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_xor(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_and(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_left(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_right(a: Self, b: Self) -> Result<Self, OperatorError>

fn not(a: Self) -> Result<Self, OperatorError>

fn negate(a: Self) -> Result<Self::NegateOutput, OperatorError>

impl ValueType for u128

const TYPE: Type = Type::Int

type NegateOutput = i128

fn less_than(a: Self, b: Self) -> Result<bool, OperatorError>

fn equals(a: Self, b: Self) -> Result<bool, OperatorError>

fn add(a: Self, b: Self) -> Result<Self, OperatorError>

fn subtract(a: Self, b: Self) -> Result<Self, OperatorError>

fn multiply(a: Self, b: Self) -> Result<Self, OperatorError>

fn divide(a: Self, b: Self) -> Result<Self, OperatorError>

fn modulo(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_or(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_xor(a: Self, b: Self) -> Result<Self, OperatorError>

fn bitwise_and(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_left(a: Self, b: Self) -> Result<Self, OperatorError>

fn shift_right(a: Self, b: Self) -> Result<Self, OperatorError>

fn not(a: Self) -> Result<Self, OperatorError>

fn negate(a: Self) -> Result<Self::NegateOutput, OperatorError>

Implementors