The Perl and Raku Conference 2025: Greenville, South Carolina - June 27-29 Learn more

TOBYINK / Type-Tiny-2.007_004 / t / 20-modules / Type-Tiny-Union / constrainedobject.t 

            

              
—
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

              
=pod
=encoding utf-8
=head1 PURPOSE
Check C<stringifies_to>, C<numifies_to>, and C<with_attribute_values>
work for L<Type::Tiny::Union>.
=head1 AUTHOR
Toby Inkster E<lt>tobyink@cpan.orgE<gt>.
=head1 COPYRIGHT AND LICENCE
This software is copyright (c) 2019-2025 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::TypeTiny;
BEGIN {
        package Local::Class;
        use overload (
                q[""]    => sub { shift->as_string },
                q[0+]    => sub { shift->as_number },
                fallback => 1,
        );
        sub new {
                my $class = shift;
                my %args  = ref $_[0] ? %{$_[0]} : @_;
                bless \%args => $class;
        }
        sub AUTOLOAD {
                my $self = shift;
                our $AUTOLOAD;
                (my $method = $AUTOLOAD) =~ s/^.*:://;
                $self->{$method};
        }
        sub DOES {
                my $self = shift;
                my ($role) = @_;
                return 1 if $role eq 'Local::Role';
                $self->SUPER::DOES(@_);
        }
        sub can {
                my $self = shift;
                my ($method) = @_;
                my $r = $self->SUPER::can(@_);
                return $r if $r;
                if ($method !~ /^__/) {
                        return sub { shift->{$method} };
                }
                $r;
        }
        sub DESTROY { }
};
use Type::Tiny::Class;
use Type::Tiny::Duck;
use Type::Tiny::Role;
use Types::Standard -types;
my $class_type = Type::Tiny::Class->new(class => 'Local::Class');
my $role_type  = Type::Tiny::Role->new(role => 'Local::Role');
my $duck_type  = Type::Tiny::Duck->new(methods => [qw/foo bar baz quux/]);
my $intersect = $class_type | $role_type | $duck_type;
my $new = $intersect->with_attribute_values(foo => '%_<5');
my @new = @{ $new->type_constraints };
ok($new->[0] == $class_type->with_attribute_values(foo => '%_<5'));
ok($new->[1] == $role_type->with_attribute_values(foo => '%_<5'));
ok($new->[2] == $duck_type->with_attribute_values(foo => '%_<5'));
my $object = 'Local::Class'->new( as_string => 'OBJ', as_number => 1.2 );
ok   $intersect->stringifies_to(Enum['OBJ'])->check($object);
ok ! $intersect->stringifies_to(Enum['XXX'])->check($object);
ok   $intersect->numifies_to(Num)->check($object);
ok ! $intersect->numifies_to(Int)->check($object);
done_testing();