Trait arithmetic_typing::arith::LinearType[−][src]

pub trait LinearType: PrimitiveType {
    fn is_linear(&self) -> bool;
}

Expand description

Primitive type which supports a notion of linearity. Linear types are types that can be used in arithmetic ops.

Required methods

`fn is_linear(&self) -> bool`[src]

Returns true iff this type is linear.

Implementors

`impl LinearType for Num`[src]

Numbers are linear, Boolean values are not.

`fn is_linear(&self) -> bool`[src]