Open
Description
Currently, only the safe
(NEP 50) casting rules are implemented (as _numtype
type-aliases). For the sake of completeness, the same-kind
should also have similar type-aliases.
casting = 'safe'
b1 -> b1 u1 u2 u4 u8 i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
u1 -> u1 u2 u4 u8 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
u2 -> u2 u4 u8 i4 i8 m8 f4 f8 c8 c16 S U T V O
u4 -> u4 u8 i8 m8 f8 c16 S U T V O
u8 -> u8 f8 c16 S U T V O
i1 -> i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
i2 -> i2 i4 i8 m8 f4 f8 c8 c16 S U T V O
i4 -> i4 i8 m8 f8 c16 S U T V O
i8 -> i8 m8 f8 c16 S U T V O
m8 -> m8 T V O
f2 -> f2 f4 f8 c8 c16 S U T V O
f4 -> f4 f8 c8 c16 S U T V O
f8 -> f8 c16 S U T V O
c8 -> c8 c16 S U T V O
c16 -> c16 S U T V O
S -> S U V O
U -> U V O
T -> T O
V -> V O
O -> O
M8 -> T V O M8
casting = 'same_kind'
b1 -> b1 u1 u2 u4 u8 i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
u1 -> u1 u2 u4 u8 i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
u2 -> u1 u2 u4 u8 i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
u4 -> u1 u2 u4 u8 i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
u8 -> u1 u2 u4 u8 i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
i1 -> i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
i2 -> i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
i4 -> i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
i8 -> i1 i2 i4 i8 m8 f2 f4 f8 c8 c16 S U T V O
m8 -> m8 T V O
f2 -> f2 f4 f8 c8 c16 S U T V O
f4 -> f2 f4 f8 c8 c16 S U T V O
f8 -> f2 f4 f8 c8 c16 S U T V O
c8 -> c8 c16 S U T V O
c16 -> c8 c16 S U T V O
S -> S U T V O
U -> U T V O
T -> b1 S U T V O
V -> T V O
O -> O
M8 -> T V O M8