class NumStr is Allomorph is Num { }

NumStr is a dual value type, a subclass of both Allomorph, hence Str, and Num.

See Allomorph for further details.

my $num-str = <42.1e0>;
say $num-str.^name;         # OUTPUT: «NumStr␤» 
 
my Num $num = $num-str;     # OK! 
my Str $str = $num-str;     # OK! 
 
# ∈ operator cares about object identity 
say 42e10  <42e10  55  1># OUTPUT: «False␤» 

Methods§

method new§

method new(Num $iStr $s)

The constructor requires both the Num and the C<Str>|/type/Str value, when constructing one directly the values can be whatever is required:

my $f = NumStr.new(42.1e0"forty two and a bit");
say +$f# OUTPUT: «42.1␤» 
say ~$f# OUTPUT: «"forty two and a bit"␤»

method Num§

method Num

Returns the C<Num>|/type/Num value of the NumStr.

method Numeric§

multi method Numeric(NumStr:D: --> Num:D)
multi method Numeric(NumStr:U: --> Num:D)

The :D variant returns the numeric portion of the invocant. The :U variant issues a warning about using an uninitialized value in numeric context and then returns value 0e0.

method Real§

multi method Real(NumStr:D: --> Num:D)
multi method Real(NumStr:U: --> Num:D)

The :D variant returns the numeric portion of the invocant. The :U variant issues a warning about using an uninitialized value in numeric context and then returns value 0e0.

Operators§

infix ===§

multi infix:<===>(NumStr:D $aNumStr:D $b)

NumStr Value identity operator. Returns True if the Num values of $a and $b are identical and their Str values are also identical. Returns False otherwise.

Typegraph§

Type relations for NumStr
raku-type-graph NumStr NumStr Allomorph Allomorph NumStr->Allomorph Num Num NumStr->Num Mu Mu Any Any Any->Mu Cool Cool Cool->Any Stringy Stringy Str Str Str->Cool Str->Stringy Allomorph->Str Numeric Numeric Real Real Real->Numeric Num->Cool Num->Real

Expand chart above