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

TOBYINK / Type-Tiny-2.007_004 / t / 20-modules / Types-TypeTiny / basic.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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106

              
=pod
=encoding utf-8
=head1 PURPOSE
Test the L<Types::TypeTiny> bootstrap library. (That is, type constraints
used by Type::Tiny internally.)
=head1 AUTHOR
Toby Inkster E<lt>tobyink@cpan.orgE<gt>.
=head1 COPYRIGHT AND LICENCE
This software is copyright (c) 2014, 2017-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 lib qw( ./lib ./t/lib ../inc ./inc );
use Test::More;
use Test::TypeTiny -all;
use Types::TypeTiny -all;
my $stringy = do {
        package Overloaded::String;
        use overload q[""] => sub { "Hello world" }, fallback => 1;
        bless {};
};
my $hashy = do {
        package Overloaded::HashRef;
        use overload q[%{}] => sub { +{} }, fallback => 1;
        bless [];
};
my $arrayey = do {
        package Overloaded::ArrayRef;
        use overload q[@{}] => sub { [] }, fallback => 1;
        bless {};
};
my $codey = do {
        package Overloaded::CodeRef;
        use overload q[&{}] => sub { sub { 42 } }, fallback => 1;
        bless [];
};
subtest "StringLike" => sub
{
        my $type = StringLike;
        should_pass( "Hello", $type );
        should_pass( "", $type );
        should_pass( CodeLike, $type, 'Type::Tiny constraint object passes type constraint StringLike' );
        should_pass( $stringy, $type );
        should_fail( {}, $type );
        should_fail( undef, $type );
};
subtest "ArrayLike" => sub
{
        my $type = ArrayLike;
        should_pass( [], $type );
        should_pass( $arrayey, $type );
        should_fail( {}, $type );
        should_fail( bless([], 'XXX'), $type );
        should_fail( undef, $type );
};
subtest "HashLike" => sub
{
        my $type = HashLike;
        should_pass( {}, $type );
        should_pass( $hashy, $type );
        should_fail( [], $type );
        should_fail( bless({}, 'XXX'), $type );
        should_fail( undef, $type );
};
subtest "CodeLike" => sub
{
        my $type = CodeLike;
        should_pass( sub { 42 }, $type );
        should_pass( CodeLike, $type, 'Type::Tiny constraint object passes type constraint CodeLike' );
        should_pass( $codey, $type );
        should_fail( {}, $type );
        should_fail( bless(sub {42}, 'XXX'), $type );
        should_fail( undef, $type );
};
subtest "TypeTiny" => sub
{
        my $type = TypeTiny;
        should_pass( ArrayLike, $type, 'Type::Tiny constraint object passes type constraint TypeTiny' );
        should_fail( {}, $type );
        should_fail( sub { 42 }, $type );
        should_fail( undef, $type );
};
done_testing;