Filename | /home/ss5/perl5/perlbrew/perls/perl-5.22.0/lib/site_perl/5.22.0/x86_64-linux/Moose/Util/TypeConstraints.pm |
Statements | Executed 1649 statements in 11.0ms |
Calls | P | F | Exclusive Time |
Inclusive Time |
Subroutine |
---|---|---|---|---|---|
66 | 11 | 1 | 1.85ms | 1.85ms | CORE:regcomp (opcode) | Moose::Util::TypeConstraints::
1 | 1 | 1 | 880µs | 1.06ms | BEGIN@621 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 747µs | 2.85ms | BEGIN@25 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 556µs | 1.55ms | BEGIN@28 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 546µs | 1.22ms | BEGIN@31 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 466µs | 1.38ms | BEGIN@30 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 459µs | 3.52ms | BEGIN@26 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 442µs | 1.10ms | BEGIN@29 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 439µs | 5.92ms | BEGIN@34 | Moose::Util::TypeConstraints::
107 | 11 | 6 | 419µs | 878µs | find_type_constraint | Moose::Util::TypeConstraints::
46 | 2 | 1 | 328µs | 3.78ms | find_or_parse_type_constraint (recurses: max depth 2, inclusive time 850µs) | Moose::Util::TypeConstraints::
15 | 2 | 1 | 251µs | 14.8ms | create_class_type_constraint | Moose::Util::TypeConstraints::
17 | 2 | 1 | 234µs | 7.90ms | _create_type_constraint | Moose::Util::TypeConstraints::
28 | 1 | 1 | 174µs | 689µs | _detect_type_constraint_union | Moose::Util::TypeConstraints::
12 | 1 | 1 | 173µs | 9.22ms | create_role_type_constraint | Moose::Util::TypeConstraints::
34 | 4 | 4 | 146µs | 17.8ms | find_or_create_isa_type_constraint (recurses: max depth 2, inclusive time 861µs) | Moose::Util::TypeConstraints::
46 | 1 | 1 | 118µs | 155µs | normalize_type_constraint_name | Moose::Util::TypeConstraints::
28 | 1 | 1 | 110µs | 567µs | _detect_parameterized_type_constraint | Moose::Util::TypeConstraints::
16 | 1 | 1 | 94µs | 7.30ms | subtype | Moose::Util::TypeConstraints::
12 | 1 | 1 | 64µs | 9.75ms | find_or_create_does_type_constraint | Moose::Util::TypeConstraints::
75 | 4 | 1 | 63µs | 63µs | CORE:match (opcode) | Moose::Util::TypeConstraints::
46 | 1 | 1 | 37µs | 37µs | CORE:subst (opcode) | Moose::Util::TypeConstraints::
16 | 1 | 1 | 26µs | 26µs | as | Moose::Util::TypeConstraints::
2 | 1 | 1 | 20µs | 1.63ms | create_parameterized_type_constraint (recurses: max depth 1, inclusive time 783µs) | Moose::Util::TypeConstraints::
2 | 1 | 1 | 16µs | 163µs | _parse_parameterized_type_constraint | Moose::Util::TypeConstraints::
16 | 1 | 1 | 15µs | 15µs | where | Moose::Util::TypeConstraints::
2 | 1 | 1 | 12µs | 1.45ms | _create_parameterized_type_constraint (recurses: max depth 1, inclusive time 763µs) | Moose::Util::TypeConstraints::
17 | 1 | 1 | 10µs | 10µs | inline_as | Moose::Util::TypeConstraints::
1 | 1 | 1 | 9µs | 23µs | BEGIN@674 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 8µs | 700µs | type | Moose::Util::TypeConstraints::
1 | 1 | 1 | 8µs | 12µs | BEGIN@685 | Moose::Util::TypeConstraints::
10 | 10 | 1 | 8µs | 8µs | CORE:qr (opcode) | Moose::Util::TypeConstraints::
1 | 1 | 1 | 7µs | 17µs | BEGIN@62 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 6µs | 6µs | BEGIN@4 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 6µs | 12µs | BEGIN@680 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 6µs | 6µs | BEGIN@32 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 6µs | 124µs | BEGIN@36 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 6µs | 6µs | list_all_type_constraints | Moose::Util::TypeConstraints::
1 | 1 | 1 | 5µs | 10µs | BEGIN@699 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 5µs | 15µs | BEGIN@6 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 4µs | 10µs | BEGIN@7 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 4µs | 20µs | BEGIN@5 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 4µs | 461µs | class_type | Moose::Util::TypeConstraints::
1 | 1 | 1 | 3µs | 3µs | BEGIN@24 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 3µs | 3µs | BEGIN@27 | Moose::Util::TypeConstraints::
1 | 1 | 1 | 3µs | 3µs | BEGIN@33 | Moose::Util::TypeConstraints::
2 | 1 | 1 | 2µs | 2µs | get_all_parameterizable_types | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | __ANON__[:661] | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | __ANON__[:663] | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | __ANON__[:665] | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | __ANON__[:67] | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | _confess | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | _create_type_constraint_union | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | _install_type_coercions | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | _parse_type_constraint_union | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | add_parameterizable_type | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | coerce | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | create_duck_type_constraint | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | create_enum_type_constraint | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | create_named_type_constraint_union | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | create_type_constraint_union | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | duck_type | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | enum | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | export_type_constraints_as_functions | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | find_or_create_type_constraint | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | from | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | get_type_constraint_registry | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | list_all_builtin_type_constraints | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | match_on_type | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | maybe_type | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | message | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | register_type_constraint | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | role_type | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | union | Moose::Util::TypeConstraints::
0 | 0 | 0 | 0s | 0s | via | Moose::Util::TypeConstraints::
Line | State ments |
Time on line |
Calls | Time in subs |
Code |
---|---|---|---|---|---|
1 | package Moose::Util::TypeConstraints; | ||||
2 | 1 | 400ns | our $VERSION = '2.1605'; | ||
3 | |||||
4 | 2 | 17µs | 1 | 6µs | # spent 6µs within Moose::Util::TypeConstraints::BEGIN@4 which was called:
# once (6µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 4 # spent 6µs making 1 call to Moose::Util::TypeConstraints::BEGIN@4 |
5 | 2 | 15µs | 2 | 36µs | # spent 20µs (4+16) within Moose::Util::TypeConstraints::BEGIN@5 which was called:
# once (4µs+16µs) by Moose::Meta::Attribute::BEGIN@16 at line 5 # spent 20µs making 1 call to Moose::Util::TypeConstraints::BEGIN@5
# spent 16µs making 1 call to Exporter::import |
6 | 2 | 13µs | 2 | 26µs | # spent 15µs (5+10) within Moose::Util::TypeConstraints::BEGIN@6 which was called:
# once (5µs+10µs) by Moose::Meta::Attribute::BEGIN@16 at line 6 # spent 15µs making 1 call to Moose::Util::TypeConstraints::BEGIN@6
# spent 10µs making 1 call to Moose::Exporter::import |
7 | 2 | 31µs | 2 | 15µs | # spent 10µs (4+5) within Moose::Util::TypeConstraints::BEGIN@7 which was called:
# once (4µs+5µs) by Moose::Meta::Attribute::BEGIN@16 at line 7 # spent 10µs making 1 call to Moose::Util::TypeConstraints::BEGIN@7
# spent 5µs making 1 call to Package::DeprecationManager::__ANON__[Package/DeprecationManager.pm:87] |
8 | |||||
9 | ## -------------------------------------------------------- | ||||
10 | # Prototyped subs must be predeclared because we have a | ||||
11 | # circular dependency with Moose::Meta::Attribute et. al. | ||||
12 | # so in case of us being use'd first the predeclaration | ||||
13 | # ensures the prototypes are in scope when consumers are | ||||
14 | # compiled. | ||||
15 | |||||
16 | # dah sugah! | ||||
17 | sub where (&); | ||||
18 | sub via (&); | ||||
19 | sub message (&); | ||||
20 | sub inline_as (&); | ||||
21 | |||||
22 | ## -------------------------------------------------------- | ||||
23 | |||||
24 | 2 | 3.76ms | 1 | 3µs | # spent 3µs within Moose::Util::TypeConstraints::BEGIN@24 which was called:
# once (3µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 24 # spent 3µs making 1 call to Moose::Util::TypeConstraints::BEGIN@24 |
25 | 2 | 120µs | 1 | 2.85ms | # spent 2.85ms (747µs+2.10) within Moose::Util::TypeConstraints::BEGIN@25 which was called:
# once (747µs+2.10ms) by Moose::Meta::Attribute::BEGIN@16 at line 25 # spent 2.85ms making 1 call to Moose::Util::TypeConstraints::BEGIN@25 |
26 | 2 | 91µs | 1 | 3.52ms | # spent 3.52ms (459µs+3.06) within Moose::Util::TypeConstraints::BEGIN@26 which was called:
# once (459µs+3.06ms) by Moose::Meta::Attribute::BEGIN@16 at line 26 # spent 3.52ms making 1 call to Moose::Util::TypeConstraints::BEGIN@26 |
27 | 2 | 14µs | 1 | 3µs | # spent 3µs within Moose::Util::TypeConstraints::BEGIN@27 which was called:
# once (3µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 27 # spent 3µs making 1 call to Moose::Util::TypeConstraints::BEGIN@27 |
28 | 2 | 99µs | 1 | 1.55ms | # spent 1.55ms (556µs+990µs) within Moose::Util::TypeConstraints::BEGIN@28 which was called:
# once (556µs+990µs) by Moose::Meta::Attribute::BEGIN@16 at line 28 # spent 1.55ms making 1 call to Moose::Util::TypeConstraints::BEGIN@28 |
29 | 2 | 88µs | 1 | 1.10ms | # spent 1.10ms (442µs+657µs) within Moose::Util::TypeConstraints::BEGIN@29 which was called:
# once (442µs+657µs) by Moose::Meta::Attribute::BEGIN@16 at line 29 # spent 1.10ms making 1 call to Moose::Util::TypeConstraints::BEGIN@29 |
30 | 2 | 78µs | 1 | 1.38ms | # spent 1.38ms (466µs+913µs) within Moose::Util::TypeConstraints::BEGIN@30 which was called:
# once (466µs+913µs) by Moose::Meta::Attribute::BEGIN@16 at line 30 # spent 1.38ms making 1 call to Moose::Util::TypeConstraints::BEGIN@30 |
31 | 2 | 75µs | 1 | 1.22ms | # spent 1.22ms (546µs+675µs) within Moose::Util::TypeConstraints::BEGIN@31 which was called:
# once (546µs+675µs) by Moose::Meta::Attribute::BEGIN@16 at line 31 # spent 1.22ms making 1 call to Moose::Util::TypeConstraints::BEGIN@31 |
32 | 2 | 16µs | 1 | 6µs | # spent 6µs within Moose::Util::TypeConstraints::BEGIN@32 which was called:
# once (6µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 32 # spent 6µs making 1 call to Moose::Util::TypeConstraints::BEGIN@32 |
33 | 2 | 12µs | 1 | 3µs | # spent 3µs within Moose::Util::TypeConstraints::BEGIN@33 which was called:
# once (3µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 33 # spent 3µs making 1 call to Moose::Util::TypeConstraints::BEGIN@33 |
34 | 2 | 83µs | 1 | 5.92ms | # spent 5.92ms (439µs+5.48) within Moose::Util::TypeConstraints::BEGIN@34 which was called:
# once (439µs+5.48ms) by Moose::Meta::Attribute::BEGIN@16 at line 34 # spent 5.92ms making 1 call to Moose::Util::TypeConstraints::BEGIN@34 |
35 | |||||
36 | 2 | 77µs | 2 | 243µs | # spent 124µs (6+119) within Moose::Util::TypeConstraints::BEGIN@36 which was called:
# once (6µs+119µs) by Moose::Meta::Attribute::BEGIN@16 at line 36 # spent 124µs making 1 call to Moose::Util::TypeConstraints::BEGIN@36
# spent 119µs making 1 call to Sub::Exporter::__ANON__[Sub/Exporter.pm:337] |
37 | |||||
38 | 1 | 5µs | 1 | 622µs | Moose::Exporter->setup_import_methods( # spent 622µs making 1 call to Moose::Exporter::setup_import_methods |
39 | as_is => [ | ||||
40 | qw( | ||||
41 | type subtype class_type role_type maybe_type duck_type | ||||
42 | as where message inline_as | ||||
43 | coerce from via | ||||
44 | enum union | ||||
45 | find_type_constraint | ||||
46 | register_type_constraint | ||||
47 | match_on_type ) | ||||
48 | ], | ||||
49 | ); | ||||
50 | |||||
51 | ## -------------------------------------------------------- | ||||
52 | ## type registry and some useful functions for it | ||||
53 | ## -------------------------------------------------------- | ||||
54 | |||||
55 | 1 | 2µs | 1 | 223µs | my $REGISTRY = Moose::Meta::TypeConstraint::Registry->new; # spent 223µs making 1 call to Moose::Meta::TypeConstraint::Registry::new |
56 | |||||
57 | sub get_type_constraint_registry {$REGISTRY} | ||||
58 | 1 | 4µs | 1 | 300ns | # spent 6µs (6+300ns) within Moose::Util::TypeConstraints::list_all_type_constraints which was called:
# once (6µs+300ns) by Moose::Meta::Attribute::BEGIN@16 at line 753 # spent 300ns making 1 call to Moose::Meta::TypeConstraint::Registry::type_constraints |
59 | |||||
60 | sub export_type_constraints_as_functions { | ||||
61 | my $pkg = caller(); | ||||
62 | 2 | 1.47ms | 2 | 28µs | # spent 17µs (7+10) within Moose::Util::TypeConstraints::BEGIN@62 which was called:
# once (7µs+10µs) by Moose::Meta::Attribute::BEGIN@16 at line 62 # spent 17µs making 1 call to Moose::Util::TypeConstraints::BEGIN@62
# spent 10µs making 1 call to strict::unimport |
63 | foreach my $constraint ( keys %{ $REGISTRY->type_constraints } ) { | ||||
64 | my $tc = $REGISTRY->get_type_constraint($constraint) | ||||
65 | ->_compiled_type_constraint; | ||||
66 | *{"${pkg}::${constraint}"} | ||||
67 | = sub { $tc->( $_[0] ) ? 1 : undef }; # the undef is for compat | ||||
68 | } | ||||
69 | } | ||||
70 | |||||
71 | sub create_type_constraint_union { | ||||
72 | _create_type_constraint_union(\@_); | ||||
73 | } | ||||
74 | |||||
75 | sub create_named_type_constraint_union { | ||||
76 | my $name = shift; | ||||
77 | _create_type_constraint_union($name, \@_); | ||||
78 | } | ||||
79 | |||||
80 | sub _create_type_constraint_union { | ||||
81 | my $name; | ||||
82 | $name = shift if @_ > 1; | ||||
83 | my @tcs = @{ shift() }; | ||||
84 | |||||
85 | my @type_constraint_names; | ||||
86 | |||||
87 | if ( scalar @tcs == 1 && _detect_type_constraint_union( $tcs[0] ) ) { | ||||
88 | @type_constraint_names = _parse_type_constraint_union( $tcs[0] ); | ||||
89 | } | ||||
90 | else { | ||||
91 | @type_constraint_names = @tcs; | ||||
92 | } | ||||
93 | |||||
94 | ( scalar @type_constraint_names >= 2 ) | ||||
95 | || throw_exception("UnionTakesAtleastTwoTypeNames"); | ||||
96 | |||||
97 | my @type_constraints = map { | ||||
98 | find_or_parse_type_constraint($_) | ||||
99 | || throw_exception( CouldNotLocateTypeConstraintForUnion => type_name => $_ ); | ||||
100 | } @type_constraint_names; | ||||
101 | |||||
102 | my %options = ( | ||||
103 | type_constraints => \@type_constraints | ||||
104 | ); | ||||
105 | $options{name} = $name if defined $name; | ||||
106 | |||||
107 | return Moose::Meta::TypeConstraint::Union->new(%options); | ||||
108 | } | ||||
109 | |||||
110 | |||||
111 | # spent 1.63ms (20µs+1.61) within Moose::Util::TypeConstraints::create_parameterized_type_constraint which was called 2 times, avg 813µs/call:
# 2 times (20µs+1.61ms) by Moose::Util::TypeConstraints::find_or_parse_type_constraint at line 260, avg 813µs/call | ||||
112 | 2 | 500ns | my $type_constraint_name = shift; | ||
113 | 2 | 3µs | 2 | 163µs | my ( $base_type, $type_parameter ) # spent 163µs making 2 calls to Moose::Util::TypeConstraints::_parse_parameterized_type_constraint, avg 81µs/call |
114 | = _parse_parameterized_type_constraint($type_constraint_name); | ||||
115 | |||||
116 | 2 | 900ns | ( defined $base_type && defined $type_parameter ) | ||
117 | || throw_exception( InvalidTypeGivenToCreateParameterizedTypeConstraint => type_name => $type_constraint_name ); | ||||
118 | |||||
119 | 2 | 2µs | 2 | 6µs | if ( $REGISTRY->has_type_constraint($base_type) ) { # spent 6µs making 2 calls to Moose::Meta::TypeConstraint::Registry::has_type_constraint, avg 3µs/call |
120 | 2 | 2µs | 2 | 6µs | my $base_type_tc = $REGISTRY->get_type_constraint($base_type); # spent 6µs making 2 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 3µs/call |
121 | 2 | 6µs | 2 | 1.45ms | return _create_parameterized_type_constraint( # spent 2.21ms making 2 calls to Moose::Util::TypeConstraints::_create_parameterized_type_constraint, avg 1.11ms/call, recursion: max depth 1, sum of overlapping time 763µs |
122 | $base_type_tc, | ||||
123 | $type_parameter | ||||
124 | ); | ||||
125 | } | ||||
126 | else { | ||||
127 | throw_exception( InvalidBaseTypeGivenToCreateParameterizedTypeConstraint => type_name => $base_type ); | ||||
128 | } | ||||
129 | } | ||||
130 | |||||
131 | # spent 1.45ms (12µs+1.44) within Moose::Util::TypeConstraints::_create_parameterized_type_constraint which was called 2 times, avg 725µs/call:
# 2 times (12µs+1.44ms) by Moose::Util::TypeConstraints::create_parameterized_type_constraint at line 121, avg 725µs/call | ||||
132 | 2 | 500ns | my ( $base_type_tc, $type_parameter ) = @_; | ||
133 | 2 | 14µs | 4 | 1.44ms | if ( $base_type_tc->can('parameterize') ) { # spent 2.20ms making 2 calls to Moose::Meta::TypeConstraint::Parameterizable::parameterize, avg 1.10ms/call, recursion: max depth 1, sum of overlapping time 758µs
# spent 1µs making 2 calls to UNIVERSAL::can, avg 700ns/call |
134 | return $base_type_tc->parameterize($type_parameter); | ||||
135 | } | ||||
136 | else { | ||||
137 | return Moose::Meta::TypeConstraint::Parameterized->new( | ||||
138 | name => $base_type_tc->name . '[' . $type_parameter . ']', | ||||
139 | parent => $base_type_tc, | ||||
140 | type_parameter => | ||||
141 | find_or_create_isa_type_constraint($type_parameter), | ||||
142 | ); | ||||
143 | } | ||||
144 | } | ||||
145 | |||||
146 | #should we also support optimized checks? | ||||
147 | # spent 14.8ms (251µs+14.6) within Moose::Util::TypeConstraints::create_class_type_constraint which was called 15 times, avg 987µs/call:
# 14 times (234µs+14.1ms) by Moose::Util::TypeConstraints::find_or_create_isa_type_constraint at line 246, avg 1.02ms/call
# once (17µs+440µs) by Moose::Util::TypeConstraints::class_type at line 352 | ||||
148 | 15 | 8µs | my ( $class, $options ) = @_; | ||
149 | |||||
150 | # too early for this check | ||||
151 | #find_type_constraint("ClassName")->check($class) | ||||
152 | # || __PACKAGE__->_throw_error("Can't create a class type constraint because '$class' is not a class name"); | ||||
153 | |||||
154 | 15 | 14µs | my $pkg_defined_in = $options->{package_defined_in} || scalar( caller(1) ); | ||
155 | |||||
156 | 15 | 25µs | 15 | 60µs | if (my $type = $REGISTRY->get_type_constraint($class)) { # spent 60µs making 15 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 4µs/call |
157 | if (!($type->isa('Moose::Meta::TypeConstraint::Class') && $type->class eq $class)) { | ||||
158 | throw_exception( TypeConstraintIsAlreadyCreated => package_defined_in => $pkg_defined_in, | ||||
159 | type_name => $type->name, | ||||
160 | ); | ||||
161 | } | ||||
162 | else { | ||||
163 | return $type; | ||||
164 | } | ||||
165 | } | ||||
166 | |||||
167 | my %options = ( | ||||
168 | class => $class, | ||||
169 | name => $class, | ||||
170 | package_defined_in => $pkg_defined_in, | ||||
171 | 15 | 44µs | %{ $options || {} }, # overrides options from above | ||
172 | ); | ||||
173 | |||||
174 | 15 | 8µs | $options{name} ||= "__ANON__"; | ||
175 | |||||
176 | 15 | 52µs | 15 | 14.2ms | my $tc = Moose::Meta::TypeConstraint::Class->new(%options); # spent 14.2ms making 15 calls to Moose::Meta::TypeConstraint::Class::new, avg 950µs/call |
177 | 15 | 26µs | 15 | 249µs | $REGISTRY->add_type_constraint($tc); # spent 249µs making 15 calls to Moose::Meta::TypeConstraint::Registry::add_type_constraint, avg 17µs/call |
178 | 15 | 41µs | return $tc; | ||
179 | } | ||||
180 | |||||
181 | # spent 9.22ms (173µs+9.05) within Moose::Util::TypeConstraints::create_role_type_constraint which was called 12 times, avg 768µs/call:
# 12 times (173µs+9.05ms) by Moose::Util::TypeConstraints::find_or_create_does_type_constraint at line 252, avg 768µs/call | ||||
182 | 12 | 5µs | my ( $role, $options ) = @_; | ||
183 | |||||
184 | # too early for this check | ||||
185 | #find_type_constraint("ClassName")->check($class) | ||||
186 | # || __PACKAGE__->_throw_error("Can't create a class type constraint because '$class' is not a class name"); | ||||
187 | |||||
188 | 12 | 13µs | my $pkg_defined_in = $options->{package_defined_in} || scalar( caller(1) ); | ||
189 | |||||
190 | 12 | 18µs | 12 | 41µs | if (my $type = $REGISTRY->get_type_constraint($role)) { # spent 41µs making 12 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 3µs/call |
191 | if (!($type->isa('Moose::Meta::TypeConstraint::Role') && $type->role eq $role)) { | ||||
192 | throw_exception( TypeConstraintIsAlreadyCreated => type_name => $type->name, | ||||
193 | package_defined_in => $pkg_defined_in | ||||
194 | ); | ||||
195 | } | ||||
196 | else { | ||||
197 | return $type; | ||||
198 | } | ||||
199 | } | ||||
200 | |||||
201 | my %options = ( | ||||
202 | role => $role, | ||||
203 | name => $role, | ||||
204 | package_defined_in => $pkg_defined_in, | ||||
205 | 12 | 31µs | %{ $options || {} }, | ||
206 | ); | ||||
207 | |||||
208 | 12 | 5µs | $options{name} ||= "__ANON__"; | ||
209 | |||||
210 | 12 | 36µs | 12 | 8.83ms | my $tc = Moose::Meta::TypeConstraint::Role->new(%options); # spent 8.83ms making 12 calls to Moose::Meta::TypeConstraint::Role::new, avg 736µs/call |
211 | 12 | 16µs | 12 | 178µs | $REGISTRY->add_type_constraint($tc); # spent 178µs making 12 calls to Moose::Meta::TypeConstraint::Registry::add_type_constraint, avg 15µs/call |
212 | 12 | 32µs | return $tc; | ||
213 | } | ||||
214 | |||||
215 | sub find_or_create_type_constraint { | ||||
216 | my ( $type_constraint_name, $options_for_anon_type ) = @_; | ||||
217 | |||||
218 | if ( my $constraint | ||||
219 | = find_or_parse_type_constraint($type_constraint_name) ) { | ||||
220 | return $constraint; | ||||
221 | } | ||||
222 | elsif ( defined $options_for_anon_type ) { | ||||
223 | |||||
224 | # NOTE: | ||||
225 | # if there is no $options_for_anon_type | ||||
226 | # specified, then we assume they don't | ||||
227 | # want to create one, and return nothing. | ||||
228 | |||||
229 | # otherwise assume that we should create | ||||
230 | # an ANON type with the $options_for_anon_type | ||||
231 | # options which can be passed in. It should | ||||
232 | # be noted that these don't get registered | ||||
233 | # so we need to return it. | ||||
234 | # - SL | ||||
235 | return Moose::Meta::TypeConstraint->new( | ||||
236 | name => '__ANON__', | ||||
237 | %{$options_for_anon_type} | ||||
238 | ); | ||||
239 | } | ||||
240 | |||||
241 | return; | ||||
242 | } | ||||
243 | |||||
244 | # spent 17.8ms (146µs+17.7) within Moose::Util::TypeConstraints::find_or_create_isa_type_constraint which was called 34 times, avg 523µs/call:
# 16 times (51µs+254µs) by Moose::Util::TypeConstraints::_create_type_constraint at line 572, avg 19µs/call
# 12 times (64µs+14.1ms) by Moo::HandleMoose::inject_fake_metaclass_for at line 47 of Moo/HandleMoose.pm, avg 1.18ms/call
# 4 times (20µs+3.31ms) by Moose::Meta::Attribute::_process_isa_option at line 349 of Moose/Meta/Attribute.pm, avg 833µs/call
# 2 times (10µs+-10µs) by Moose::Meta::TypeConstraint::Parameterizable::_parse_type_parameter at line 67 of Moose/Meta/TypeConstraint/Parameterizable.pm, avg 0s/call | ||||
245 | 34 | 10µs | my ($type_constraint_name, $options) = @_; | ||
246 | 34 | 111µs | 68 | 17.7ms | find_or_parse_type_constraint($type_constraint_name) # spent 14.3ms making 14 calls to Moose::Util::TypeConstraints::create_class_type_constraint, avg 1.02ms/call
# spent 4.16ms making 34 calls to Moose::Util::TypeConstraints::find_or_parse_type_constraint, avg 122µs/call, recursion: max depth 2, sum of overlapping time 850µs
# spent 4µs making 20 calls to Moose::Meta::TypeConstraint::__ANON__[Moose/Meta/TypeConstraint.pm:10], avg 210ns/call |
247 | || create_class_type_constraint($type_constraint_name, $options); | ||||
248 | } | ||||
249 | |||||
250 | # spent 9.75ms (64µs+9.69) within Moose::Util::TypeConstraints::find_or_create_does_type_constraint which was called 12 times, avg 813µs/call:
# 12 times (64µs+9.69ms) by Moo::HandleMoose::inject_fake_metaclass_for at line 44 of Moo/HandleMoose.pm, avg 813µs/call | ||||
251 | 12 | 5µs | my ($type_constraint_name, $options) = @_; | ||
252 | 12 | 52µs | 24 | 9.69ms | find_or_parse_type_constraint($type_constraint_name) # spent 9.22ms making 12 calls to Moose::Util::TypeConstraints::create_role_type_constraint, avg 768µs/call
# spent 470µs making 12 calls to Moose::Util::TypeConstraints::find_or_parse_type_constraint, avg 39µs/call |
253 | || create_role_type_constraint($type_constraint_name, $options); | ||||
254 | } | ||||
255 | |||||
256 | # spent 3.78ms (328µs+3.45) within Moose::Util::TypeConstraints::find_or_parse_type_constraint which was called 46 times, avg 82µs/call:
# 34 times (232µs+3.08ms) by Moose::Util::TypeConstraints::find_or_create_isa_type_constraint at line 246, avg 97µs/call
# 12 times (96µs+374µs) by Moose::Util::TypeConstraints::find_or_create_does_type_constraint at line 252, avg 39µs/call | ||||
257 | 46 | 53µs | 46 | 155µs | my $type_constraint_name = normalize_type_constraint_name(shift); # spent 155µs making 46 calls to Moose::Util::TypeConstraints::normalize_type_constraint_name, avg 3µs/call |
258 | 46 | 5µs | my $constraint; | ||
259 | |||||
260 | 46 | 155µs | 122 | 3.34ms | if ( $constraint = find_type_constraint($type_constraint_name) ) { # spent 2.41ms making 2 calls to Moose::Util::TypeConstraints::create_parameterized_type_constraint, avg 1.20ms/call, recursion: max depth 1, sum of overlapping time 783µs
# spent 689µs making 28 calls to Moose::Util::TypeConstraints::_detect_type_constraint_union, avg 25µs/call
# spent 567µs making 28 calls to Moose::Util::TypeConstraints::_detect_parameterized_type_constraint, avg 20µs/call
# spent 451µs making 46 calls to Moose::Util::TypeConstraints::find_type_constraint, avg 10µs/call
# spent 8µs making 18 calls to Moose::Meta::TypeConstraint::__ANON__[Moose/Meta/TypeConstraint.pm:10], avg 417ns/call |
261 | return $constraint; | ||||
262 | } | ||||
263 | elsif ( _detect_type_constraint_union($type_constraint_name) ) { | ||||
264 | $constraint = create_type_constraint_union($type_constraint_name); | ||||
265 | } | ||||
266 | elsif ( _detect_parameterized_type_constraint($type_constraint_name) ) { | ||||
267 | $constraint | ||||
268 | = create_parameterized_type_constraint($type_constraint_name); | ||||
269 | } | ||||
270 | else { | ||||
271 | 26 | 46µs | return; | ||
272 | } | ||||
273 | |||||
274 | 2 | 2µs | 2 | 26µs | $REGISTRY->add_type_constraint($constraint); # spent 26µs making 2 calls to Moose::Meta::TypeConstraint::Registry::add_type_constraint, avg 13µs/call |
275 | 2 | 3µs | return $constraint; | ||
276 | } | ||||
277 | |||||
278 | # spent 155µs (118+37) within Moose::Util::TypeConstraints::normalize_type_constraint_name which was called 46 times, avg 3µs/call:
# 46 times (118µs+37µs) by Moose::Util::TypeConstraints::find_or_parse_type_constraint at line 257, avg 3µs/call | ||||
279 | 46 | 12µs | my $type_constraint_name = shift; | ||
280 | 46 | 101µs | 46 | 37µs | $type_constraint_name =~ s/\s//g; # spent 37µs making 46 calls to Moose::Util::TypeConstraints::CORE:subst, avg 811ns/call |
281 | 46 | 64µs | return $type_constraint_name; | ||
282 | } | ||||
283 | |||||
284 | sub _confess { | ||||
285 | my $error = shift; | ||||
286 | |||||
287 | local $Carp::CarpLevel = $Carp::CarpLevel + 1; | ||||
288 | Carp::confess($error); | ||||
289 | } | ||||
290 | |||||
291 | ## -------------------------------------------------------- | ||||
292 | ## exported functions ... | ||||
293 | ## -------------------------------------------------------- | ||||
294 | |||||
295 | # spent 878µs (419+459) within Moose::Util::TypeConstraints::find_type_constraint which was called 107 times, avg 8µs/call:
# 46 times (200µs+251µs) by Moose::Util::TypeConstraints::find_or_parse_type_constraint at line 260, avg 10µs/call
# 21 times (46µs+13µs) by Moose::Meta::TypeConstraint::equals at line 234 of Moose/Meta/TypeConstraint.pm, avg 3µs/call
# 15 times (69µs+75µs) by Moose::Meta::TypeConstraint::Class::new at line 31 of Moose/Meta/TypeConstraint/Class.pm, avg 10µs/call
# 12 times (50µs+55µs) by Moose::Meta::TypeConstraint::Role::new at line 32 of Moose/Meta/TypeConstraint/Role.pm, avg 9µs/call
# 7 times (27µs+35µs) by Moose::Meta::TypeConstraint::is_subtype_of at line 263 of Moose/Meta/TypeConstraint.pm, avg 9µs/call
# once (7µs+8µs) by Moose::init_meta at line 161 of Moose.pm
# once (4µs+5µs) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 198 of Moose/Util/TypeConstraints/Builtins.pm
# once (4µs+5µs) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 79 of Moose/Util/TypeConstraints/Builtins.pm
# once (4µs+4µs) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 233 of Moose/Util/TypeConstraints/Builtins.pm
# once (4µs+4µs) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 294 of Moose/Util/TypeConstraints/Builtins.pm
# once (4µs+4µs) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 268 of Moose/Util/TypeConstraints/Builtins.pm | ||||
296 | 107 | 19µs | my $type = shift; | ||
297 | |||||
298 | 107 | 194µs | 128 | 36µs | if ( blessed $type and $type->isa("Moose::Meta::TypeConstraint") ) { # spent 30µs making 107 calls to Scalar::Util::blessed, avg 279ns/call
# spent 6µs making 21 calls to UNIVERSAL::isa, avg 310ns/call |
299 | return $type; | ||||
300 | } | ||||
301 | else { | ||||
302 | 86 | 126µs | 86 | 305µs | return unless $REGISTRY->has_type_constraint($type); # spent 305µs making 86 calls to Moose::Meta::TypeConstraint::Registry::has_type_constraint, avg 4µs/call |
303 | 57 | 104µs | 57 | 117µs | return $REGISTRY->get_type_constraint($type); # spent 117µs making 57 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 2µs/call |
304 | } | ||||
305 | } | ||||
306 | |||||
307 | sub register_type_constraint { | ||||
308 | my $constraint = shift; | ||||
309 | throw_exception( CannotRegisterUnnamedTypeConstraint => type => $constraint ) | ||||
310 | unless defined $constraint->name; | ||||
311 | $REGISTRY->add_type_constraint($constraint); | ||||
312 | return $constraint; | ||||
313 | } | ||||
314 | |||||
315 | # type constructors | ||||
316 | |||||
317 | # spent 700µs (8+692) within Moose::Util::TypeConstraints::type which was called:
# once (8µs+692µs) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 11 of Moose/Util/TypeConstraints/Builtins.pm | ||||
318 | 1 | 400ns | my $name = shift; | ||
319 | |||||
320 | 1 | 3µs | my %p = map { %{$_} } @_; | ||
321 | |||||
322 | return _create_type_constraint( | ||||
323 | $name, undef, $p{where}, $p{message}, | ||||
324 | $p{inline_as}, | ||||
325 | 1 | 4µs | 1 | 692µs | ); # spent 692µs making 1 call to Moose::Util::TypeConstraints::_create_type_constraint |
326 | } | ||||
327 | |||||
328 | # spent 7.30ms (94µs+7.20) within Moose::Util::TypeConstraints::subtype which was called 16 times, avg 456µs/call:
# 16 times (94µs+7.20ms) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 12 of Moose/Util/TypeConstraints/Builtins.pm, avg 456µs/call | ||||
329 | 16 | 5µs | if ( @_ == 1 && !ref $_[0] ) { | ||
330 | throw_exception( NoParentGivenToSubtype => name => $_[0] ); | ||||
331 | } | ||||
332 | |||||
333 | # The blessed check is mostly to accommodate MooseX::Types, which | ||||
334 | # uses an object which overloads stringification as a type name. | ||||
335 | 16 | 6µs | my $name = ref $_[0] && !blessed $_[0] ? undef : shift; | ||
336 | |||||
337 | 16 | 45µs | my %p = map { %{$_} } @_; | ||
338 | |||||
339 | # subtype Str => where { ... }; | ||||
340 | 16 | 4µs | if ( !exists $p{as} ) { | ||
341 | $p{as} = $name; | ||||
342 | $name = undef; | ||||
343 | } | ||||
344 | |||||
345 | return _create_type_constraint( | ||||
346 | $name, $p{as}, $p{where}, $p{message}, | ||||
347 | $p{inline_as}, | ||||
348 | 16 | 38µs | 16 | 7.20ms | ); # spent 7.20ms making 16 calls to Moose::Util::TypeConstraints::_create_type_constraint, avg 450µs/call |
349 | } | ||||
350 | |||||
351 | # spent 461µs (4+458) within Moose::Util::TypeConstraints::class_type which was called:
# once (4µs+458µs) by Moose::init_meta at line 161 of Moose.pm | ||||
352 | 1 | 3µs | 1 | 458µs | create_class_type_constraint(@_); # spent 458µs making 1 call to Moose::Util::TypeConstraints::create_class_type_constraint |
353 | } | ||||
354 | |||||
355 | sub role_type ($;$) { | ||||
356 | create_role_type_constraint(@_); | ||||
357 | } | ||||
358 | |||||
359 | sub maybe_type { | ||||
360 | my ($type_parameter) = @_; | ||||
361 | |||||
362 | register_type_constraint( | ||||
363 | $REGISTRY->get_type_constraint('Maybe')->parameterize($type_parameter) | ||||
364 | ); | ||||
365 | } | ||||
366 | |||||
367 | sub duck_type { | ||||
368 | my ( $type_name, @methods ) = @_; | ||||
369 | if ( ref $type_name eq 'ARRAY' && !@methods ) { | ||||
370 | @methods = ($type_name); | ||||
371 | $type_name = undef; | ||||
372 | } | ||||
373 | if ( @methods == 1 && ref $methods[0] eq 'ARRAY' ) { | ||||
374 | @methods = @{ $methods[0] }; | ||||
375 | } | ||||
376 | else { | ||||
377 | Moose::Deprecated::deprecated( | ||||
378 | feature => 'non-arrayref form of duck_type', | ||||
379 | message => "Passing a list of values to duck_type is deprecated. " | ||||
380 | . "The method names should be wrapped in an arrayref.", | ||||
381 | ); | ||||
382 | } | ||||
383 | |||||
384 | register_type_constraint( | ||||
385 | create_duck_type_constraint( | ||||
386 | $type_name, | ||||
387 | \@methods, | ||||
388 | ) | ||||
389 | ); | ||||
390 | } | ||||
391 | |||||
392 | sub coerce { | ||||
393 | my ( $type_name, @coercion_map ) = @_; | ||||
394 | _install_type_coercions( $type_name, \@coercion_map ); | ||||
395 | } | ||||
396 | |||||
397 | # The trick of returning @_ lets us avoid having to specify a | ||||
398 | # prototype. Perl will parse this: | ||||
399 | # | ||||
400 | # subtype 'Foo' | ||||
401 | # => as 'Str' | ||||
402 | # => where { ... } | ||||
403 | # | ||||
404 | # as this: | ||||
405 | # | ||||
406 | # subtype( 'Foo', as( 'Str', where { ... } ) ); | ||||
407 | # | ||||
408 | # If as() returns all its extra arguments, this just works, and | ||||
409 | # preserves backwards compatibility. | ||||
410 | 16 | 36µs | # spent 26µs within Moose::Util::TypeConstraints::as which was called 16 times, avg 2µs/call:
# 16 times (26µs+0s) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 13 of Moose/Util/TypeConstraints/Builtins.pm, avg 2µs/call | ||
411 | 16 | 24µs | # spent 15µs within Moose::Util::TypeConstraints::where which was called 16 times, avg 944ns/call:
# 16 times (15µs+0s) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 14 of Moose/Util/TypeConstraints/Builtins.pm, avg 944ns/call | ||
412 | sub message (&) { { message => $_[0] } } | ||||
413 | 17 | 22µs | # spent 10µs within Moose::Util::TypeConstraints::inline_as which was called 17 times, avg 612ns/call:
# 17 times (10µs+0s) by Moose::Util::TypeConstraints::Builtins::define_builtins at line 15 of Moose/Util/TypeConstraints/Builtins.pm, avg 612ns/call | ||
414 | |||||
415 | sub from {@_} | ||||
416 | sub via (&) { $_[0] } | ||||
417 | |||||
418 | sub enum { | ||||
419 | my ( $type_name, @values ) = @_; | ||||
420 | |||||
421 | # NOTE: | ||||
422 | # if only an array-ref is passed then | ||||
423 | # you get an anon-enum | ||||
424 | # - SL | ||||
425 | if ( ref $type_name eq 'ARRAY' ) { | ||||
426 | @values == 0 | ||||
427 | || throw_exception( EnumCalledWithAnArrayRefAndAdditionalArgs => array => $type_name, | ||||
428 | args => \@values | ||||
429 | ); | ||||
430 | @values = ($type_name); | ||||
431 | $type_name = undef; | ||||
432 | } | ||||
433 | if ( @values == 1 && ref $values[0] eq 'ARRAY' ) { | ||||
434 | @values = @{ $values[0] }; | ||||
435 | } | ||||
436 | else { | ||||
437 | Moose::Deprecated::deprecated( | ||||
438 | feature => 'non-arrayref form of enum', | ||||
439 | message => "Passing a list of values to enum is deprecated. " | ||||
440 | . "Enum values should be wrapped in an arrayref.", | ||||
441 | ); | ||||
442 | } | ||||
443 | |||||
444 | register_type_constraint( | ||||
445 | create_enum_type_constraint( | ||||
446 | $type_name, | ||||
447 | \@values, | ||||
448 | ) | ||||
449 | ); | ||||
450 | } | ||||
451 | |||||
452 | sub union { | ||||
453 | my ( $type_name, @constraints ) = @_; | ||||
454 | if ( ref $type_name eq 'ARRAY' ) { | ||||
455 | @constraints == 0 | ||||
456 | || throw_exception( UnionCalledWithAnArrayRefAndAdditionalArgs => array => $type_name, | ||||
457 | args => \@constraints | ||||
458 | ); | ||||
459 | @constraints = @$type_name; | ||||
460 | $type_name = undef; | ||||
461 | } | ||||
462 | if ( @constraints == 1 && ref $constraints[0] eq 'ARRAY' ) { | ||||
463 | @constraints = @{ $constraints[0] }; | ||||
464 | } | ||||
465 | if ( defined $type_name ) { | ||||
466 | return register_type_constraint( | ||||
467 | create_named_type_constraint_union( $type_name, @constraints ) | ||||
468 | ); | ||||
469 | } | ||||
470 | return create_type_constraint_union( @constraints ); | ||||
471 | } | ||||
472 | |||||
473 | sub create_enum_type_constraint { | ||||
474 | my ( $type_name, $values ) = @_; | ||||
475 | |||||
476 | Moose::Meta::TypeConstraint::Enum->new( | ||||
477 | name => $type_name || '__ANON__', | ||||
478 | values => $values, | ||||
479 | ); | ||||
480 | } | ||||
481 | |||||
482 | sub create_duck_type_constraint { | ||||
483 | my ( $type_name, $methods ) = @_; | ||||
484 | |||||
485 | Moose::Meta::TypeConstraint::DuckType->new( | ||||
486 | name => $type_name || '__ANON__', | ||||
487 | methods => $methods, | ||||
488 | ); | ||||
489 | } | ||||
490 | |||||
491 | sub match_on_type { | ||||
492 | my ($to_match, @cases) = @_; | ||||
493 | my $default; | ||||
494 | if (@cases % 2 != 0) { | ||||
495 | $default = pop @cases; | ||||
496 | (ref $default eq 'CODE') | ||||
497 | || throw_exception( DefaultToMatchOnTypeMustBeCodeRef => to_match => $to_match, | ||||
498 | default_action => $default, | ||||
499 | cases_to_be_matched => \@cases | ||||
500 | ); | ||||
501 | } | ||||
502 | while (@cases) { | ||||
503 | my ($type, $action) = splice @cases, 0, 2; | ||||
504 | |||||
505 | unless (blessed $type && $type->isa('Moose::Meta::TypeConstraint')) { | ||||
506 | $type = find_or_parse_type_constraint($type) | ||||
507 | || throw_exception( CannotFindTypeGivenToMatchOnType => type => $type, | ||||
508 | to_match => $to_match, | ||||
509 | action => $action | ||||
510 | ); | ||||
511 | } | ||||
512 | |||||
513 | (ref $action eq 'CODE') | ||||
514 | || throw_exception( MatchActionMustBeACodeRef => type_name => $type->name, | ||||
515 | action => $action, | ||||
516 | to_match => $to_match | ||||
517 | ); | ||||
518 | |||||
519 | if ($type->check($to_match)) { | ||||
520 | local $_ = $to_match; | ||||
521 | return $action->($to_match); | ||||
522 | } | ||||
523 | } | ||||
524 | (defined $default) | ||||
525 | || throw_exception( NoCasesMatched => to_match => $to_match, | ||||
526 | cases_to_be_matched => \@cases | ||||
527 | ); | ||||
528 | { | ||||
529 | local $_ = $to_match; | ||||
530 | return $default->($to_match); | ||||
531 | } | ||||
532 | } | ||||
533 | |||||
534 | |||||
535 | ## -------------------------------------------------------- | ||||
536 | ## desugaring functions ... | ||||
537 | ## -------------------------------------------------------- | ||||
538 | |||||
539 | sub _create_type_constraint ($$$;$) { | ||||
540 | 17 | 3µs | my $name = shift; | ||
541 | 17 | 1µs | my $parent = shift; | ||
542 | 17 | 2µs | my $check = shift; | ||
543 | 17 | 7µs | my $message = shift; | ||
544 | 17 | 2µs | my $inlined = shift; | ||
545 | |||||
546 | 17 | 8µs | my $pkg_defined_in = scalar( caller(1) ); | ||
547 | |||||
548 | 17 | 5µs | if ( defined $name ) { | ||
549 | 17 | 14µs | 17 | 50µs | my $type = $REGISTRY->get_type_constraint($name); # spent 50µs making 17 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 3µs/call |
550 | |||||
551 | 17 | 2µs | ( $type->_package_defined_in eq $pkg_defined_in ) | ||
552 | || throw_exception( TypeConstraintIsAlreadyCreated => package_defined_in => $pkg_defined_in, | ||||
553 | type_name => $type->name, | ||||
554 | ) | ||||
555 | if defined $type; | ||||
556 | |||||
557 | 17 | 47µs | 17 | 24µs | if( $name !~ /^[\w:\.]+$/ ) { # spent 24µs making 17 calls to Moose::Util::TypeConstraints::CORE:match, avg 1µs/call |
558 | throw_exception( InvalidNameForType => name => $name ); | ||||
559 | } | ||||
560 | } | ||||
561 | |||||
562 | 17 | 22µs | my %opts = ( | ||
563 | name => $name, | ||||
564 | package_defined_in => $pkg_defined_in, | ||||
565 | |||||
566 | ( $check ? ( constraint => $check ) : () ), | ||||
567 | ( $message ? ( message => $message ) : () ), | ||||
568 | ( $inlined ? ( inlined => $inlined ) : () ), | ||||
569 | ); | ||||
570 | |||||
571 | 17 | 1µs | my $constraint; | ||
572 | 17 | 60µs | 64 | 6.77ms | if ( # spent 6.46ms making 16 calls to Moose::Meta::TypeConstraint::create_child_type, avg 404µs/call
# spent 305µs making 16 calls to Moose::Util::TypeConstraints::find_or_create_isa_type_constraint, avg 19µs/call
# spent 4µs making 16 calls to Scalar::Util::blessed, avg 256ns/call
# spent 3µs making 16 calls to Moose::Meta::TypeConstraint::__ANON__[Moose/Meta/TypeConstraint.pm:10], avg 200ns/call |
573 | defined $parent | ||||
574 | and $parent | ||||
575 | = blessed $parent | ||||
576 | ? $parent | ||||
577 | : find_or_create_isa_type_constraint($parent) | ||||
578 | ) { | ||||
579 | $constraint = $parent->create_child_type(%opts); | ||||
580 | } | ||||
581 | else { | ||||
582 | 1 | 3µs | 1 | 638µs | $constraint = Moose::Meta::TypeConstraint->new(%opts); # spent 638µs making 1 call to Moose::Meta::TypeConstraint::new |
583 | } | ||||
584 | |||||
585 | 17 | 14µs | 17 | 177µs | $REGISTRY->add_type_constraint($constraint) # spent 177µs making 17 calls to Moose::Meta::TypeConstraint::Registry::add_type_constraint, avg 10µs/call |
586 | if defined $name; | ||||
587 | |||||
588 | 17 | 28µs | return $constraint; | ||
589 | } | ||||
590 | |||||
591 | sub _install_type_coercions ($$) { | ||||
592 | my ( $type_name, $coercion_map ) = @_; | ||||
593 | my $type = find_type_constraint($type_name); | ||||
594 | ( defined $type ) | ||||
595 | || throw_exception( CannotFindType => type_name => $type_name ); | ||||
596 | |||||
597 | if ( $type->has_coercion ) { | ||||
598 | $type->coercion->add_type_coercions(@$coercion_map); | ||||
599 | } | ||||
600 | else { | ||||
601 | my $type_coercion = Moose::Meta::TypeCoercion->new( | ||||
602 | type_coercion_map => $coercion_map, | ||||
603 | type_constraint => $type | ||||
604 | ); | ||||
605 | $type->coercion($type_coercion); | ||||
606 | } | ||||
607 | } | ||||
608 | |||||
609 | ## -------------------------------------------------------- | ||||
610 | ## type notation parsing ... | ||||
611 | ## -------------------------------------------------------- | ||||
612 | |||||
613 | { | ||||
614 | |||||
615 | # All I have to say is mugwump++ cause I know | ||||
616 | # do not even have enough regexp-fu to be able | ||||
617 | # to have written this (I can only barely | ||||
618 | # understand it as it is) | ||||
619 | # - SL | ||||
620 | |||||
621 | 2 | 241µs | 2 | 1.07ms | # spent 1.06ms (880µs+180µs) within Moose::Util::TypeConstraints::BEGIN@621 which was called:
# once (880µs+180µs) by Moose::Meta::Attribute::BEGIN@16 at line 621 # spent 1.06ms making 1 call to Moose::Util::TypeConstraints::BEGIN@621
# spent 10µs making 1 call to re::import |
622 | |||||
623 | 1 | 5µs | 1 | 2µs | my $valid_chars = qr{[\w:\.]}; # spent 2µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
624 | 1 | 80µs | 2 | 73µs | my $type_atom = qr{ (?>$valid_chars+) }x; # spent 72µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 600ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
625 | 1 | 2µs | 1 | 600ns | my $ws = qr{ (?>\s*) }x; # spent 600ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
626 | 1 | 12µs | 2 | 9µs | my $op_union = qr{ $ws \| $ws }x; # spent 9µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 500ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
627 | |||||
628 | 1 | 200ns | my ($type, $type_capture_parts, $type_with_parameter, $union, $any); | ||
629 | 1 | 2µs | if (Class::MOP::IS_RUNNING_ON_5_10) { | ||
630 | 1 | 200ns | my $type_pattern | ||
631 | = q{ (?&type_atom) (?: \[ (?&ws) (?&any) (?&ws) \] )? }; | ||||
632 | 1 | 100ns | my $type_capture_parts_pattern | ||
633 | = q{ ((?&type_atom)) (?: \[ (?&ws) ((?&any)) (?&ws) \] )? }; | ||||
634 | 1 | 100ns | my $type_with_parameter_pattern | ||
635 | = q{ (?&type_atom) \[ (?&ws) (?&any) (?&ws) \] }; | ||||
636 | 1 | 100ns | my $union_pattern | ||
637 | = q{ (?&type) (?> (?: (?&op_union) (?&type) )+ ) }; | ||||
638 | 1 | 200ns | my $any_pattern | ||
639 | = q{ (?&type) | (?&union) }; | ||||
640 | |||||
641 | 1 | 51µs | 2 | 47µs | my $defines = qr{(?(DEFINE) # spent 47µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 400ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
642 | (?<valid_chars> $valid_chars) | ||||
643 | (?<type_atom> $type_atom) | ||||
644 | (?<ws> $ws) | ||||
645 | (?<op_union> $op_union) | ||||
646 | (?<type> $type_pattern) | ||||
647 | (?<type_capture_parts> $type_capture_parts_pattern) | ||||
648 | (?<type_with_parameter> $type_with_parameter_pattern) | ||||
649 | (?<union> $union_pattern) | ||||
650 | (?<any> $any_pattern) | ||||
651 | )}x; | ||||
652 | |||||
653 | 1 | 104µs | 2 | 97µs | $type = qr{ $type_pattern $defines }x; # spent 97µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 500ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
654 | 1 | 91µs | 2 | 84µs | $type_capture_parts = qr{ $type_capture_parts_pattern $defines }x; # spent 83µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 400ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
655 | 1 | 107µs | 2 | 90µs | $type_with_parameter = qr{ $type_with_parameter_pattern $defines }x; # spent 89µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 1µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
656 | 1 | 100µs | 2 | 84µs | $union = qr{ $union_pattern $defines }x; # spent 84µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 500ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
657 | 1 | 293µs | 2 | 286µs | $any = qr{ $any_pattern $defines }x; # spent 286µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 600ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
658 | } | ||||
659 | else { | ||||
660 | $type | ||||
661 | = qr{ $type_atom (?: \[ $ws (??{$any}) $ws \] )? }x; | ||||
662 | $type_capture_parts | ||||
663 | = qr{ ($type_atom) (?: \[ $ws ((??{$any})) $ws \] )? }x; | ||||
664 | $type_with_parameter | ||||
665 | = qr{ $type_atom \[ $ws (??{$any}) $ws \] }x; | ||||
666 | $union | ||||
667 | = qr{ $type (?> (?: $op_union $type )+ ) }x; | ||||
668 | $any | ||||
669 | = qr{ $type | $union }x; | ||||
670 | } | ||||
671 | |||||
672 | |||||
673 | # spent 163µs (16+147) within Moose::Util::TypeConstraints::_parse_parameterized_type_constraint which was called 2 times, avg 81µs/call:
# 2 times (16µs+147µs) by Moose::Util::TypeConstraints::create_parameterized_type_constraint at line 113, avg 81µs/call | ||||
674 | 6 | 46µs | 2 | 36µs | # spent 23µs (9+14) within Moose::Util::TypeConstraints::BEGIN@674 which was called:
# once (9µs+14µs) by Moose::Meta::Attribute::BEGIN@16 at line 674 # spent 23µs making 1 call to Moose::Util::TypeConstraints::BEGIN@674
# spent 14µs making 1 call to warnings::unimport |
675 | 2 | 157µs | 4 | 147µs | $_[0] =~ m{ $type_capture_parts }x; # spent 140µs making 2 calls to Moose::Util::TypeConstraints::CORE:regcomp, avg 70µs/call
# spent 7µs making 2 calls to Moose::Util::TypeConstraints::CORE:match, avg 4µs/call |
676 | 2 | 6µs | return ( $1, $2 ); | ||
677 | } | ||||
678 | |||||
679 | # spent 567µs (110+457) within Moose::Util::TypeConstraints::_detect_parameterized_type_constraint which was called 28 times, avg 20µs/call:
# 28 times (110µs+457µs) by Moose::Util::TypeConstraints::find_or_parse_type_constraint at line 260, avg 20µs/call | ||||
680 | 58 | 48µs | 2 | 17µs | # spent 12µs (6+6) within Moose::Util::TypeConstraints::BEGIN@680 which was called:
# once (6µs+6µs) by Moose::Meta::Attribute::BEGIN@16 at line 680 # spent 12µs making 1 call to Moose::Util::TypeConstraints::BEGIN@680
# spent 6µs making 1 call to warnings::unimport |
681 | 28 | 572µs | 56 | 457µs | $_[0] =~ m{ ^ $type_with_parameter $ }x; # spent 438µs making 28 calls to Moose::Util::TypeConstraints::CORE:regcomp, avg 16µs/call
# spent 19µs making 28 calls to Moose::Util::TypeConstraints::CORE:match, avg 679ns/call |
682 | } | ||||
683 | |||||
684 | sub _parse_type_constraint_union { | ||||
685 | 2 | 59µs | 2 | 18µs | # spent 12µs (8+5) within Moose::Util::TypeConstraints::BEGIN@685 which was called:
# once (8µs+5µs) by Moose::Meta::Attribute::BEGIN@16 at line 685 # spent 12µs making 1 call to Moose::Util::TypeConstraints::BEGIN@685
# spent 5µs making 1 call to warnings::unimport |
686 | my $given = shift; | ||||
687 | my @rv; | ||||
688 | while ( $given =~ m{ \G (?: $op_union )? ($type) }gcx ) { | ||||
689 | push @rv => $1; | ||||
690 | } | ||||
691 | ( pos($given) eq length($given) ) | ||||
692 | || throw_exception( CouldNotParseType => type => $given, | ||||
693 | position => pos($given) | ||||
694 | ); | ||||
695 | @rv; | ||||
696 | } | ||||
697 | |||||
698 | # spent 689µs (174+514) within Moose::Util::TypeConstraints::_detect_type_constraint_union which was called 28 times, avg 25µs/call:
# 28 times (174µs+514µs) by Moose::Util::TypeConstraints::find_or_parse_type_constraint at line 260, avg 25µs/call | ||||
699 | 58 | 172µs | 2 | 15µs | # spent 10µs (5+5) within Moose::Util::TypeConstraints::BEGIN@699 which was called:
# once (5µs+5µs) by Moose::Meta::Attribute::BEGIN@16 at line 699 # spent 10µs making 1 call to Moose::Util::TypeConstraints::BEGIN@699
# spent 5µs making 1 call to warnings::unimport |
700 | 28 | 683µs | 56 | 514µs | $_[0] =~ m{^ $type $op_union $type ( $op_union .* )? $}x; # spent 501µs making 28 calls to Moose::Util::TypeConstraints::CORE:regcomp, avg 18µs/call
# spent 13µs making 28 calls to Moose::Util::TypeConstraints::CORE:match, avg 464ns/call |
701 | } | ||||
702 | } | ||||
703 | |||||
704 | ## -------------------------------------------------------- | ||||
705 | # define some basic built-in types | ||||
706 | ## -------------------------------------------------------- | ||||
707 | |||||
708 | # By making these classes immutable before creating all the types in | ||||
709 | # Moose::Util::TypeConstraints::Builtin , we avoid repeatedly calling the slow | ||||
710 | # MOP-based accessors. | ||||
711 | 1 | 81µs | $_->make_immutable( | ||
712 | inline_constructor => 1, | ||||
713 | constructor_name => "_new", | ||||
714 | |||||
715 | # these are Class::MOP accessors, so they need inlining | ||||
716 | inline_accessors => 1 | ||||
717 | 10 | 22µs | 18 | 28.2ms | ) for grep { $_->is_mutable } # spent 28.2ms making 9 calls to Class::MOP::Class::make_immutable, avg 3.13ms/call
# spent 2µs making 9 calls to Class::MOP::Class::is_mutable, avg 244ns/call |
718 | 9 | 4µs | 9 | 17µs | map { Class::MOP::class_of($_) } # spent 17µs making 9 calls to Class::MOP::class_of, avg 2µs/call |
719 | qw( | ||||
720 | Moose::Meta::TypeConstraint | ||||
721 | Moose::Meta::TypeConstraint::Union | ||||
722 | Moose::Meta::TypeConstraint::Parameterized | ||||
723 | Moose::Meta::TypeConstraint::Parameterizable | ||||
724 | Moose::Meta::TypeConstraint::Class | ||||
725 | Moose::Meta::TypeConstraint::Role | ||||
726 | Moose::Meta::TypeConstraint::Enum | ||||
727 | Moose::Meta::TypeConstraint::DuckType | ||||
728 | Moose::Meta::TypeConstraint::Registry | ||||
729 | ); | ||||
730 | |||||
731 | 1 | 79µs | require Moose::Util::TypeConstraints::Builtins; | ||
732 | 1 | 2µs | 1 | 9.04ms | Moose::Util::TypeConstraints::Builtins::define_builtins($REGISTRY); # spent 9.04ms making 1 call to Moose::Util::TypeConstraints::Builtins::define_builtins |
733 | |||||
734 | my @PARAMETERIZABLE_TYPES | ||||
735 | 5 | 4µs | 4 | 8µs | = map { $REGISTRY->get_type_constraint($_) } qw[ScalarRef ArrayRef HashRef Maybe]; # spent 8µs making 4 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 2µs/call |
736 | |||||
737 | 2 | 4µs | # spent 2µs within Moose::Util::TypeConstraints::get_all_parameterizable_types which was called 2 times, avg 1µs/call:
# 2 times (2µs+0s) by Moose::Meta::TypeConstraint::Parameterized::compile_type_constraint at line 54 of Moose/Meta/TypeConstraint/Parameterized.pm, avg 1µs/call | ||
738 | |||||
739 | sub add_parameterizable_type { | ||||
740 | my $type = shift; | ||||
741 | ( blessed $type | ||||
742 | && $type->isa('Moose::Meta::TypeConstraint::Parameterizable') ) | ||||
743 | || throw_exception( AddParameterizableTypeTakesParameterizableType => type_name => $type ); | ||||
744 | |||||
745 | push @PARAMETERIZABLE_TYPES => $type; | ||||
746 | } | ||||
747 | |||||
748 | ## -------------------------------------------------------- | ||||
749 | # end of built-in types ... | ||||
750 | ## -------------------------------------------------------- | ||||
751 | |||||
752 | { | ||||
753 | 1 | 3µs | 1 | 6µs | my @BUILTINS = list_all_type_constraints(); # spent 6µs making 1 call to Moose::Util::TypeConstraints::list_all_type_constraints |
754 | sub list_all_builtin_type_constraints {@BUILTINS} | ||||
755 | } | ||||
756 | |||||
757 | 2 | 37µs | 1; | ||
758 | |||||
759 | # ABSTRACT: Type constraint system for Moose | ||||
760 | |||||
761 | __END__ | ||||
# spent 63µs within Moose::Util::TypeConstraints::CORE:match which was called 75 times, avg 845ns/call:
# 28 times (19µs+0s) by Moose::Util::TypeConstraints::_detect_parameterized_type_constraint at line 681, avg 679ns/call
# 28 times (13µs+0s) by Moose::Util::TypeConstraints::_detect_type_constraint_union at line 700, avg 464ns/call
# 17 times (24µs+0s) by Moose::Util::TypeConstraints::_create_type_constraint at line 557, avg 1µs/call
# 2 times (7µs+0s) by Moose::Util::TypeConstraints::_parse_parameterized_type_constraint at line 675, avg 4µs/call | |||||
# spent 8µs within Moose::Util::TypeConstraints::CORE:qr which was called 10 times, avg 750ns/call:
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 623
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 655
# once (600ns+0s) by Moose::Meta::Attribute::BEGIN@16 at line 624
# once (600ns+0s) by Moose::Meta::Attribute::BEGIN@16 at line 625
# once (600ns+0s) by Moose::Meta::Attribute::BEGIN@16 at line 657
# once (500ns+0s) by Moose::Meta::Attribute::BEGIN@16 at line 626
# once (500ns+0s) by Moose::Meta::Attribute::BEGIN@16 at line 656
# once (500ns+0s) by Moose::Meta::Attribute::BEGIN@16 at line 653
# once (400ns+0s) by Moose::Meta::Attribute::BEGIN@16 at line 641
# once (400ns+0s) by Moose::Meta::Attribute::BEGIN@16 at line 654 | |||||
# spent 1.85ms within Moose::Util::TypeConstraints::CORE:regcomp which was called 66 times, avg 28µs/call:
# 28 times (501µs+0s) by Moose::Util::TypeConstraints::_detect_type_constraint_union at line 700, avg 18µs/call
# 28 times (438µs+0s) by Moose::Util::TypeConstraints::_detect_parameterized_type_constraint at line 681, avg 16µs/call
# 2 times (140µs+0s) by Moose::Util::TypeConstraints::_parse_parameterized_type_constraint at line 675, avg 70µs/call
# once (286µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 657
# once (97µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 653
# once (89µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 655
# once (84µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 656
# once (83µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 654
# once (72µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 624
# once (47µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 641
# once (9µs+0s) by Moose::Meta::Attribute::BEGIN@16 at line 626 | |||||
# spent 37µs within Moose::Util::TypeConstraints::CORE:subst which was called 46 times, avg 811ns/call:
# 46 times (37µs+0s) by Moose::Util::TypeConstraints::normalize_type_constraint_name at line 280, avg 811ns/call |