blob: 8f7199e5669e0c2b19c10c9b5e12c97a18628830 (
plain)
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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
|
package Type::Tiny::Union;
use 5.008001;
use strict;
use warnings;
BEGIN {
$Type::Tiny::Union::AUTHORITY = 'cpan:TOBYINK';
$Type::Tiny::Union::VERSION = '0.000_05';
}
use Scalar::Util qw< blessed >;
sub _croak ($;@)
{
require Carp;
@_ = sprintf($_[0], @_[1..$#_]) if @_ > 1;
goto \&Carp::croak;
}
use overload q[@{}] => 'type_constraints';
use base "Type::Tiny";
sub new {
my $proto = shift;
my %opts = @_;
_croak "need to supply list of type constraints" unless exists $opts{type_constraints};
$opts{type_constraints} = [
map { $_->isa(__PACKAGE__) ? @$_ : $_ }
@{ ref $opts{type_constraints} eq "ARRAY" ? $opts{type_constraints} : [$opts{type_constraints}] }
];
return $proto->SUPER::new(%opts);
}
sub type_constraints { $_[0]{type_constraints} }
sub constraint { $_[0]{constraint} ||= $_[0]->_build_constraint }
sub _build_display_name
{
my $self = shift;
join q[|], @$self;
}
sub _build_constraint
{
my @tcs = @{+shift};
return sub
{
my $val = $_;
$_->check($val) && return !!1 for @tcs;
return;
}
}
sub can_be_inlined
{
my $self = shift;
not grep !$_->can_be_inlined, @$self;
}
sub inline_check
{
my $self = shift;
join " or ", map $_->inline_check($_[0]), @$self;
}
1;
__END__
=pod
=encoding utf-8
=head1 NAME
Type::Tiny::Union - union type constraints
=head1 DESCRIPTION
Union type constraints.
This package inherits from L<Type::Tiny>; see that for most documentation.
Major differences are listed below:
=head2 Attributes
=over
=item C<type_constraints>
Arrayref of type constraints.
=item C<constraint>
Unlike Type::Tiny, you should generally I<not> pass a constraint to the
constructor. Instead rely on the default.
=item C<inlined>
Unlike Type::Tiny, you should generally I<not> pass an inlining coderef to
the constructor. Instead rely on the default.
=back
=head2 Overloading
=over
=item *
Arrayrefification calls C<type_constraints>.
=back
=head1 BUGS
Please report any bugs to
L<http://rt.cpan.org/Dist/Display.html?Queue=Type-Tiny>.
=head1 SEE ALSO
L<Type::Tiny::Manual>.
L<Type::Tiny>.
=head1 AUTHOR
Toby Inkster E<lt>tobyink@cpan.orgE<gt>.
=head1 COPYRIGHT AND LICENCE
This software is copyright (c) 2013 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.
=head1 DISCLAIMER OF WARRANTIES
THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED
WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
|
