Enum erg_compiler::ty::value::ValueObj

pub enum ValueObj {
    Int(i32),
    Nat(u64),
    Float(f64),
    Str(Str),
    Bool(bool),
    Array(Rc<[ValueObj]>),
    Set(Set<ValueObj>),
    Dict(Dict<ValueObj, ValueObj>),
    Tuple(Rc<[ValueObj]>),
    Record(Dict<Field, ValueObj>),
    DataClass {
        name: Str,
        fields: Dict<Field, ValueObj>,
    },
    Code(Box<CodeObj>),
    Subr(ConstSubr),
    Type(TypeObj),
    None,
    Ellipsis,
    NotImplemented,
    NegInf,
    Inf,
    Mut(Shared<ValueObj>),
    Illegal,
}

値オブジェクト コンパイル時評価ができ、シリアライズも可能

Variants

Int(i32)

Nat(u64)

Float(f64)

Str(Str)

Bool(bool)

Array(Rc<[ValueObj]>)

Set(Set<ValueObj>)

Dict(Dict<ValueObj, ValueObj>)

Tuple(Rc<[ValueObj]>)

Record(Dict<Field, ValueObj>)

DataClass

Fields

name: Str

fields: Dict<Field, ValueObj>

Code(Box<CodeObj>)

Subr(ConstSubr)

Type(TypeObj)

None

Ellipsis

NotImplemented

NegInf

Inf

Mut(Shared<ValueObj>)

Illegal

Implementations

impl ValueObj

pub fn builtin_t(t: Type) -> Self

pub fn gen_t(
    kind: TypeKind,
    t: Type,
    require_or_sup: TypeObj,
    impls: Option<TypeObj>,
    additional: Option<TypeObj>
) -> Self

pub fn is_num(&self) -> bool

pub fn is_nat(&self) -> bool

pub fn is_bool(&self) -> bool

pub const fn is_type(&self) -> bool

pub const fn is_mut(&self) -> bool

pub fn from_str(t: Type, content: Str) -> Option<Self>

pub fn into_bytes(self) -> Vec<u8>

pub fn class(&self) -> Type

pub fn try_cmp(&self, other: &Self) -> Option<Ordering>

pub fn try_add(self, other: Self) -> Option<Self>

pub fn try_sub(self, other: Self) -> Option<Self>

pub fn try_mul(self, other: Self) -> Option<Self>

pub fn try_div(self, other: Self) -> Option<Self>

pub fn try_floordiv(self, other: Self) -> Option<Self>

pub fn try_gt(self, other: Self) -> Option<Self>

pub fn try_ge(self, other: Self) -> Option<Self>

pub fn try_lt(self, other: Self) -> Option<Self>

pub fn try_le(self, other: Self) -> Option<Self>

pub fn try_eq(self, other: Self) -> Option<Self>

pub fn try_ne(self, other: Self) -> Option<Self>

pub fn try_get_attr(&self, attr: &Field) -> Option<Self>

pub fn as_type(&self) -> Option<TypeObj>

Trait Implementations

impl Clone for ValueObj

fn clone(&self) -> ValueObj

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValueObj

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

Formats the value using the given formatter.

impl Default for ValueObj

fn default() -> ValueObj

Returns the “default value” for a type.

impl Display for ValueObj

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

Formats the value using the given formatter.

impl From<&str> for ValueObj

fn from(item: &str) -> Self

Converts to this type from the input type.

impl<const N: usize, V: Into<ValueObj>> From<[V; N]> for ValueObj

fn from(item: [V; N]) -> Self

Converts to this type from the input type.

impl From<CodeObj> for ValueObj

fn from(item: CodeObj) -> Self

Converts to this type from the input type.

impl From<Str> for ValueObj

fn from(item: Str) -> Self

Converts to this type from the input type.

impl<V: Into<ValueObj>> From<Vec<V, Global>> for ValueObj

fn from(item: Vec<V>) -> Self

Converts to this type from the input type.

impl From<bool> for ValueObj

fn from(item: bool) -> Self

Converts to this type from the input type.

impl From<f64> for ValueObj

fn from(item: f64) -> Self

Converts to this type from the input type.

impl From<i32> for ValueObj

fn from(item: i32) -> Self

Converts to this type from the input type.

impl From<u64> for ValueObj

fn from(item: u64) -> Self

Converts to this type from the input type.

impl From<usize> for ValueObj

fn from(item: usize) -> Self

Converts to this type from the input type.

impl HasType for ValueObj

fn t(&self) -> Type

その要素だけの集合型を返す、クラスが欲しい場合は.classで

fn ref_t(&self) -> &Type

fn ref_mut_t(&mut self) -> &mut Type

fn signature_t(&self) -> Option<&Type>

fn signature_mut_t(&mut self) -> Option<&mut Type>

fn inner_ts(&self) -> Vec<Type>

fn lhs_t(&self) -> &Type

fn rhs_t(&self) -> &Type

impl Hash for ValueObj

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 Neg for ValueObj

type Output = ValueObj

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl PartialEq<ValueObj> for ValueObj

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

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

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

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

impl<'a> TryFrom<&'a ValueObj> for &'a Type

type Error = ()

The type returned in the event of a conversion error.

fn try_from(val: &'a ValueObj) -> Result<Self, ()>

Performs the conversion.

impl TryFrom<&ValueObj> for f64

type Error = ()

The type returned in the event of a conversion error.

fn try_from(val: &ValueObj) -> Result<f64, Self::Error>

Performs the conversion.

impl TryFrom<TyParam> for ValueObj

type Error = ()

The type returned in the event of a conversion error.

fn try_from(tp: TyParam) -> Result<Self, ()>

Performs the conversion.

impl TryFrom<ValueObj> for Type

type Error = ()

The type returned in the event of a conversion error.

fn try_from(val: ValueObj) -> Result<Type, ()>

Performs the conversion.

impl Eq for ValueObj

impl StructuralPartialEq for ValueObj