提问者:小点点

Perl6中多种可能的输出类型


我想创建一个函数,返回一个Range或一个任何由多个Ranges组成的Junction

例如:

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)  
  }
}

是否有一种简单的方法可以将Type约束添加到sub以表示它可以返回RangeJunction

我以为我已经有了

  • 在where子句中进行检查的多子节点。
  • 子集任何
  • 总是返回一个连接,只使用一个()(但是我想保留可能的范围)

但是如果有人能想到更简单的方法。


共1个答案

匿名用户

只需创建一个包含两个结果的子集,并将其用作类型。

请注意,由于Junction不是任何的子类型,因此您必须将其标记为Mu。
(Junction不能是任何并且以它的方式工作)

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
}