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

TOBYINK / Type-Tiny-2.007_003 / t / 20-modules / Types-Standard / strmatch.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
107
108

              
=pod
=encoding utf-8
=head1 PURPOSE
Checks various values against C<StrMatch> from Types::Standard.
=head1 AUTHOR
Toby Inkster E<lt>tobyink@cpan.orgE<gt>.
=head1 COPYRIGHT AND LICENCE
This software is copyright (c) 2013-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( . ./t ../inc ./inc );
use Test::More;
use Test::TypeTiny;
use Test::Fatal;
use Types::Standard -all, "slurpy";
use Type::Utils;
my $e = exception { StrMatch[{}] };
like($e, qr/^First parameter to StrMatch\[\`a\] expected to be a Regexp/, 'error message 1');
$e = exception { StrMatch[qr/(.)/, []] };
like($e, qr/^Second parameter to StrMatch\[\`a\] expected to be a type constraint/, 'error message 2');
my $DistanceUnit = enum DistanceUnit => [qw/ mm cm m km /];
my $Distance = declare Distance => as StrMatch[
        qr{^([0-9]+)\s+(.+)$},
        Tuple[Int, $DistanceUnit],
];
should_pass("mm", $DistanceUnit);
should_pass("cm", $DistanceUnit);
should_pass("m", $DistanceUnit);
should_pass("km", $DistanceUnit);
should_fail("MM", $DistanceUnit);
should_fail("mm ", $DistanceUnit);
should_fail(" mm", $DistanceUnit);
should_fail("miles", $DistanceUnit);
should_pass("5 km", $Distance) or diag($Distance->inline_check('$XXX'));
should_pass("5 mm", $Distance);
should_fail("4 miles", $Distance);
should_fail("5.5 km", $Distance);
should_fail([qw/5 km/], $Distance);
my $Boolean = declare Boolean => as StrMatch[qr{^(?:true|false|0|1)$}ism];
should_pass("true", $Boolean);
should_pass("True", $Boolean);
should_pass("TRUE", $Boolean);
should_pass("false", $Boolean);
should_pass("False", $Boolean);
should_pass("FALSE", $Boolean);
should_pass("0", $Boolean);
should_pass("1", $Boolean);
should_fail("True ", $Boolean);
should_fail("11", $Boolean);
my $SecureUrl = declare SecureUrl => as StrMatch[qr{^https://}];
should_pass("https://www.google.com/", $SecureUrl);
should_fail("http://www.google.com/", $SecureUrl);
my $length_eq_3 = StrMatch[qr/\A...\z/];
should_fail('ab', $length_eq_3);
should_pass('abc', $length_eq_3);
should_fail('abcd', $length_eq_3);
#diag( $length_eq_3->inline_check('$x') );
my $length_ge_3 = StrMatch[qr/\A.../];
should_fail('ab', $length_ge_3);
should_pass('abc', $length_ge_3);
should_pass('abcd', $length_ge_3);
#diag( $length_ge_3->inline_check('$x') );
my $Pair = StrMatch[ qr/ \A ([[:alpha:]]+) : ([[:alpha:]]+) \z /x ];
my @got  = $Pair->compiled_check->( 'foo:bar' );
is(
        scalar( @got ),
        1,
        'StrMatch->of(...)->compiled_check( $val ) always returns a single value, even in list context',
);
my $assertion = Eval::TypeTiny::eval_closure(
        source => sprintf(
                'sub { use warnings; %s }',
                ArrayRef->of( StrMatch[qr/[A-D]/] )->inline_assert( '$_[0]' ),
        ),
);
like(
        exception { $assertion->( [ 'ABC', undef, 'DEF' ] ) },
        qr/\AReference \[([^]]+)\] did not pass type constraint/ms,
);
done_testing;