Struct ConstrainedTy

pub struct ConstrainedTy {
    pub matching_source: Fragment,
    pub base_ty: Box<Type>,
    pub constraining_items: Vec<Path>,
}

Available on crate feature ast-models only.

A type with a given set of constraints.

Constraints in wright are functions that the compiler can verify are strictly pure (which is informally defined here, and a point of further work eventually).

A constrained type declaration lists a base type and then one or more “strictly pure” functions that have a signature exactly matching T -> bool (where T is the constrained type).

An example of this could be

pure func is_even(i: u8) -> bool {
    i % 2 == 0
}

type EvenU8 = u8 constrain is_even;

The wright compiler can then optimize agressively around these constraints later on (I hope).

Fields

matching_source: Fragment

The entire type signature from the beginning of the base type to the end of the last constraining item.

base_ty: Box<Type>

The type being constrained.

constraining_items: Vec<Path>

The functions constraining it.

Trait Implementations

impl Debug for ConstrainedTy

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

Formats the value using the given formatter.