Struct Ty 

pub struct Ty {
    pub held: Held,
    pub dual: bool,
    pub width: u8,
    pub codomain: Codomain,
    pub rate: Option<u32>,
}

dual: the closed form on the other axis is in A too. Never set on samples or frames.

Fields

held: Held

dual: bool

width: u8

codomain: Codomain

rate: Option<u32>

Implementations

impl Ty

pub const fn form(var: Var, dual: bool, codomain: Codomain) -> Ty

pub const fn discrete(held: Held, codomain: Codomain) -> Ty

pub fn is_closed_form(self) -> bool

pub fn has_dual(self) -> bool

pub fn read_on(self, var: Var) -> Ty

One value written two ways, so an expression on var reads a dual there.

pub fn meet(self, other: Ty) -> Result<Ty, Mismatch>

One axis, a dual only where both have one, the wider width, Complex if either is.

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Ty

impl Debug for Ty

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

Formats the value using the given formatter.

impl Eq for Ty

impl PartialEq for Ty

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Ty