Struct espr::ir::Bound

pub struct Bound {}

Trait Implementations

impl Clone for Bound

fn clone(&self) -> Bound

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Bound

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

Formats the value using the given formatter.

impl Hash for Bound

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, 

Feeds a slice of this type into the given Hasher.

impl Legalize for Bound

type Input = Bound

AST portion

fn legalize(
    _ns: &Namespace<'_>,
    _ss: &Constraints,
    _scope: &Scope,
    _input: &Self::Input
) -> Result<Self, SemanticError>

impl PartialEq<Bound> for Bound

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for Bound

impl StructuralEq for Bound

impl StructuralPartialEq for Bound