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
|
package Specio::Library::Structured::Map;
use strict;
use warnings;
our $VERSION = '0.53';
use Carp qw( confess );
use List::Util 1.33 ();
use Specio::Library::Builtins;
use Specio::TypeChecks qw( does_role );
my $hashref = t('HashRef');
sub parent {$hashref}
## no critic (Subroutines::ProhibitUnusedPrivateSubroutines)
sub _inline {
$hashref->inline_check( $_[1] );
}
sub _parameterization_args_builder {
shift;
my $args = shift;
for my $k (qw( key value )) {
does_role(
$args->{$k},
'Specio::Constraint::Role::Interface'
)
or confess
qq{The "$k" parameter passed to ->parameterize must be one or more objects which do the Specio::Constraint::Role::Interface role};
confess
qq{The "$k" parameter passed to ->parameterize must be an inlinable constraint}
unless $args->{$k}->can_be_inlined;
}
return map { $_ => $args->{$_} } qw( key value );
}
sub _name_builder {
my $self = shift;
my $p = shift;
## no critic (Subroutines::ProtectPrivateSubs)
return
'Map{ '
. $self->_name_or_anon( $p->{key} ) . ' => '
. $self->_name_or_anon( $p->{value} ) . ' }';
}
sub _structured_inline_generator {
shift;
my $val = shift;
my %args = @_;
my $code = <<'EOF';
(
( %s )
&& ( List::Util::all { %s } keys %%{ %s } )
&& ( List::Util::all { %s } values %%{ %s } )
)
EOF
return sprintf(
$code,
$hashref->_inline_check($val),
$args{key}->inline_check('$_'),
$val,
$args{value}->inline_check('$_'),
$val,
);
}
1;
# ABSTRACT: Guts of Map structured type
__END__
=pod
=encoding UTF-8
=head1 NAME
Specio::Library::Structured::Map - Guts of Map structured type
=head1 VERSION
version 0.53
=head1 DESCRIPTION
There are no user facing parts here.
=for Pod::Coverage .*
=head1 SUPPORT
Bugs may be submitted at L<https://github.com/houseabsolute/Specio/issues>.
=head1 SOURCE
The source code repository for Specio can be found at L<https://github.com/houseabsolute/Specio>.
=head1 AUTHOR
Dave Rolsky <autarch@urth.org>
=head1 COPYRIGHT AND LICENSE
This software is Copyright (c) 2012 - 2025 by Dave Rolsky.
This is free software, licensed under:
The Artistic License 2.0 (GPL Compatible)
The full text of the license can be found in the
F<LICENSE> file included with this distribution.
=cut
|
