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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
=pod
=encoding utf-8
=head1 PURPOSE
An example of parameterized types from L<Type::Tiny::Manual::Libraries>.
The example uses L<Type::Tiny>, L<Type::Library>, and L<Type::Coercion>,
and makes use of inlining and parameterization, so is a good canary to
check everything is working.
=head1 AUTHOR
Toby Inkster E<lt>tobyink@cpan.orgE<gt>.
=head1 COPYRIGHT AND LICENCE
This software is copyright (c) 2019-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::TypeTiny;
use Test::More;
BEGIN {
package My::Types;
use Type::Library -base;
use Type::Utils 'extends';
BEGIN { extends 'Types::Standard' };
__PACKAGE__->add_type(
name => 'MultipleOf',
parent => Int,
constraint_generator => sub {
my $i = assert_Int(shift);
return sub { $_ % $i == 0 };
},
inline_generator => sub {
my $i = shift;
return sub {
my $varname = pop;
return (undef, "($varname % $i == 0)");
};
},
coercion_generator => sub {
my $i = $_[2];
require Type::Coercion;
return Type::Coercion->new(
type_coercion_map => [
Num, qq{ int($i * int(\$_/$i)) }
],
);
},
);
__PACKAGE__->make_immutable;
$INC{'My/Types.pm'} = __FILE__;
};
use My::Types 'MultipleOf';
my $MultipleOfThree = MultipleOf->of(3);
should_pass(0, $MultipleOfThree);
should_fail(1, $MultipleOfThree);
should_fail(2, $MultipleOfThree);
should_pass(3, $MultipleOfThree);
should_fail(4, $MultipleOfThree);
should_fail(5, $MultipleOfThree);
should_pass(6, $MultipleOfThree);
should_fail(7, $MultipleOfThree);
should_fail(-1, $MultipleOfThree);
should_pass(-3, $MultipleOfThree);
should_fail(0.1, $MultipleOfThree);
should_fail([], $MultipleOfThree);
should_fail(undef, $MultipleOfThree);
subtest 'coercion' => sub {
is($MultipleOfThree->coerce(0), 0);
is($MultipleOfThree->coerce(1), 0);
is($MultipleOfThree->coerce(2), 0);
is($MultipleOfThree->coerce(3), 3);
is($MultipleOfThree->coerce(4), 3);
is($MultipleOfThree->coerce(5), 3);
is($MultipleOfThree->coerce(6), 6);
is($MultipleOfThree->coerce(7), 6);
is($MultipleOfThree->coerce(8), 6);
is($MultipleOfThree->coerce(8.9), 6);
};
#diag( $MultipleOfThree->inline_check('$VALUE') );
done_testing;
|
