Enum erg_compiler::ty::TypePair
source · #[repr(u8)]pub enum TypePair {
Show 66 variants
IntInt = 1,
IntNat = 2,
IntFloat = 3,
IntStr = 4,
IntBool = 5,
IntArray = 6,
IntFunc = 7,
IntProc = 8,
NatInt = 9,
NatNat = 10,
NatFloat = 11,
NatStr = 12,
NatBool = 13,
NatArray = 14,
NatFunc = 15,
NatProc = 16,
FloatInt = 17,
FloatNat = 18,
FloatFloat = 19,
FloatStr = 20,
FloatBool = 21,
FloatArray = 22,
FloatFunc = 23,
FloatProc = 24,
BoolInt = 25,
BoolNat = 26,
BoolFloat = 27,
BoolStr = 28,
BoolBool = 29,
BoolArray = 30,
BoolFunc = 31,
BoolProc = 32,
StrInt = 33,
StrNat = 34,
StrFloat = 35,
StrBool = 36,
StrStr = 37,
StrArray = 38,
StrFunc = 39,
StrProc = 40,
ArrayInt = 41,
ArrayNat = 42,
ArrayFloat = 43,
ArrayStr = 44,
ArrayBool = 45,
ArrayArray = 46,
ArrayFunc = 47,
ArrayProc = 48,
FuncInt = 49,
FuncNat = 50,
FuncFloat = 51,
FuncStr = 52,
FuncBool = 53,
FuncArray = 54,
FuncFunc = 55,
FuncProc = 56,
ProcInt = 57,
ProcNat = 58,
ProcFloat = 59,
ProcStr = 60,
ProcBool = 61,
ProcArray = 62,
ProcFunc = 63,
ProcProc = 64,
Others = 65,
Illegals = 66,
}
Expand description
バイトコード命令で、in-place型付けをするオブジェクトペア とりあえずは必要性の高いペアから登録する 全ての式の型が確認されているので、戻り値の型は不要
Variants§
IntInt = 1
IntNat = 2
IntFloat = 3
IntStr = 4
IntBool = 5
IntArray = 6
IntFunc = 7
IntProc = 8
NatInt = 9
NatNat = 10
NatFloat = 11
NatStr = 12
NatBool = 13
NatArray = 14
NatFunc = 15
NatProc = 16
FloatInt = 17
FloatNat = 18
FloatFloat = 19
FloatStr = 20
FloatBool = 21
FloatArray = 22
FloatFunc = 23
FloatProc = 24
BoolInt = 25
BoolNat = 26
BoolFloat = 27
BoolStr = 28
BoolBool = 29
BoolArray = 30
BoolFunc = 31
BoolProc = 32
StrInt = 33
StrNat = 34
StrFloat = 35
StrBool = 36
StrStr = 37
StrArray = 38
StrFunc = 39
StrProc = 40
ArrayInt = 41
ArrayNat = 42
ArrayFloat = 43
ArrayStr = 44
ArrayBool = 45
ArrayArray = 46
ArrayFunc = 47
ArrayProc = 48
FuncInt = 49
FuncNat = 50
FuncFloat = 51
FuncStr = 52
FuncBool = 53
FuncArray = 54
FuncFunc = 55
FuncProc = 56
ProcInt = 57
ProcNat = 58
ProcFloat = 59
ProcStr = 60
ProcBool = 61
ProcArray = 62
ProcFunc = 63
ProcProc = 64
Others = 65
Illegals = 66
Implementations§
Trait Implementations§
source§impl PartialEq for TypePair
impl PartialEq for TypePair
impl Copy for TypePair
impl Eq for TypePair
impl StructuralEq for TypePair
impl StructuralPartialEq for TypePair
Auto Trait Implementations§
impl RefUnwindSafe for TypePair
impl Send for TypePair
impl Sync for TypePair
impl Unpin for TypePair
impl UnwindSafe for TypePair
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more