Enum erg_compiler::ty::TypePair

#[repr(u8)]
pub enum TypePair {
    IntInt,
    IntNat,
    IntFloat,
    IntStr,
    IntBool,
    IntArray,
    IntFunc,
    IntProc,
    NatInt,
    NatNat,
    NatFloat,
    NatStr,
    NatBool,
    NatArray,
    NatFunc,
    NatProc,
    FloatInt,
    FloatNat,
    FloatFloat,
    FloatStr,
    FloatBool,
    FloatArray,
    FloatFunc,
    FloatProc,
    BoolInt,
    BoolNat,
    BoolFloat,
    BoolStr,
    BoolBool,
    BoolArray,
    BoolFunc,
    BoolProc,
    StrInt,
    StrNat,
    StrFloat,
    StrBool,
    StrStr,
    StrArray,
    StrFunc,
    StrProc,
    ArrayInt,
    ArrayNat,
    ArrayFloat,
    ArrayStr,
    ArrayBool,
    ArrayArray,
    ArrayFunc,
    ArrayProc,
    FuncInt,
    FuncNat,
    FuncFloat,
    FuncStr,
    FuncBool,
    FuncArray,
    FuncFunc,
    FuncProc,
    ProcInt,
    ProcNat,
    ProcFloat,
    ProcStr,
    ProcBool,
    ProcArray,
    ProcFunc,
    ProcProc,
    Others,
    Illegals,
}

バイトコード命令で、in-place型付けをするオブジェクトペア とりあえずは必要性の高いペアから登録する 全ての式の型が確認されているので、戻り値の型は不要

Variants

IntInt

IntNat

IntFloat

IntStr

IntBool

IntArray

IntFunc

IntProc

NatInt

NatNat

NatFloat

NatStr

NatBool

NatArray

NatFunc

NatProc

FloatInt

FloatNat

FloatFloat

FloatStr

FloatBool

FloatArray

FloatFunc

FloatProc

BoolInt

BoolNat

BoolFloat

BoolStr

BoolBool

BoolArray

BoolFunc

BoolProc

StrInt

StrNat

StrFloat

StrBool

StrStr

StrArray

StrFunc

StrProc

ArrayInt

ArrayNat

ArrayFloat

ArrayStr

ArrayBool

ArrayArray

ArrayFunc

ArrayProc

FuncInt

FuncNat

FuncFloat

FuncStr

FuncBool

FuncArray

FuncFunc

FuncProc

ProcInt

ProcNat

ProcFloat

ProcStr

ProcBool

ProcArray

ProcFunc

ProcProc

Others

Illegals

Implementations

impl TypePair

pub fn new(lhs: &Type, rhs: &Type) -> Self

Trait Implementations

impl Clone for TypePair

fn clone(&self) -> TypePair

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypePair

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

Formats the value using the given formatter.

impl From<u8> for TypePair

fn from(code: u8) -> Self

Converts to this type from the input type.

impl Hash for TypePair

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 PartialEq<TypePair> for TypePair

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

impl Eq for TypePair

impl StructuralEq for TypePair

impl StructuralPartialEq for TypePair