raku - Perl6中的多种可能的输出类型

我想制作一个返回Range或由多个any Junction组成的Ranges的函数。

例如：

sub foo (Range $a, Range $b) {
  if $a.min <= $b.max && $b.min <= $a.max {
    ($a.min < $b.min ?? $a.min !! $b.min)..($a.max < $b.max ?? $a.max !! $b.max)
  } else {
    ($a|$b)
  }
}

是否有一种简单的方法可以将类型约束添加到子项以表示它可以返回Range或Junction？

我想到过的包括


在where子句中进行检查的Multi sub。
子集Any。
总是返回一个结点并只使用one（）（但我想保留Ranges的可能）


但是，如果有人可以想到一种更简单的方法。

最佳答案

只需创建一个容纳两个结果的subset，然后将其当作类型使用即可。

请注意，由于Junction不是Any的子类型，因此必须将其标记为Mu。
（Junction特别不能成为Any并按其方式工作）

my subset Range-or-Junction of Mu where Range|Junction;

proto sub foo ( Range, Range --> Range-or-Junction ) {*}

multi sub foo (Range $a,Range $b where $a.min ~~ $b || $a.max ~~ $b --> Range){
  # note that this is wrong as it doesn't takes into consideration
  # :excludes-min or :excludes-max
  min($a.min,$b.min) .. max($a.max,$b.max)
}
multi sub foo (Range $a,Range $b --> Junction){
  $a | $b
}