9 use Moose::Util::TypeConstraints;
12 subtype 'MyCollections' => as 'ArrayRef | HashRef';
13 }, undef, '... created the subtype special okay' );
16 my $t = find_type_constraint('MyCollections');
17 isa_ok($t, 'Moose::Meta::TypeConstraint');
19 is($t->name, 'MyCollections', '... name is correct');
22 isa_ok($p, 'Moose::Meta::TypeConstraint::Union');
23 isa_ok($p, 'Moose::Meta::TypeConstraint');
25 is($p->name, 'ArrayRef|HashRef', '... parent name is correct');
27 ok($t->check([]), '... validated it correctly');
28 ok($t->check({}), '... validated it correctly');
29 ok(!$t->check(1), '... validated it correctly');
33 subtype 'MyCollectionsExtended'
34 => as 'ArrayRef|HashRef'
36 if (ref($_) eq 'ARRAY') {
37 return if scalar(@$_) < 2;
39 elsif (ref($_) eq 'HASH') {
40 return if scalar(keys(%$_)) < 2;
44 }, undef, '... created the subtype special okay' );
47 my $t = find_type_constraint('MyCollectionsExtended');
48 isa_ok($t, 'Moose::Meta::TypeConstraint');
50 is($t->name, 'MyCollectionsExtended', '... name is correct');
53 isa_ok($p, 'Moose::Meta::TypeConstraint::Union');
54 isa_ok($p, 'Moose::Meta::TypeConstraint');
56 is($p->name, 'ArrayRef|HashRef', '... parent name is correct');
58 ok(!$t->check([]), '... validated it correctly');
59 ok($t->check([1, 2]), '... validated it correctly');
61 ok(!$t->check({}), '... validated it correctly');
62 ok($t->check({ one => 1, two => 2 }), '... validated it correctly');
64 ok(!$t->check(1), '... validated it correctly');
68 my $union = Moose::Util::TypeConstraints::find_or_create_type_constraint('Int|ArrayRef[Int]');
69 subtype 'UnionSub', as 'Int|ArrayRef[Int]';
71 my $subtype = find_type_constraint('UnionSub');
74 !$union->is_a_type_of('Ref'),
75 'Int|ArrayRef[Int] is not a type of Ref'
78 !$subtype->is_a_type_of('Ref'),
79 'subtype of Int|ArrayRef[Int] is not a type of Ref'
83 $union->is_a_type_of('Defined'),
84 'Int|ArrayRef[Int] is a type of Defined'
87 $subtype->is_a_type_of('Defined'),
88 'subtype of Int|ArrayRef[Int] is a type of Defined'
92 !$union->is_subtype_of('Ref'),
93 'Int|ArrayRef[Int] is not a subtype of Ref'
96 !$subtype->is_subtype_of('Ref'),
97 'subtype of Int|ArrayRef[Int] is not a subtype of Ref'
101 $union->is_subtype_of('Defined'),
102 'Int|ArrayRef[Int] is a subtype of Defined'
105 $subtype->is_subtype_of('Defined'),
106 'subtype of Int|ArrayRef[Int] is a subtype of Defined'