Struct SpecializationRequirements 

pub struct SpecializationRequirements { /* private fields */ }

Aggregate specialization requirements for all inputs.

Examples

use tenferro_runtime::SpecializationRequirements;

assert_eq!(SpecializationRequirements::polymorphic(2).inputs().len(), 2);

Implementations

impl SpecializationRequirements

pub fn new(inputs: impl Into<Vec<InputSpecializationRequirements>>) -> Self

Build aggregate requirements from validated input requirements.

Examples

use tenferro_runtime::{InputSpecializationRequirements, SpecializationRequirements};

let input = InputSpecializationRequirements::builder().build()?;
assert_eq!(SpecializationRequirements::new(vec![input]).inputs().len(), 1);

pub fn polymorphic(input_count: usize) -> Self

Build fully polymorphic requirements for input_count inputs.

Examples

use tenferro_runtime::SpecializationRequirements;

assert_eq!(SpecializationRequirements::polymorphic(3).inputs().len(), 3);

pub fn inputs(&self) -> &[InputSpecializationRequirements]

Return per-input requirements.

Examples

use tenferro_runtime::SpecializationRequirements;

assert!(SpecializationRequirements::polymorphic(0).inputs().is_empty());

pub fn project( &self, signature: &InputSignature, ) -> Result<SpecializationProjection, PrepareError>

Project a concrete input signature through these requirements.

Examples

use tenferro_runtime::{InputSignature, SpecializationRequirements};

let projection = SpecializationRequirements::polymorphic(0)
    .project(&InputSignature::new(Vec::new()))
    ?;
assert!(projection.inputs().is_empty());

Errors

Returns PrepareError::Specialization when the signature arity does not match, a concrete axis is outside the actual rank, or a required alignment class is unavailable.

pub fn strictly_widens(&self, other: &Self) -> bool

Return whether self is strictly wider than other.

Examples

use tenferro_runtime::{InputSpecializationRequirements, SpecializationRequirements};

let polymorphic = SpecializationRequirements::new(vec![
    InputSpecializationRequirements::builder().build()?,
]);
let mut builder = InputSpecializationRequirements::builder();
builder.dtype(true);
let dtype = SpecializationRequirements::new(vec![builder.build()?]);
assert!(polymorphic.strictly_widens(&dtype));

Trait Implementations

impl Clone for SpecializationRequirements

fn clone(&self) -> SpecializationRequirements

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpecializationRequirements

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

Formats the value using the given formatter.

impl Eq for SpecializationRequirements

impl Hash for SpecializationRequirements

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SpecializationRequirements

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SpecializationRequirements