Struct arithmetic_typing::FnWithConstraints

pub struct FnWithConstraints<Prim: PrimitiveType> { /* private fields */ }

Function together with constraints on type variables contained either in the function itself or any of the child functions.

Constructed via Function::with_constraints().

Implementations

impl<Prim: PrimitiveType> FnWithConstraints<Prim>

pub fn with_constraint<C>(self, indexes: &[usize], constraint: &C) -> Self

where C: Constraint<Prim> + Clone,

Marks type params with the specified indexes to have constraints. If some constraints are already present for some of the types, they are overwritten.

pub fn with_static_lengths(self, indexes: &[usize]) -> Self

Marks lengths with the specified indexes as static.

Trait Implementations

impl<Prim: Debug + PrimitiveType> Debug for FnWithConstraints<Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> Display for FnWithConstraints<Prim>

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

Formats the value using the given formatter.

impl<Prim: PrimitiveType> From<FnWithConstraints<Prim>> for Function<Prim>

fn from(value: FnWithConstraints<Prim>) -> Self

Converts to this type from the input type.

impl<Prim: PrimitiveType> From<FnWithConstraints<Prim>> for Type<Prim>

fn from(value: FnWithConstraints<Prim>) -> Self

Converts to this type from the input type.