1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
=pod
=encoding utf-8
=head1 PURPOSE
More checks between Type::Tiny and L<MooseX::Types>.
This started out as an example of making a parameterized C<< Not[] >>
type constraint, but worked out as a nice test case.
=head1 DEPENDENCIES
MooseX::Types 0.35; skipped otherwise.
=head1 AUTHOR
Toby Inkster E<lt>tobyink@cpan.orgE<gt>.
=head1 COPYRIGHT AND LICENCE
This software is copyright (c) 2013-2014, 2017-2023 by Toby Inkster.
This is free software; you can redistribute it and/or modify it under
the same terms as the Perl 5 programming language system itself.
=cut
use strict;
use warnings;
use Test::More;
use Test::Requires { "MooseX::Types::Moose" => "0.35" };
use Test::TypeTiny;
BEGIN {
package MooseX::Types::Not;
use Type::Library -base;
use Types::TypeTiny;
__PACKAGE__->add_type({
name => "Not",
constraint => sub { !!0 },
inlined => sub { "!!0" },
constraint_generator => sub { Types::TypeTiny::to_TypeTiny(shift)->complementary_type },
});
$INC{"MooseX/Types/Not.pm"} = __FILE__;
};
use MooseX::Types::Not qw(Not);
use MooseX::Types::Moose qw(Int);
isa_ok($_, "Moose::Meta::TypeConstraint", "$_") for Not, Int, Not[Int], Not[Not[Int]];
should_fail(1.1, Int);
should_fail(undef, Int);
should_fail([], Int);
should_pass(2, Int);
should_pass(1.1, Not[Int]);
should_pass(undef, Not[Int]);
should_pass([], Not[Int]);
should_fail(2, Not[Int]);
should_fail(1.1, Not[Not[Int]]);
should_fail(undef, Not[Not[Int]]);
should_fail([], Not[Not[Int]]);
should_pass(2, Not[Not[Int]]);
# 'Not' alone behaves as 'Not[Any]'
should_fail(1.1, Not);
should_fail(undef, Not);
should_fail([], Not);
should_fail(2, Not);
done_testing;
|
