Struct Value 

pub struct Value {
    pub actual: MaybeNotInferred<ValueShape>,
    pub ty: Type,
}

Fields

actual: MaybeNotInferred<ValueShape>

ty: Type

Implementations

impl Value

pub fn new_not_inferred() -> Self

pub fn new_not_inferred_of_ty(ty: Type) -> Self

impl Value

pub fn expect_type(self) -> Result<Type>

Get this value AS a type

pub fn expect_inferred(&self) -> Result<ValueShape>

impl Value

pub fn inferred(&self) -> Option<ValueShape>

pub fn ty(&self) -> Type

Get the type OF this value

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl Display for Value

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

Formats the value using the given formatter.

impl From<ValueShape> for Value

fn from(value: ValueShape) -> Self

Converts to this type from the input type.

impl Inferrable for Value

fn make_same(a: Self, b: Self) -> Result<Self>

impl PartialEq for Value

fn eq(&self, other: &Value) -> 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 TryHash for Value

type Error = Box<dyn Error + Sync + Send>

fn try_hash(&self, hasher: &mut impl Hasher) -> Result<(), Self::Error>

impl Eq for Value

impl StructuralPartialEq for Value