is Str
The Allomorph class is a common parent class for Raku's dual value types: ComplexStr, IntStr, NumStr, RatStr.
The dual value types (often referred to as allomorphs) allow for the representation of a value as both a string and a numeric type. Typically they will be created for you when the context is "stringy" but they can be determined to be numbers, such as in some quoting constructs:
my = <42+0i>; say .^name; # OUTPUT: «ComplexStr»my = <42>; say .^name; # OUTPUT: «IntStr»my = <42.1e0>; say .^name; # OUTPUT: «NumStr»my = <42.1>; say .^name; # OUTPUT: «RatStr»
As a subclass of both a Numeric class and Str, via the Allomorph class, an allomorph will be accepted where either is expected. However, an allomorph does not share object identity with its Numeric parent class- or Str-only variants:
my (, , , )= < 42+0i 42 42e10 42.1 >;my (Complex , Int , Num , Rat )= , , , ; # OK!my Str= , , , ; # OK!# ∈ operator cares about object identitysay 42+0i ∈ < 42+0i 42 42e10 42.1 >; # OUTPUT: «False»say 42 ∈ < 42+0i 42 42e10 42.1 >; # OUTPUT: «False»say 42e10 ∈ < 42+0i 42 42e10 42.1 >; # OUTPUT: «False»say 42.1 ∈ < 42+0i 42 42e10 42.1 >; # OUTPUT: «False»
Please see the Numerics page for a more complete description on how to work with these allomorphs.
Methods§
method ACCEPTS§
multi method ACCEPTS(Allomorph: Any \a)
If the a parameter is Numeric (including another allomorph), checks if invocant's Numeric value ACCEPTS a. If the a parameter is Str, checks if invocant's Str value ACCEPTS a. If the a parameter is anything else, checks if both Numeric and Str values of the invocant ACCEPTS a.
say "5.0" ~~ <5>; # OUTPUT: «False»say 5.0 ~~ <5>; # OUTPUT: «True»say <5.0> ~~ <5>; # OUTPUT: «True»
method Bool§
multi method Bool(::?CLASS:)
Returns False if the invocant is numerically 0, otherwise returns True. The Str value of the invocant is not considered.
Note: For the Allomorph subclass RatStr also see Rational.Bool.
method chomp§
method chomp(Allomorph:)
Calls Str.chomp on the invocant's Str value.
method chop§
method chop(Allomorph: |c)
Calls Str.chop on the invocant's Str value.
method comb§
method comb(Allomorph: |c)
Calls Str.comb on the invocant's Str value.
method fc§
method fc(Allomorph:)
Calls Str.fc on the invocant's Str value.
method flip§
method flip(Allomorph:)
Calls Str.flip on the invocant's Str value.
method lc§
method lc(Allomorph:)
Calls Str.lc on the invocant's Str value.
method pred§
method pred(Allomorph:)
Calls Numeric.pred on the invocant's numeric value.
method raku§
multi method raku(Allomorph:)
Return a representation of the object that can be used via EVAL to reconstruct the value of the object.
method samecase§
method samecase(Allomorph: |c)
Calls Str.samecase on the invocant's Str value.
method samemark§
method samemark(Allomorph: |c)
Calls Str.samemark on the invocant's Str value.
method split§
method split(Allomorph: |c)
Calls Str.split on the invocant's Str value.
method Str§
method Str(Allomorph:)
Returns the Str value of the invocant.
method subst§
method subst(Allomorph: |c)
Calls Str.subst on the invocant's Str value.
method subst-mutate§
method subst-mutate(Allomorph \SELF: |c)
Calls Str.subst-mutate on the invocant's Str value.
method substr§
method substr(Allomorph: |c)
Calls Str.substr on the invocant's Str value.
method substr-rw§
method substr-rw(Allomorph \SELF: = 0, = Whatever)
Calls Str.substr-rw on the invocant's Str value.
method succ§
method succ(Allomorph:)
Calls Numeric.succ on the invocant's numeric value.
method tc§
method tc(Allomorph:)
Calls Str.tc on the invocant's Str value.
method tclc§
method tclc(Allomorph:)
Calls Str.tclc on the invocant's Str value.
method trim§
method trim(Allomorph:)
Calls Str.trim on the invocant's Str value.
method trim-leading§
method trim-leading(Allomorph:)
Calls Str.trim-leading on the invocant's Str value.
method trim-trailing§
method trim-trailing(Allomorph:)
Calls Str.trim-trailing on the invocant's Str value.
method uc§
method uc(Allomorph:)
Calls Str.uc on the invocant's Str value.
method WHICH§
multi method WHICH(Allomorph:)
Returns an object of type ValueObjAt which uniquely identifies the object.
my = <42.1e0>;say .WHICH; # OUTPUT: «NumStr|Num|42.1|Str|42.1e0»
Operators§
infix cmp§
multi infix:<cmp>(Allomorph , Allomorph )
Compare two Allomorph objects. The comparison is done on the Numeric value first and then on the Str value. If you want to compare in a different order then you would coerce to a Numeric or Str value first:
my = IntStr.new(42, "smaller");my = IntStr.new(43, "larger");say cmp ; # OUTPUT: «Less»say .Str cmp .Str; # OUTPUT: «More»
infix eqv§
multi infix:<eqv>(Allomorph , Allomorph --> Bool)
Returns True if the two Allomorph $a and $b are of the same type, their Numeric values are equivalent and their Str values are also equivalent. Returns False otherwise.
Typegraph§
Allomorph