Thanks choroba, I was not aware of this module. Looks like it could be useful, but in this case I am not producing or deserializing JSON, just wanting to validate a subroutine's args.

The way forward always starts with a minimal test.

Not exactly sure what you want to accomplish but "any of" sounds like a union:

use Types::Standard qw( ArrayRef HashRef ScalarRef );

my ( @thing1, %thing2, $thing3 );

my $union = ArrayRef | HashRef;

$union->check( \@thing1 );   # true
$union->check( \%thing1 );   # true
$union->check( \$thing1 );   # false

( ArrayRef | HashRef | ScalarRef )->check( \$thing1 );   # true
[download]

Thanks Toby. It probably can't be accomplished with a type. With a JSON Schema you can say about an object (Dict) that it must contain one of a list of (named) keys each with their own type. You could require either a phone number or an email address, for example. So something like:

my $check = compile(Dict[
    foo   => Str,
    oneOf => [
        baz => Int,
        qux => Str,
    ],
]);
[download]



The way forward always starts with a minimal test.

Something like this:

my $type = Dict->of(
  foo => Str,
  baz => Optional[Int],
  qux => Optional[Str],
)->where(q{ exists $_->{baz} or exists $_->{qux} });

if ( $type->check( \%somehash ) ) {
  say "matched";
}
[download]

Also, might be worth looking into JSON-Schema-AsType.

Hire me at Toby Ink Ltd or Join my OnlyFans