Enum erg_compiler::ty::value::ValueObj

pub enum ValueObj {
    Int(i32),
    Nat(u64),
    Float(f64),
    Str(Str),
    Bool(bool),
    List(ArcArray<ValueObj>),
    UnsizedList(Box<ValueObj>),
    Set(Set<ValueObj>),
    Dict(Dict<ValueObj, ValueObj>),
    Tuple(ArcArray<ValueObj>),
    Record(Dict<Field, ValueObj>),
    DataClass {
        name: Str,
        fields: Dict<Field, ValueObj>,
    },
    Code(Box<CodeObj>),
    Subr(ConstSubr),
    Type(TypeObj),
    None,
    Ellipsis,
    NotImplemented,
    NegInf,
    Inf,
    Failure,
}

値オブジェクト コンパイル時評価ができ、シリアライズも可能(Typeなどはシリアライズ不可)

Variants

Int(i32)

Nat(u64)

Float(f64)

Str(Str)

Bool(bool)

List(ArcArray<ValueObj>)

UnsizedList(Box<ValueObj>)

Set(Set<ValueObj>)

Dict(Dict<ValueObj, ValueObj>)

Tuple(ArcArray<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

different from Float.Inf

Failure

Implementations

impl ValueObj

pub const fn builtin_class(t: Type) -> Self

pub const fn builtin_trait(t: Type) -> Self

pub fn builtin_type(t: Type) -> Self

pub const fn gen_t(gen: GenTypeObj) -> Self

pub fn range(start: Self, end: Self) -> Self

closed range (..)

pub fn tuple<V: Into<ValueObj>>(elems: Vec<V>) -> Self

pub const fn is_none(&self) -> bool

pub const fn is_num(&self) -> bool

pub const fn is_float(&self) -> bool

pub const fn is_int(&self) -> bool

pub const fn is_nat(&self) -> bool

pub const fn is_bool(&self) -> bool

pub const fn is_true(&self) -> bool

pub const fn is_false(&self) -> bool

pub const fn is_str(&self) -> bool

pub const fn is_type(&self) -> bool

pub const fn is_inited(&self) -> bool

pub fn is_complete(&self) -> bool

pub const fn is_container(&self) -> bool

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

pub fn into_bytes(self, python_ver: PythonVersion) -> Vec<u8>

pub fn from_const_expr(expr: ConstExpr) -> Self

pub fn tuple_from_const_args(args: ConstArgs) -> Self

pub fn vec_from_const_args(args: ConstArgs) -> Vec<Self>

pub fn class(&self) -> Type

pub fn as_int(&self) -> Option<i32>

pub fn as_float(&self) -> Option<f64>

pub fn as_str(&self) -> Option<&Str>

pub fn try_binary(self, other: Self, op: OpKind) -> Option<Self>

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_pow(self, other: Self) -> Option<Self>

pub fn try_mod(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_or(self, other: Self) -> Option<Self>

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

pub fn as_type(&self, ctx: &Context) -> Option<TypeObj>

Trait Implementations

impl Clone for ValueObj

fn clone(&self) -> ValueObj

Returns a copy of the value.

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 From<String> for ValueObj

fn from(item: String) -> Self

Converts to this type from the input type.

impl<V: Into<ValueObj>> From<Vec<V>> 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) -> Option<&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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl LimitedDisplay for ValueObj

fn limited_fmt<W: Write>(&self, f: &mut W, limit: isize) -> Result

If limit was set to a negative value, it will be displayed without abbreviation. FIXME:

fn to_string_unabbreviated(&self) -> String

impl Neg for ValueObj

type Output = ValueObj

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl PartialEq for ValueObj

fn eq(&self, other: &ValueObj) -> 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 !=. 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<&ValueObj> for usize

type Error = ()

The type returned in the event of a conversion error.

fn try_from(val: &ValueObj) -> Result<usize, 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 Eq for ValueObj

impl StructuralPartialEq for ValueObj