Trait AddLogic 

pub trait AddLogic<Rhs = Self> {
    type Output;

    // Required method
    fn add_logic(self, other: Rhs) -> Self::Output;
}

Trait for addition (+) in logic code.

Required Associated Types

type Output

Required Methods

fn add_logic(self, other: Rhs) -> Self::Output

logic

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl AddLogic for i8

fn add_logic(self, other: Self) -> Self

logic

type Output = i8

impl AddLogic for i16

fn add_logic(self, other: Self) -> Self

logic

type Output = i16

impl AddLogic for i32

fn add_logic(self, other: Self) -> Self

logic

type Output = i32

impl AddLogic for i64

fn add_logic(self, other: Self) -> Self

logic

type Output = i64

impl AddLogic for i128

fn add_logic(self, other: Self) -> Self

logic

type Output = i128

impl AddLogic for isize

fn add_logic(self, other: Self) -> Self

logic

type Output = isize

impl AddLogic for u8

fn add_logic(self, other: Self) -> Self

logic

type Output = u8

impl AddLogic for u16

fn add_logic(self, other: Self) -> Self

logic

type Output = u16

impl AddLogic for u32

fn add_logic(self, other: Self) -> Self

logic

type Output = u32

impl AddLogic for u64

fn add_logic(self, other: Self) -> Self

logic

type Output = u64

impl AddLogic for u128

fn add_logic(self, other: Self) -> Self

logic

type Output = u128

impl AddLogic for usize

fn add_logic(self, other: Self) -> Self

logic

type Output = usize

Implementors

impl AddLogic for Int

type Output = Int

impl AddLogic for Nat

type Output = Nat

impl AddLogic for Positive

type Output = Positive

impl AddLogic for PositiveReal

type Output = PositiveReal

impl AddLogic for Real

type Output = Real