| File | /usr/local/lib/perl5/site_perl/5.10.1/darwin-2level/Moose/Util/TypeConstraints.pm |
| Statements Executed | 880 |
| Statement Execution Time | 8.89ms |
| Calls | P | F | Exclusive Time |
Inclusive Time |
Subroutine |
|---|---|---|---|---|---|
| 1 | 1 | 1 | 1.24ms | 2.40ms | Moose::Util::TypeConstraints::BEGIN@29 |
| 1 | 1 | 1 | 1.24ms | 1.80ms | Moose::Util::TypeConstraints::BEGIN@32 |
| 1 | 1 | 1 | 1.09ms | 1.62ms | Moose::Util::TypeConstraints::BEGIN@33 |
| 1 | 1 | 1 | 813µs | 860µs | Moose::Util::TypeConstraints::BEGIN@572 |
| 1 | 1 | 1 | 628µs | 1.35ms | Moose::Util::TypeConstraints::BEGIN@35 |
| 1 | 1 | 1 | 507µs | 585µs | Moose::Util::TypeConstraints::BEGIN@39 |
| 1 | 1 | 1 | 463µs | 929µs | Moose::Util::TypeConstraints::BEGIN@34 |
| 1 | 1 | 1 | 449µs | 2.25ms | Moose::Util::TypeConstraints::BEGIN@30 |
| 1 | 1 | 1 | 436µs | 1.54ms | Moose::Util::TypeConstraints::BEGIN@38 |
| 18 | 2 | 1 | 412µs | 2.94ms | Moose::Util::TypeConstraints::_create_type_constraint |
| 17 | 17 | 1 | 360µs | 3.17ms | Moose::Util::TypeConstraints::subtype |
| 7 | 7 | 2 | 230µs | 230µs | Moose::Util::TypeConstraints::CORE:regcomp (opcode) |
| 23 | 7 | 3 | 161µs | 391µs | Moose::Util::TypeConstraints::find_type_constraint |
| 17 | 1 | 1 | 127µs | 552µs | Moose::Util::TypeConstraints::find_or_parse_type_constraint |
| 17 | 1 | 1 | 89µs | 707µs | Moose::Util::TypeConstraints::find_or_create_isa_type_constraint |
| 17 | 1 | 1 | 55µs | 67µs | Moose::Util::TypeConstraints::normalize_type_constraint_name |
| 18 | 1 | 2 | 40µs | 40µs | Moose::Util::TypeConstraints::CORE:match (opcode) |
| 17 | 17 | 1 | 34µs | 34µs | Moose::Util::TypeConstraints::as |
| 17 | 17 | 1 | 28µs | 28µs | Moose::Util::TypeConstraints::where |
| 1 | 1 | 1 | 21µs | 282µs | Moose::Util::TypeConstraints::type |
| 13 | 13 | 1 | 16µs | 16µs | Moose::Util::TypeConstraints::optimize_as |
| 1 | 1 | 1 | 15µs | 47µs | Moose::Util::TypeConstraints::register_type_constraint |
| 9 | 9 | 2 | 14µs | 14µs | Moose::Util::TypeConstraints::CORE:qr (opcode) |
| 1 | 1 | 1 | 14µs | 44µs | Moose::Util::TypeConstraints::BEGIN@5 |
| 1 | 1 | 1 | 14µs | 236µs | Moose::Util::TypeConstraints::create_class_type_constraint |
| 1 | 1 | 1 | 14µs | 24µs | Moose::Util::TypeConstraints::BEGIN@619 |
| 17 | 1 | 2 | 12µs | 12µs | Moose::Util::TypeConstraints::CORE:subst (opcode) |
| 1 | 1 | 1 | 12µs | 13µs | Moose::Util::TypeConstraints::list_all_type_constraints |
| 1 | 1 | 1 | 12µs | 12µs | Moose::Util::TypeConstraints::BEGIN@4 |
| 1 | 1 | 1 | 10µs | 293µs | Moose::Util::TypeConstraints::class_type |
| 1 | 1 | 1 | 10µs | 19µs | Moose::Util::TypeConstraints::BEGIN@598 |
| 1 | 1 | 1 | 10µs | 25µs | Moose::Util::TypeConstraints::BEGIN@592 |
| 1 | 1 | 1 | 7µs | 25µs | Moose::Util::TypeConstraints::BEGIN@65 |
| 1 | 1 | 1 | 7µs | 15µs | Moose::Util::TypeConstraints::BEGIN@603 |
| 1 | 1 | 1 | 7µs | 26µs | Moose::Util::TypeConstraints::BEGIN@7 |
| 1 | 1 | 1 | 7µs | 7µs | Moose::Util::TypeConstraints::BEGIN@36 |
| 1 | 1 | 1 | 6µs | 32µs | Moose::Util::TypeConstraints::BEGIN@6 |
| 1 | 1 | 1 | 4µs | 4µs | Moose::Util::TypeConstraints::BEGIN@28 |
| 1 | 1 | 1 | 4µs | 4µs | Moose::Util::TypeConstraints::BEGIN@31 |
| 1 | 1 | 1 | 3µs | 3µs | Moose::Util::TypeConstraints::BEGIN@37 |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:277] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:302] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:308] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:650] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:653] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:654] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:657] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:659] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:662] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:665] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:669] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:672] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:675] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:677] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:680] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:688] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:694] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:698] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:701] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:704] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:709] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:70] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:720] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:728] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:729] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:738] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:749] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:750] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:759] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:770] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:771] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:780] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:787] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::__ANON__[:788] |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::_confess |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::_create_parameterized_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::_detect_parameterized_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::_detect_type_constraint_union |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::_install_type_coercions |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::_parse_parameterized_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::_parse_type_constraint_union |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::_throw_error |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::add_parameterizable_type |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::coerce |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::create_duck_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::create_enum_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::create_parameterized_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::create_role_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::create_type_constraint_union |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::duck_type |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::enum |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::export_type_constraints_as_functions |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::find_or_create_does_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::find_or_create_type_constraint |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::from |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::get_all_parameterizable_types |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::get_type_constraint_registry |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::list_all_builtin_type_constraints |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::match_on_type |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::maybe_type |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::message |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::role_type |
| 0 | 0 | 0 | 0s | 0s | Moose::Util::TypeConstraints::via |
| Line | State ments |
Time on line |
Calls | Time in subs |
Code |
|---|---|---|---|---|---|
| 1 | |||||
| 2 | package Moose::Util::TypeConstraints; | ||||
| 3 | |||||
| 4 | 3 | 29µs | 1 | 12µs | # spent 12µs within Moose::Util::TypeConstraints::BEGIN@4 which was called
# once (12µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 4 # spent 12µs making 1 call to Moose::Util::TypeConstraints::BEGIN@4 |
| 5 | 3 | 25µs | 2 | 74µs | # spent 44µs (14+30) within Moose::Util::TypeConstraints::BEGIN@5 which was called
# once (14µs+30µs) by Moose::Meta::Attribute::BEGIN@18 at line 5 # spent 44µs making 1 call to Moose::Util::TypeConstraints::BEGIN@5
# spent 30µs making 1 call to Exporter::import |
| 6 | 3 | 21µs | 2 | 58µs | # spent 32µs (6+26) within Moose::Util::TypeConstraints::BEGIN@6 which was called
# once (6µs+26µs) by Moose::Meta::Attribute::BEGIN@18 at line 6 # spent 32µs making 1 call to Moose::Util::TypeConstraints::BEGIN@6
# spent 26µs making 1 call to Exporter::import |
| 7 | 3 | 61µs | 2 | 44µs | # spent 26µs (7+19) within Moose::Util::TypeConstraints::BEGIN@7 which was called
# once (7µs+19µs) by Moose::Meta::Attribute::BEGIN@18 at line 7 # spent 26µs making 1 call to Moose::Util::TypeConstraints::BEGIN@7
# spent 19µs making 1 call to Moose::Exporter::import |
| 8 | |||||
| 9 | 1 | 900ns | our $VERSION = '0.98'; | ||
| 10 | 1 | 15µs | $VERSION = eval $VERSION; | ||
| 11 | 1 | 400ns | our $AUTHORITY = 'cpan:STEVAN'; | ||
| 12 | |||||
| 13 | ## -------------------------------------------------------- | ||||
| 14 | # Prototyped subs must be predeclared because we have a | ||||
| 15 | # circular dependency with Moose::Meta::Attribute et. al. | ||||
| 16 | # so in case of us being use'd first the predeclaration | ||||
| 17 | # ensures the prototypes are in scope when consumers are | ||||
| 18 | # compiled. | ||||
| 19 | |||||
| 20 | # dah sugah! | ||||
| 21 | sub where (&); | ||||
| 22 | sub via (&); | ||||
| 23 | sub message (&); | ||||
| 24 | sub optimize_as (&); | ||||
| 25 | |||||
| 26 | ## -------------------------------------------------------- | ||||
| 27 | |||||
| 28 | 3 | 18µs | 1 | 4µs | # spent 4µs within Moose::Util::TypeConstraints::BEGIN@28 which was called
# once (4µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 28 # spent 4µs making 1 call to Moose::Util::TypeConstraints::BEGIN@28 |
| 29 | 3 | 672µs | 1 | 2.40ms | # spent 2.40ms (1.24+1.16) within Moose::Util::TypeConstraints::BEGIN@29 which was called
# once (1.24ms+1.16ms) by Moose::Meta::Attribute::BEGIN@18 at line 29 # spent 2.40ms making 1 call to Moose::Util::TypeConstraints::BEGIN@29 |
| 30 | 3 | 95µs | 1 | 2.25ms | # spent 2.25ms (449µs+1.80) within Moose::Util::TypeConstraints::BEGIN@30 which was called
# once (449µs+1.80ms) by Moose::Meta::Attribute::BEGIN@18 at line 30 # spent 2.25ms making 1 call to Moose::Util::TypeConstraints::BEGIN@30 |
| 31 | 3 | 18µs | 1 | 4µs | # spent 4µs within Moose::Util::TypeConstraints::BEGIN@31 which was called
# once (4µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 31 # spent 4µs making 1 call to Moose::Util::TypeConstraints::BEGIN@31 |
| 32 | 3 | 686µs | 1 | 1.80ms | # spent 1.80ms (1.24+562µs) within Moose::Util::TypeConstraints::BEGIN@32 which was called
# once (1.24ms+562µs) by Moose::Meta::Attribute::BEGIN@18 at line 32 # spent 1.80ms making 1 call to Moose::Util::TypeConstraints::BEGIN@32 |
| 33 | 3 | 640µs | 1 | 1.62ms | # spent 1.62ms (1.09+532µs) within Moose::Util::TypeConstraints::BEGIN@33 which was called
# once (1.09ms+532µs) by Moose::Meta::Attribute::BEGIN@18 at line 33 # spent 1.62ms making 1 call to Moose::Util::TypeConstraints::BEGIN@33 |
| 34 | 3 | 97µs | 1 | 929µs | # spent 929µs (463+466) within Moose::Util::TypeConstraints::BEGIN@34 which was called
# once (463µs+466µs) by Moose::Meta::Attribute::BEGIN@18 at line 34 # spent 929µs making 1 call to Moose::Util::TypeConstraints::BEGIN@34 |
| 35 | 3 | 96µs | 1 | 1.35ms | # spent 1.35ms (628µs+718µs) within Moose::Util::TypeConstraints::BEGIN@35 which was called
# once (628µs+718µs) by Moose::Meta::Attribute::BEGIN@18 at line 35 # spent 1.35ms making 1 call to Moose::Util::TypeConstraints::BEGIN@35 |
| 36 | 3 | 21µs | 1 | 7µs | # spent 7µs within Moose::Util::TypeConstraints::BEGIN@36 which was called
# once (7µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 36 # spent 7µs making 1 call to Moose::Util::TypeConstraints::BEGIN@36 |
| 37 | 3 | 17µs | 1 | 3µs | # spent 3µs within Moose::Util::TypeConstraints::BEGIN@37 which was called
# once (3µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 37 # spent 3µs making 1 call to Moose::Util::TypeConstraints::BEGIN@37 |
| 38 | 3 | 97µs | 1 | 1.54ms | # spent 1.54ms (436µs+1.10) within Moose::Util::TypeConstraints::BEGIN@38 which was called
# once (436µs+1.10ms) by Moose::Meta::Attribute::BEGIN@18 at line 38 # spent 1.54ms making 1 call to Moose::Util::TypeConstraints::BEGIN@38 |
| 39 | 3 | 170µs | 1 | 585µs | # spent 585µs (507+78) within Moose::Util::TypeConstraints::BEGIN@39 which was called
# once (507µs+78µs) by Moose::Meta::Attribute::BEGIN@18 at line 39 # spent 585µs making 1 call to Moose::Util::TypeConstraints::BEGIN@39 |
| 40 | |||||
| 41 | 1 | 7µs | 1 | 877µs | Moose::Exporter->setup_import_methods( # spent 877µs making 1 call to Moose::Exporter::setup_import_methods |
| 42 | as_is => [ | ||||
| 43 | qw( | ||||
| 44 | type subtype class_type role_type maybe_type duck_type | ||||
| 45 | as where message optimize_as | ||||
| 46 | coerce from via | ||||
| 47 | enum | ||||
| 48 | find_type_constraint | ||||
| 49 | register_type_constraint | ||||
| 50 | match_on_type ) | ||||
| 51 | ], | ||||
| 52 | ); | ||||
| 53 | |||||
| 54 | ## -------------------------------------------------------- | ||||
| 55 | ## type registry and some useful functions for it | ||||
| 56 | ## -------------------------------------------------------- | ||||
| 57 | |||||
| 58 | 1 | 2µs | 1 | 323µs | my $REGISTRY = Moose::Meta::TypeConstraint::Registry->new; # spent 323µs making 1 call to Moose::Meta::TypeConstraint::Registry::new |
| 59 | |||||
| 60 | sub get_type_constraint_registry {$REGISTRY} | ||||
| 61 | 1 | 12µs | 1 | 1µs | # spent 13µs (12+1000ns) within Moose::Util::TypeConstraints::list_all_type_constraints which was called
# once (12µs+1000ns) by Moose::Meta::Attribute::BEGIN@18 at line 812 # spent 1µs making 1 call to Moose::Meta::TypeConstraint::Registry::type_constraints |
| 62 | |||||
| 63 | sub export_type_constraints_as_functions { | ||||
| 64 | my $pkg = caller(); | ||||
| 65 | 3 | 2.37ms | 2 | 43µs | # spent 25µs (7+18) within Moose::Util::TypeConstraints::BEGIN@65 which was called
# once (7µs+18µs) by Moose::Meta::Attribute::BEGIN@18 at line 65 # spent 25µs making 1 call to Moose::Util::TypeConstraints::BEGIN@65
# spent 18µs making 1 call to strict::unimport |
| 66 | foreach my $constraint ( keys %{ $REGISTRY->type_constraints } ) { | ||||
| 67 | my $tc = $REGISTRY->get_type_constraint($constraint) | ||||
| 68 | ->_compiled_type_constraint; | ||||
| 69 | *{"${pkg}::${constraint}"} | ||||
| 70 | = sub { $tc->( $_[0] ) ? 1 : undef }; # the undef is for compat | ||||
| 71 | } | ||||
| 72 | } | ||||
| 73 | |||||
| 74 | sub create_type_constraint_union { | ||||
| 75 | my @type_constraint_names; | ||||
| 76 | |||||
| 77 | if ( scalar @_ == 1 && _detect_type_constraint_union( $_[0] ) ) { | ||||
| 78 | @type_constraint_names = _parse_type_constraint_union( $_[0] ); | ||||
| 79 | } | ||||
| 80 | else { | ||||
| 81 | @type_constraint_names = @_; | ||||
| 82 | } | ||||
| 83 | |||||
| 84 | ( scalar @type_constraint_names >= 2 ) | ||||
| 85 | || __PACKAGE__->_throw_error( | ||||
| 86 | "You must pass in at least 2 type names to make a union"); | ||||
| 87 | |||||
| 88 | my @type_constraints = map { | ||||
| 89 | find_or_parse_type_constraint($_) | ||||
| 90 | || __PACKAGE__->_throw_error( | ||||
| 91 | "Could not locate type constraint ($_) for the union"); | ||||
| 92 | } @type_constraint_names; | ||||
| 93 | |||||
| 94 | return Moose::Meta::TypeConstraint::Union->new( | ||||
| 95 | type_constraints => \@type_constraints ); | ||||
| 96 | } | ||||
| 97 | |||||
| 98 | sub create_parameterized_type_constraint { | ||||
| 99 | my $type_constraint_name = shift; | ||||
| 100 | my ( $base_type, $type_parameter ) | ||||
| 101 | = _parse_parameterized_type_constraint($type_constraint_name); | ||||
| 102 | |||||
| 103 | ( defined $base_type && defined $type_parameter ) | ||||
| 104 | || __PACKAGE__->_throw_error( | ||||
| 105 | "Could not parse type name ($type_constraint_name) correctly"); | ||||
| 106 | |||||
| 107 | if ( $REGISTRY->has_type_constraint($base_type) ) { | ||||
| 108 | my $base_type_tc = $REGISTRY->get_type_constraint($base_type); | ||||
| 109 | return _create_parameterized_type_constraint( | ||||
| 110 | $base_type_tc, | ||||
| 111 | $type_parameter | ||||
| 112 | ); | ||||
| 113 | } | ||||
| 114 | else { | ||||
| 115 | __PACKAGE__->_throw_error( | ||||
| 116 | "Could not locate the base type ($base_type)"); | ||||
| 117 | } | ||||
| 118 | } | ||||
| 119 | |||||
| 120 | sub _create_parameterized_type_constraint { | ||||
| 121 | my ( $base_type_tc, $type_parameter ) = @_; | ||||
| 122 | if ( $base_type_tc->can('parameterize') ) { | ||||
| 123 | return $base_type_tc->parameterize($type_parameter); | ||||
| 124 | } | ||||
| 125 | else { | ||||
| 126 | return Moose::Meta::TypeConstraint::Parameterized->new( | ||||
| 127 | name => $base_type_tc->name . '[' . $type_parameter . ']', | ||||
| 128 | parent => $base_type_tc, | ||||
| 129 | type_parameter => | ||||
| 130 | find_or_create_isa_type_constraint($type_parameter), | ||||
| 131 | ); | ||||
| 132 | } | ||||
| 133 | } | ||||
| 134 | |||||
| 135 | #should we also support optimized checks? | ||||
| 136 | # spent 236µs (14+222) within Moose::Util::TypeConstraints::create_class_type_constraint which was called
# once (14µs+222µs) by Moose::Util::TypeConstraints::class_type at line 337 | ||||
| 137 | 1 | 1µs | my ( $class, $options ) = @_; | ||
| 138 | |||||
| 139 | # too early for this check | ||||
| 140 | #find_type_constraint("ClassName")->check($class) | ||||
| 141 | # || __PACKAGE__->_throw_error("Can't create a class type constraint because '$class' is not a class name"); | ||||
| 142 | |||||
| 143 | my %options = ( | ||||
| 144 | class => $class, | ||||
| 145 | name => $class, | ||||
| 146 | 1 | 3µs | %{ $options || {} }, | ||
| 147 | ); | ||||
| 148 | |||||
| 149 | 1 | 900ns | $options{name} ||= "__ANON__"; | ||
| 150 | |||||
| 151 | 1 | 9µs | 1 | 222µs | Moose::Meta::TypeConstraint::Class->new(%options); # spent 222µs making 1 call to Moose::Meta::TypeConstraint::Class::new |
| 152 | } | ||||
| 153 | |||||
| 154 | sub create_role_type_constraint { | ||||
| 155 | my ( $role, $options ) = @_; | ||||
| 156 | |||||
| 157 | # too early for this check | ||||
| 158 | #find_type_constraint("ClassName")->check($class) | ||||
| 159 | # || __PACKAGE__->_throw_error("Can't create a class type constraint because '$class' is not a class name"); | ||||
| 160 | |||||
| 161 | my %options = ( | ||||
| 162 | role => $role, | ||||
| 163 | name => $role, | ||||
| 164 | %{ $options || {} }, | ||||
| 165 | ); | ||||
| 166 | |||||
| 167 | $options{name} ||= "__ANON__"; | ||||
| 168 | |||||
| 169 | Moose::Meta::TypeConstraint::Role->new(%options); | ||||
| 170 | } | ||||
| 171 | |||||
| 172 | sub find_or_create_type_constraint { | ||||
| 173 | my ( $type_constraint_name, $options_for_anon_type ) = @_; | ||||
| 174 | |||||
| 175 | if ( my $constraint | ||||
| 176 | = find_or_parse_type_constraint($type_constraint_name) ) { | ||||
| 177 | return $constraint; | ||||
| 178 | } | ||||
| 179 | elsif ( defined $options_for_anon_type ) { | ||||
| 180 | |||||
| 181 | # NOTE: | ||||
| 182 | # if there is no $options_for_anon_type | ||||
| 183 | # specified, then we assume they don't | ||||
| 184 | # want to create one, and return nothing. | ||||
| 185 | |||||
| 186 | # otherwise assume that we should create | ||||
| 187 | # an ANON type with the $options_for_anon_type | ||||
| 188 | # options which can be passed in. It should | ||||
| 189 | # be noted that these don't get registered | ||||
| 190 | # so we need to return it. | ||||
| 191 | # - SL | ||||
| 192 | return Moose::Meta::TypeConstraint->new( | ||||
| 193 | name => '__ANON__', | ||||
| 194 | %{$options_for_anon_type} | ||||
| 195 | ); | ||||
| 196 | } | ||||
| 197 | |||||
| 198 | return; | ||||
| 199 | } | ||||
| 200 | |||||
| 201 | # spent 707µs (89+618) within Moose::Util::TypeConstraints::find_or_create_isa_type_constraint which was called 17 times, avg 42µs/call:
# 17 times (89µs+618µs) by Moose::Util::TypeConstraints::_create_type_constraint at line 523, avg 42µs/call | ||||
| 202 | 17 | 5µs | my $type_constraint_name = shift; | ||
| 203 | 17 | 57µs | 34 | 618µs | find_or_parse_type_constraint($type_constraint_name) # spent 552µs making 17 calls to Moose::Util::TypeConstraints::find_or_parse_type_constraint, avg 32µs/call
# spent 66µs making 17 calls to Moose::Meta::TypeConstraint::__ANON__[Moose/Meta/TypeConstraint.pm:8], avg 4µs/call |
| 204 | || create_class_type_constraint($type_constraint_name); | ||||
| 205 | } | ||||
| 206 | |||||
| 207 | sub find_or_create_does_type_constraint { | ||||
| 208 | my $type_constraint_name = shift; | ||||
| 209 | find_or_parse_type_constraint($type_constraint_name) | ||||
| 210 | || create_role_type_constraint($type_constraint_name); | ||||
| 211 | } | ||||
| 212 | |||||
| 213 | # spent 552µs (127+425) within Moose::Util::TypeConstraints::find_or_parse_type_constraint which was called 17 times, avg 32µs/call:
# 17 times (127µs+425µs) by Moose::Util::TypeConstraints::find_or_create_isa_type_constraint at line 203, avg 32µs/call | ||||
| 214 | 17 | 19µs | 17 | 67µs | my $type_constraint_name = normalize_type_constraint_name(shift); # spent 67µs making 17 calls to Moose::Util::TypeConstraints::normalize_type_constraint_name, avg 4µs/call |
| 215 | 17 | 2µs | my $constraint; | ||
| 216 | |||||
| 217 | 17 | 70µs | 34 | 358µs | if ( $constraint = find_type_constraint($type_constraint_name) ) { # spent 279µs making 17 calls to Moose::Util::TypeConstraints::find_type_constraint, avg 16µs/call
# spent 79µs making 17 calls to Moose::Meta::TypeConstraint::__ANON__[Moose/Meta/TypeConstraint.pm:8], avg 5µs/call |
| 218 | return $constraint; | ||||
| 219 | } | ||||
| 220 | elsif ( _detect_type_constraint_union($type_constraint_name) ) { | ||||
| 221 | $constraint = create_type_constraint_union($type_constraint_name); | ||||
| 222 | } | ||||
| 223 | elsif ( _detect_parameterized_type_constraint($type_constraint_name) ) { | ||||
| 224 | $constraint | ||||
| 225 | = create_parameterized_type_constraint($type_constraint_name); | ||||
| 226 | } | ||||
| 227 | else { | ||||
| 228 | return; | ||||
| 229 | } | ||||
| 230 | |||||
| 231 | $REGISTRY->add_type_constraint($constraint); | ||||
| 232 | return $constraint; | ||||
| 233 | } | ||||
| 234 | |||||
| 235 | # spent 67µs (55+12) within Moose::Util::TypeConstraints::normalize_type_constraint_name which was called 17 times, avg 4µs/call:
# 17 times (55µs+12µs) by Moose::Util::TypeConstraints::find_or_parse_type_constraint at line 214, avg 4µs/call | ||||
| 236 | 17 | 3µs | my $type_constraint_name = shift; | ||
| 237 | 17 | 41µs | 17 | 12µs | $type_constraint_name =~ s/\s//g; # spent 12µs making 17 calls to Moose::Util::TypeConstraints::CORE:subst, avg 718ns/call |
| 238 | 17 | 33µs | return $type_constraint_name; | ||
| 239 | } | ||||
| 240 | |||||
| 241 | sub _confess { | ||||
| 242 | my $error = shift; | ||||
| 243 | |||||
| 244 | local $Carp::CarpLevel = $Carp::CarpLevel + 1; | ||||
| 245 | Carp::confess($error); | ||||
| 246 | } | ||||
| 247 | |||||
| 248 | ## -------------------------------------------------------- | ||||
| 249 | ## exported functions ... | ||||
| 250 | ## -------------------------------------------------------- | ||||
| 251 | |||||
| 252 | # spent 391µs (161+230) within Moose::Util::TypeConstraints::find_type_constraint which was called 23 times, avg 17µs/call:
# 17 times (113µs+166µs) by Moose::Util::TypeConstraints::find_or_parse_type_constraint at line 217, avg 16µs/call
# once (11µs+14µs) by Moose::init_meta at line 155 of Moose.pm
# once (8µs+14µs) by Moose::Meta::TypeConstraint::Class::new at line 23 of Moose/Meta/TypeConstraint/Class.pm
# once (7µs+9µs) by Moose::Meta::Attribute::BEGIN@18 at line 731
# once (7µs+9µs) by Moose::Meta::Attribute::BEGIN@18 at line 752
# once (7µs+9µs) by Moose::Meta::Attribute::BEGIN@18 at line 790
# once (7µs+9µs) by Moose::Meta::Attribute::BEGIN@18 at line 773 | ||||
| 253 | 23 | 7µs | my $type = shift; | ||
| 254 | |||||
| 255 | 23 | 47µs | 23 | 8µs | if ( blessed $type and $type->isa("Moose::Meta::TypeConstraint") ) { # spent 8µs making 23 calls to Scalar::Util::blessed, avg 348ns/call |
| 256 | return $type; | ||||
| 257 | } | ||||
| 258 | else { | ||||
| 259 | 23 | 32µs | 23 | 125µs | return unless $REGISTRY->has_type_constraint($type); # spent 125µs making 23 calls to Moose::Meta::TypeConstraint::Registry::has_type_constraint, avg 5µs/call |
| 260 | 22 | 59µs | 22 | 97µs | return $REGISTRY->get_type_constraint($type); # spent 97µs making 22 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 4µs/call |
| 261 | } | ||||
| 262 | } | ||||
| 263 | |||||
| 264 | # spent 47µs (15+32) within Moose::Util::TypeConstraints::register_type_constraint which was called
# once (15µs+32µs) by Moose::Util::TypeConstraints::class_type at line 337 | ||||
| 265 | 1 | 600ns | my $constraint = shift; | ||
| 266 | 1 | 5µs | 1 | 3µs | __PACKAGE__->_throw_error("can't register an unnamed type constraint") # spent 3µs making 1 call to Moose::Meta::TypeConstraint::name |
| 267 | unless defined $constraint->name; | ||||
| 268 | 1 | 2µs | 1 | 30µs | $REGISTRY->add_type_constraint($constraint); # spent 30µs making 1 call to Moose::Meta::TypeConstraint::Registry::add_type_constraint |
| 269 | 1 | 3µs | return $constraint; | ||
| 270 | } | ||||
| 271 | |||||
| 272 | # type constructors | ||||
| 273 | |||||
| 274 | # spent 282µs (21+260) within Moose::Util::TypeConstraints::type which was called
# once (21µs+260µs) by Moose::Meta::Attribute::BEGIN@18 at line 650 | ||||
| 275 | |||||
| 276 | # back-compat version, called without sugar | ||||
| 277 | 3 | 40µs | 3 | 34µs | if ( !any { ( reftype($_) || '' ) eq 'HASH' } @_ ) { # spent 32µs making 1 call to List::MoreUtils::any
# spent 2µs making 2 calls to Scalar::Util::reftype, avg 1µs/call |
| 278 | return _create_type_constraint( $_[0], undef, $_[1] ); | ||||
| 279 | } | ||||
| 280 | |||||
| 281 | 1 | 1µs | my $name = shift; | ||
| 282 | |||||
| 283 | 1 | 4µs | my %p = map { %{$_} } @_; | ||
| 284 | |||||
| 285 | 1 | 12µs | 1 | 228µs | return _create_type_constraint( # spent 228µs making 1 call to Moose::Util::TypeConstraints::_create_type_constraint |
| 286 | $name, undef, $p{where}, $p{message}, | ||||
| 287 | $p{optimize_as} | ||||
| 288 | ); | ||||
| 289 | } | ||||
| 290 | |||||
| 291 | # spent 3.17ms (360µs+2.81) within Moose::Util::TypeConstraints::subtype which was called 17 times, avg 186µs/call:
# once (35µs+251µs) by Moose::Meta::Attribute::BEGIN@18 at line 651
# once (21µs+213µs) by Moose::Meta::Attribute::BEGIN@18 at line 654
# once (24µs+199µs) by Moose::Meta::Attribute::BEGIN@18 at line 653
# once (21µs+199µs) by Moose::Meta::Attribute::BEGIN@18 at line 657
# once (31µs+178µs) by Moose::Meta::Attribute::BEGIN@18 at line 660
# once (21µs+155µs) by Moose::Meta::Attribute::BEGIN@18 at line 666
# once (21µs+154µs) by Moose::Meta::Attribute::BEGIN@18 at line 663
# once (19µs+155µs) by Moose::Meta::Attribute::BEGIN@18 at line 676
# once (19µs+150µs) by Moose::Meta::Attribute::BEGIN@18 at line 695
# once (20µs+148µs) by Moose::Meta::Attribute::BEGIN@18 at line 678
# once (19µs+148µs) by Moose::Meta::Attribute::BEGIN@18 at line 704
# once (18µs+148µs) by Moose::Meta::Attribute::BEGIN@18 at line 681
# once (19µs+142µs) by Moose::Meta::Attribute::BEGIN@18 at line 699
# once (19µs+142µs) by Moose::Meta::Attribute::BEGIN@18 at line 688
# once (19µs+142µs) by Moose::Meta::Attribute::BEGIN@18 at line 670
# once (19µs+141µs) by Moose::Meta::Attribute::BEGIN@18 at line 709
# once (19µs+140µs) by Moose::Meta::Attribute::BEGIN@18 at line 673 | ||||
| 292 | |||||
| 293 | # crazy back-compat code for being called without sugar ... | ||||
| 294 | # | ||||
| 295 | # subtype 'Parent', sub { where }; | ||||
| 296 | 17 | 10µs | 1 | 700ns | if ( scalar @_ == 2 && ( reftype( $_[1] ) || '' ) eq 'CODE' ) { # spent 700ns making 1 call to Scalar::Util::reftype |
| 297 | return _create_type_constraint( undef, @_ ); | ||||
| 298 | } | ||||
| 299 | |||||
| 300 | # subtype 'Parent', sub { where }, sub { message }; | ||||
| 301 | # subtype 'Parent', sub { where }, sub { message }, sub { optimized }; | ||||
| 302 | 33 | 151µs | 32 | 75µs | if ( scalar @_ >= 3 && all { ( reftype($_) || '' ) eq 'CODE' } # spent 64µs making 16 calls to List::MoreUtils::all, avg 4µs/call
# spent 11µs making 16 calls to Scalar::Util::reftype, avg 681ns/call |
| 303 | @_[ 1 .. $#_ ] ) { | ||||
| 304 | return _create_type_constraint( undef, @_ ); | ||||
| 305 | } | ||||
| 306 | |||||
| 307 | # subtype 'Name', 'Parent', ... | ||||
| 308 | 51 | 99µs | 17 | 28µs | if ( scalar @_ >= 2 && all { !ref } @_[ 0, 1 ] ) { # spent 28µs making 17 calls to List::MoreUtils::all, avg 2µs/call |
| 309 | return _create_type_constraint(@_); | ||||
| 310 | } | ||||
| 311 | |||||
| 312 | 17 | 5µs | if ( @_ == 1 && !ref $_[0] ) { | ||
| 313 | __PACKAGE__->_throw_error( | ||||
| 314 | 'A subtype cannot consist solely of a name, it must have a parent' | ||||
| 315 | ); | ||||
| 316 | } | ||||
| 317 | |||||
| 318 | # The blessed check is mostly to accommodate MooseX::Types, which | ||||
| 319 | # uses an object which overloads stringification as a type name. | ||||
| 320 | 17 | 11µs | my $name = ref $_[0] && !blessed $_[0] ? undef : shift; | ||
| 321 | |||||
| 322 | 17 | 83µs | my %p = map { %{$_} } @_; | ||
| 323 | |||||
| 324 | # subtype Str => where { ... }; | ||||
| 325 | 17 | 6µs | if ( !exists $p{as} ) { | ||
| 326 | $p{as} = $name; | ||||
| 327 | $name = undef; | ||||
| 328 | } | ||||
| 329 | |||||
| 330 | 17 | 80µs | 17 | 2.71ms | return _create_type_constraint( # spent 2.71ms making 17 calls to Moose::Util::TypeConstraints::_create_type_constraint, avg 160µs/call |
| 331 | $name, $p{as}, $p{where}, $p{message}, | ||||
| 332 | $p{optimize_as} | ||||
| 333 | ); | ||||
| 334 | } | ||||
| 335 | |||||
| 336 | # spent 293µs (10+283) within Moose::Util::TypeConstraints::class_type which was called
# once (10µs+283µs) by Moose::init_meta at line 155 of Moose.pm | ||||
| 337 | 1 | 8µs | 2 | 283µs | register_type_constraint( # spent 236µs making 1 call to Moose::Util::TypeConstraints::create_class_type_constraint
# spent 47µs making 1 call to Moose::Util::TypeConstraints::register_type_constraint |
| 338 | create_class_type_constraint( | ||||
| 339 | $_[0], | ||||
| 340 | ( defined( $_[1] ) ? $_[1] : () ), | ||||
| 341 | ) | ||||
| 342 | ); | ||||
| 343 | } | ||||
| 344 | |||||
| 345 | sub role_type ($;$) { | ||||
| 346 | register_type_constraint( | ||||
| 347 | create_role_type_constraint( | ||||
| 348 | $_[0], | ||||
| 349 | ( defined( $_[1] ) ? $_[1] : () ), | ||||
| 350 | ) | ||||
| 351 | ); | ||||
| 352 | } | ||||
| 353 | |||||
| 354 | sub maybe_type { | ||||
| 355 | my ($type_parameter) = @_; | ||||
| 356 | |||||
| 357 | register_type_constraint( | ||||
| 358 | $REGISTRY->get_type_constraint('Maybe')->parameterize($type_parameter) | ||||
| 359 | ); | ||||
| 360 | } | ||||
| 361 | |||||
| 362 | sub duck_type { | ||||
| 363 | my ( $type_name, @methods ) = @_; | ||||
| 364 | if ( ref $type_name eq 'ARRAY' && !@methods ) { | ||||
| 365 | @methods = @$type_name; | ||||
| 366 | $type_name = undef; | ||||
| 367 | } | ||||
| 368 | if ( @methods == 1 && ref $methods[0] eq 'ARRAY' ) { | ||||
| 369 | @methods = @{ $methods[0] }; | ||||
| 370 | } | ||||
| 371 | |||||
| 372 | register_type_constraint( | ||||
| 373 | create_duck_type_constraint( | ||||
| 374 | $type_name, | ||||
| 375 | \@methods, | ||||
| 376 | ) | ||||
| 377 | ); | ||||
| 378 | } | ||||
| 379 | |||||
| 380 | sub coerce { | ||||
| 381 | my ( $type_name, @coercion_map ) = @_; | ||||
| 382 | _install_type_coercions( $type_name, \@coercion_map ); | ||||
| 383 | } | ||||
| 384 | |||||
| 385 | # The trick of returning @_ lets us avoid having to specify a | ||||
| 386 | # prototype. Perl will parse this: | ||||
| 387 | # | ||||
| 388 | # subtype 'Foo' | ||||
| 389 | # => as 'Str' | ||||
| 390 | # => where { ... } | ||||
| 391 | # | ||||
| 392 | # as this: | ||||
| 393 | # | ||||
| 394 | # subtype( 'Foo', as( 'Str', where { ... } ) ); | ||||
| 395 | # | ||||
| 396 | # If as() returns all it's extra arguments, this just works, and | ||||
| 397 | # preserves backwards compatibility. | ||||
| 398 | 17 | 52µs | # spent 34µs within Moose::Util::TypeConstraints::as which was called 17 times, avg 2µs/call:
# once (4µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 651
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 654
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 657
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 660
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 695
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 670
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 663
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 653
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 699
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 688
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 709
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 704
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 681
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 666
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 678
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 673
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 676 | ||
| 399 | 17 | 62µs | # spent 28µs within Moose::Util::TypeConstraints::where which was called 17 times, avg 2µs/call:
# once (3µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 650
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 660
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 670
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 654
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 663
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 653
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 657
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 666
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 673
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 695
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 709
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 676
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 681
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 688
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 699
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 678
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 704 | ||
| 400 | sub message (&) { { message => $_[0] } } | ||||
| 401 | 13 | 31µs | # spent 16µs within Moose::Util::TypeConstraints::optimize_as which was called 13 times, avg 1µs/call:
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 660
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 676
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 704
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 666
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 678
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 663
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 709
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 673
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 695
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 681
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 688
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 699
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 670 | ||
| 402 | |||||
| 403 | sub from {@_} | ||||
| 404 | sub via (&) { $_[0] } | ||||
| 405 | |||||
| 406 | sub enum { | ||||
| 407 | my ( $type_name, @values ) = @_; | ||||
| 408 | |||||
| 409 | # NOTE: | ||||
| 410 | # if only an array-ref is passed then | ||||
| 411 | # you get an anon-enum | ||||
| 412 | # - SL | ||||
| 413 | if ( ref $type_name eq 'ARRAY' && !@values ) { | ||||
| 414 | @values = @$type_name; | ||||
| 415 | $type_name = undef; | ||||
| 416 | } | ||||
| 417 | if ( @values == 1 && ref $values[0] eq 'ARRAY' ) { | ||||
| 418 | @values = @{ $values[0] }; | ||||
| 419 | } | ||||
| 420 | ( scalar @values >= 2 ) | ||||
| 421 | || __PACKAGE__->_throw_error( | ||||
| 422 | "You must have at least two values to enumerate through"); | ||||
| 423 | my %valid = map { $_ => 1 } @values; | ||||
| 424 | |||||
| 425 | register_type_constraint( | ||||
| 426 | create_enum_type_constraint( | ||||
| 427 | $type_name, | ||||
| 428 | \@values, | ||||
| 429 | ) | ||||
| 430 | ); | ||||
| 431 | } | ||||
| 432 | |||||
| 433 | sub create_enum_type_constraint { | ||||
| 434 | my ( $type_name, $values ) = @_; | ||||
| 435 | |||||
| 436 | Moose::Meta::TypeConstraint::Enum->new( | ||||
| 437 | name => $type_name || '__ANON__', | ||||
| 438 | values => $values, | ||||
| 439 | ); | ||||
| 440 | } | ||||
| 441 | |||||
| 442 | sub create_duck_type_constraint { | ||||
| 443 | my ( $type_name, $methods ) = @_; | ||||
| 444 | |||||
| 445 | Moose::Meta::TypeConstraint::DuckType->new( | ||||
| 446 | name => $type_name || '__ANON__', | ||||
| 447 | methods => $methods, | ||||
| 448 | ); | ||||
| 449 | } | ||||
| 450 | |||||
| 451 | sub match_on_type { | ||||
| 452 | my ($to_match, @cases) = @_; | ||||
| 453 | my $default; | ||||
| 454 | if (@cases % 2 != 0) { | ||||
| 455 | $default = pop @cases; | ||||
| 456 | (ref $default eq 'CODE') | ||||
| 457 | || __PACKAGE__->_throw_error("Default case must be a CODE ref, not $default"); | ||||
| 458 | } | ||||
| 459 | while (@cases) { | ||||
| 460 | my ($type, $action) = splice @cases, 0, 2; | ||||
| 461 | |||||
| 462 | unless (blessed $type && $type->isa('Moose::Meta::TypeConstraint')) { | ||||
| 463 | $type = find_or_parse_type_constraint($type) | ||||
| 464 | || __PACKAGE__->_throw_error("Cannot find or parse the type '$type'") | ||||
| 465 | } | ||||
| 466 | |||||
| 467 | (ref $action eq 'CODE') | ||||
| 468 | || __PACKAGE__->_throw_error("Match action must be a CODE ref, not $action"); | ||||
| 469 | |||||
| 470 | if ($type->check($to_match)) { | ||||
| 471 | local $_ = $to_match; | ||||
| 472 | return $action->($to_match); | ||||
| 473 | } | ||||
| 474 | } | ||||
| 475 | (defined $default) | ||||
| 476 | || __PACKAGE__->_throw_error("No cases matched for $to_match"); | ||||
| 477 | { | ||||
| 478 | local $_ = $to_match; | ||||
| 479 | return $default->($to_match); | ||||
| 480 | } | ||||
| 481 | } | ||||
| 482 | |||||
| 483 | |||||
| 484 | ## -------------------------------------------------------- | ||||
| 485 | ## desugaring functions ... | ||||
| 486 | ## -------------------------------------------------------- | ||||
| 487 | |||||
| 488 | sub _create_type_constraint ($$$;$$) { | ||||
| 489 | 18 | 4µs | my $name = shift; | ||
| 490 | 18 | 4µs | my $parent = shift; | ||
| 491 | 18 | 2µs | my $check = shift; | ||
| 492 | 18 | 9µs | my $message = shift; | ||
| 493 | 18 | 2µs | my $optimized = shift; | ||
| 494 | |||||
| 495 | 18 | 5µs | my $pkg_defined_in = scalar( caller(1) ); | ||
| 496 | |||||
| 497 | 18 | 4µs | if ( defined $name ) { | ||
| 498 | 18 | 20µs | 18 | 105µs | my $type = $REGISTRY->get_type_constraint($name); # spent 105µs making 18 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 6µs/call |
| 499 | |||||
| 500 | 18 | 2µs | ( $type->_package_defined_in eq $pkg_defined_in ) | ||
| 501 | || _confess( | ||||
| 502 | "The type constraint '$name' has already been created in " | ||||
| 503 | . $type->_package_defined_in | ||||
| 504 | . " and cannot be created again in " | ||||
| 505 | . $pkg_defined_in ) | ||||
| 506 | if defined $type; | ||||
| 507 | |||||
| 508 | 18 | 75µs | 18 | 40µs | $name =~ /^[\w:\.]+$/ # spent 40µs making 18 calls to Moose::Util::TypeConstraints::CORE:match, avg 2µs/call |
| 509 | or die qq{$name contains invalid characters for a type name.} | ||||
| 510 | . qq{ Names can contain alphanumeric character, ":", and "."\n}; | ||||
| 511 | } | ||||
| 512 | |||||
| 513 | 18 | 37µs | my %opts = ( | ||
| 514 | name => $name, | ||||
| 515 | package_defined_in => $pkg_defined_in, | ||||
| 516 | |||||
| 517 | ( $check ? ( constraint => $check ) : () ), | ||||
| 518 | ( $message ? ( message => $message ) : () ), | ||||
| 519 | ( $optimized ? ( optimized => $optimized ) : () ), | ||||
| 520 | ); | ||||
| 521 | |||||
| 522 | 18 | 2µs | my $constraint; | ||
| 523 | 18 | 124µs | 68 | 1.87ms | if ( # spent 1.09ms making 17 calls to Moose::Meta::TypeConstraint::create_child_type, avg 64µs/call
# spent 707µs making 17 calls to Moose::Util::TypeConstraints::find_or_create_isa_type_constraint, avg 42µs/call
# spent 63µs making 17 calls to Moose::Meta::TypeConstraint::__ANON__[Moose/Meta/TypeConstraint.pm:8], avg 4µs/call
# spent 10µs making 17 calls to Scalar::Util::blessed, avg 600ns/call |
| 524 | defined $parent | ||||
| 525 | and $parent | ||||
| 526 | = blessed $parent | ||||
| 527 | ? $parent | ||||
| 528 | : find_or_create_isa_type_constraint($parent) | ||||
| 529 | ) { | ||||
| 530 | $constraint = $parent->create_child_type(%opts); | ||||
| 531 | } | ||||
| 532 | else { | ||||
| 533 | 1 | 5µs | 1 | 145µs | $constraint = Moose::Meta::TypeConstraint->new(%opts); # spent 145µs making 1 call to Moose::Meta::TypeConstraint::new |
| 534 | } | ||||
| 535 | |||||
| 536 | 18 | 27µs | 18 | 371µs | $REGISTRY->add_type_constraint($constraint) # spent 371µs making 18 calls to Moose::Meta::TypeConstraint::Registry::add_type_constraint, avg 21µs/call |
| 537 | if defined $name; | ||||
| 538 | |||||
| 539 | 18 | 44µs | return $constraint; | ||
| 540 | } | ||||
| 541 | |||||
| 542 | sub _install_type_coercions ($$) { | ||||
| 543 | my ( $type_name, $coercion_map ) = @_; | ||||
| 544 | my $type = find_type_constraint($type_name); | ||||
| 545 | ( defined $type ) | ||||
| 546 | || __PACKAGE__->_throw_error( | ||||
| 547 | "Cannot find type '$type_name', perhaps you forgot to load it"); | ||||
| 548 | if ( $type->has_coercion ) { | ||||
| 549 | $type->coercion->add_type_coercions(@$coercion_map); | ||||
| 550 | } | ||||
| 551 | else { | ||||
| 552 | my $type_coercion = Moose::Meta::TypeCoercion->new( | ||||
| 553 | type_coercion_map => $coercion_map, | ||||
| 554 | type_constraint => $type | ||||
| 555 | ); | ||||
| 556 | $type->coercion($type_coercion); | ||||
| 557 | } | ||||
| 558 | } | ||||
| 559 | |||||
| 560 | ## -------------------------------------------------------- | ||||
| 561 | ## type notation parsing ... | ||||
| 562 | ## -------------------------------------------------------- | ||||
| 563 | |||||
| 564 | { | ||||
| 565 | |||||
| 566 | # All I have to say is mugwump++ cause I know | ||||
| 567 | # do not even have enough regexp-fu to be able | ||||
| 568 | # to have written this (I can only barely | ||||
| 569 | # understand it as it is) | ||||
| 570 | # - SL | ||||
| 571 | |||||
| 572 | 4 | 215µs | 6 | 876µs | # spent 860µs (813+47) within Moose::Util::TypeConstraints::BEGIN@572 which was called
# once (813µs+47µs) by Moose::Meta::Attribute::BEGIN@18 at line 572 # spent 860µs making 1 call to Moose::Util::TypeConstraints::BEGIN@572
# spent 14µs making 1 call to re::import
# spent 2µs making 4 calls to Regexp::DESTROY, avg 475ns/call |
| 573 | |||||
| 574 | 1 | 9µs | 1 | 5µs | my $valid_chars = qr{[\w:\.]}; # spent 5µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 575 | 1 | 18µs | 2 | 13µs | my $type_atom = qr{ (?>$valid_chars+) }x; # spent 12µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 1µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 576 | 1 | 2µs | 1 | 700ns | my $ws = qr{ (?>\s*) }x; # spent 700ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 577 | |||||
| 578 | 1 | 100ns | my $any; | ||
| 579 | |||||
| 580 | 1 | 45µs | 2 | 32µs | my $type = qr{ $type_atom (?: \[ $ws (??{$any}) $ws \] )? }x; # spent 30µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 2µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 581 | 1 | 37µs | 2 | 31µs | my $type_capture_parts # spent 30µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 1µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 582 | = qr{ ($type_atom) (?: \[ $ws ((??{$any})) $ws \] )? }x; | ||||
| 583 | 1 | 36µs | 2 | 30µs | my $type_with_parameter # spent 29µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 1µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 584 | = qr{ $type_atom \[ $ws (??{$any}) $ws \] }x; | ||||
| 585 | |||||
| 586 | 1 | 12µs | 2 | 8µs | my $op_union = qr{ $ws \| $ws }x; # spent 8µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 900ns making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 587 | 1 | 64µs | 2 | 56µs | my $union = qr{ $type (?> (?: $op_union $type )+ ) }x; # spent 55µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 1µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 588 | |||||
| 589 | 1 | 89µs | 2 | 67µs | $any = qr{ $type | $union }x; # spent 66µs making 1 call to Moose::Util::TypeConstraints::CORE:regcomp
# spent 1µs making 1 call to Moose::Util::TypeConstraints::CORE:qr |
| 590 | |||||
| 591 | sub _parse_parameterized_type_constraint { | ||||
| 592 | 3 | 62µs | 2 | 41µs | # spent 25µs (10+16) within Moose::Util::TypeConstraints::BEGIN@592 which was called
# once (10µs+16µs) by Moose::Meta::Attribute::BEGIN@18 at line 592 # spent 25µs making 1 call to Moose::Util::TypeConstraints::BEGIN@592
# spent 16µs making 1 call to warnings::unimport |
| 593 | $_[0] =~ m{ $type_capture_parts }x; | ||||
| 594 | return ( $1, $2 ); | ||||
| 595 | } | ||||
| 596 | |||||
| 597 | sub _detect_parameterized_type_constraint { | ||||
| 598 | 3 | 44µs | 2 | 28µs | # spent 19µs (10+9) within Moose::Util::TypeConstraints::BEGIN@598 which was called
# once (10µs+9µs) by Moose::Meta::Attribute::BEGIN@18 at line 598 # spent 19µs making 1 call to Moose::Util::TypeConstraints::BEGIN@598
# spent 9µs making 1 call to warnings::unimport |
| 599 | $_[0] =~ m{ ^ $type_with_parameter $ }x; | ||||
| 600 | } | ||||
| 601 | |||||
| 602 | sub _parse_type_constraint_union { | ||||
| 603 | 3 | 90µs | 2 | 23µs | # spent 15µs (7+8) within Moose::Util::TypeConstraints::BEGIN@603 which was called
# once (7µs+8µs) by Moose::Meta::Attribute::BEGIN@18 at line 603 # spent 15µs making 1 call to Moose::Util::TypeConstraints::BEGIN@603
# spent 8µs making 1 call to warnings::unimport |
| 604 | my $given = shift; | ||||
| 605 | my @rv; | ||||
| 606 | while ( $given =~ m{ \G (?: $op_union )? ($type) }gcx ) { | ||||
| 607 | push @rv => $1; | ||||
| 608 | } | ||||
| 609 | ( pos($given) eq length($given) ) | ||||
| 610 | || __PACKAGE__->_throw_error( "'$given' didn't parse (parse-pos=" | ||||
| 611 | . pos($given) | ||||
| 612 | . " and str-length=" | ||||
| 613 | . length($given) | ||||
| 614 | . ")" ); | ||||
| 615 | @rv; | ||||
| 616 | } | ||||
| 617 | |||||
| 618 | sub _detect_type_constraint_union { | ||||
| 619 | 3 | 1.16ms | 2 | 34µs | # spent 24µs (14+10) within Moose::Util::TypeConstraints::BEGIN@619 which was called
# once (14µs+10µs) by Moose::Meta::Attribute::BEGIN@18 at line 619 # spent 24µs making 1 call to Moose::Util::TypeConstraints::BEGIN@619
# spent 10µs making 1 call to warnings::unimport |
| 620 | $_[0] =~ m{^ $type $op_union $type ( $op_union .* )? $}x; | ||||
| 621 | } | ||||
| 622 | } | ||||
| 623 | |||||
| 624 | ## -------------------------------------------------------- | ||||
| 625 | # define some basic built-in types | ||||
| 626 | ## -------------------------------------------------------- | ||||
| 627 | |||||
| 628 | # By making these classes immutable before creating all the types we | ||||
| 629 | # below, we avoid repeatedly calling the slow MOP-based accessors. | ||||
| 630 | $_->make_immutable( | ||||
| 631 | 9 | 8µs | 9 | 6µs | inline_constructor => 1, # spent 6µs making 9 calls to Class::MOP::Class::is_mutable, avg 633ns/call |
| 632 | constructor_name => "_new", | ||||
| 633 | |||||
| 634 | # these are Class::MOP accessors, so they need inlining | ||||
| 635 | inline_accessors => 1 | ||||
| 636 | 10 | 28µs | 18 | 16.7ms | ) for grep { $_->is_mutable } # spent 16.7ms making 9 calls to Class::MOP::Class::make_immutable, avg 1.86ms/call
# spent 31µs making 9 calls to Class::MOP::class_of, avg 3µs/call |
| 637 | map { Class::MOP::class_of($_) } | ||||
| 638 | qw( | ||||
| 639 | Moose::Meta::TypeConstraint | ||||
| 640 | Moose::Meta::TypeConstraint::Union | ||||
| 641 | Moose::Meta::TypeConstraint::Parameterized | ||||
| 642 | Moose::Meta::TypeConstraint::Parameterizable | ||||
| 643 | Moose::Meta::TypeConstraint::Class | ||||
| 644 | Moose::Meta::TypeConstraint::Role | ||||
| 645 | Moose::Meta::TypeConstraint::Enum | ||||
| 646 | Moose::Meta::TypeConstraint::DuckType | ||||
| 647 | Moose::Meta::TypeConstraint::Registry | ||||
| 648 | 1 | 0s | ); | ||
| 649 | |||||
| 650 | 1 | 8µs | 2 | 285µs | type 'Any' => where {1}; # meta-type including all # spent 282µs making 1 call to Moose::Util::TypeConstraints::type
# spent 3µs making 1 call to Moose::Util::TypeConstraints::where |
| 651 | 1 | 6µs | 2 | 290µs | subtype 'Item' => as 'Any'; # base-type # spent 286µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 4µs making 1 call to Moose::Util::TypeConstraints::as |
| 652 | |||||
| 653 | 1 | 6µs | 3 | 227µs | subtype 'Undef' => as 'Item' => where { !defined($_) }; # spent 223µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where |
| 654 | 1 | 7µs | 3 | 238µs | subtype 'Defined' => as 'Item' => where { defined($_) }; # spent 234µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where |
| 655 | |||||
| 656 | subtype 'Bool' => as 'Item' => | ||||
| 657 | 1 | 7µs | 3 | 224µs | where { !defined($_) || $_ eq "" || "$_" eq '1' || "$_" eq '0' }; # spent 220µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where |
| 658 | |||||
| 659 | subtype 'Value' => as 'Defined' => where { !ref($_) } => | ||||
| 660 | 1 | 10µs | 4 | 215µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::Value; # spent 209µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::optimize_as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where |
| 661 | |||||
| 662 | subtype 'Ref' => as 'Defined' => where { ref($_) } => | ||||
| 663 | 1 | 9µs | 4 | 179µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::Ref; # spent 175µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 664 | |||||
| 665 | subtype 'Str' => as 'Value' => where { ref(\$_) eq 'SCALAR' } => | ||||
| 666 | 1 | 9µs | 4 | 180µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::Str; # spent 175µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 667 | |||||
| 668 | subtype 'Num' => as 'Str' => | ||||
| 669 | where { Scalar::Util::looks_like_number($_) } => | ||||
| 670 | 1 | 9µs | 4 | 165µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::Num; # spent 160µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 671 | |||||
| 672 | subtype 'Int' => as 'Num' => where { "$_" =~ /^-?[0-9]+$/ } => | ||||
| 673 | 1 | 8µs | 4 | 163µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::Int; # spent 158µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 674 | |||||
| 675 | subtype 'CodeRef' => as 'Ref' => where { ref($_) eq 'CODE' } => | ||||
| 676 | 1 | 8µs | 4 | 179µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::CodeRef; # spent 174µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 677 | subtype 'RegexpRef' => as 'Ref' => where { ref($_) eq 'Regexp' } => | ||||
| 678 | 1 | 9µs | 4 | 173µs | optimize_as # spent 168µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 679 | \&Moose::Util::TypeConstraints::OptimizedConstraints::RegexpRef; | ||||
| 680 | subtype 'GlobRef' => as 'Ref' => where { ref($_) eq 'GLOB' } => | ||||
| 681 | 1 | 9µs | 4 | 171µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::GlobRef; # spent 166µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 682 | |||||
| 683 | # NOTE: | ||||
| 684 | # scalar filehandles are GLOB refs, | ||||
| 685 | # but a GLOB ref is not always a filehandle | ||||
| 686 | subtype 'FileHandle' => as 'GlobRef' => where { | ||||
| 687 | Scalar::Util::openhandle($_) || ( blessed($_) && $_->isa("IO::Handle") ); | ||||
| 688 | 1 | 8µs | 4 | 166µs | } => optimize_as # spent 161µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 689 | \&Moose::Util::TypeConstraints::OptimizedConstraints::FileHandle; | ||||
| 690 | |||||
| 691 | # NOTE: | ||||
| 692 | # blessed(qr/.../) returns true,.. how odd | ||||
| 693 | subtype 'Object' => as 'Ref' => | ||||
| 694 | where { blessed($_) && blessed($_) ne 'Regexp' } => | ||||
| 695 | 1 | 8µs | 4 | 173µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::Object; # spent 168µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 696 | |||||
| 697 | # This type is deprecated. | ||||
| 698 | subtype 'Role' => as 'Object' => where { $_->can('does') } => | ||||
| 699 | 1 | 8µs | 4 | 166µs | optimize_as \&Moose::Util::TypeConstraints::OptimizedConstraints::Role; # spent 161µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 700 | |||||
| 701 | 1 | 2µs | my $_class_name_checker = sub { }; | ||
| 702 | |||||
| 703 | subtype 'ClassName' => as 'Str' => | ||||
| 704 | 1 | 8µs | 4 | 171µs | where { Class::MOP::is_class_loaded($_) } => optimize_as # spent 167µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 1µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 705 | \&Moose::Util::TypeConstraints::OptimizedConstraints::ClassName; | ||||
| 706 | |||||
| 707 | subtype 'RoleName' => as 'ClassName' => where { | ||||
| 708 | (Class::MOP::class_of($_) || return)->isa('Moose::Meta::Role'); | ||||
| 709 | 1 | 7µs | 4 | 164µs | } => optimize_as # spent 160µs making 1 call to Moose::Util::TypeConstraints::subtype
# spent 2µs making 1 call to Moose::Util::TypeConstraints::as
# spent 2µs making 1 call to Moose::Util::TypeConstraints::where
# spent 1µs making 1 call to Moose::Util::TypeConstraints::optimize_as |
| 710 | \&Moose::Util::TypeConstraints::OptimizedConstraints::RoleName; | ||||
| 711 | |||||
| 712 | ## -------------------------------------------------------- | ||||
| 713 | # parameterizable types ... | ||||
| 714 | |||||
| 715 | $REGISTRY->add_type_constraint( | ||||
| 716 | Moose::Meta::TypeConstraint::Parameterizable->new( | ||||
| 717 | name => 'ScalarRef', | ||||
| 718 | package_defined_in => __PACKAGE__, | ||||
| 719 | parent => find_type_constraint('Ref'), | ||||
| 720 | constraint => sub { ref($_) eq 'SCALAR' || ref($_) eq 'REF' }, | ||||
| 721 | optimized => | ||||
| 722 | \&Moose::Util::TypeConstraints::OptimizedConstraints::ScalarRef, | ||||
| 723 | constraint_generator => sub { | ||||
| 724 | my $type_parameter = shift; | ||||
| 725 | my $check = $type_parameter->_compiled_type_constraint; | ||||
| 726 | return sub { | ||||
| 727 | return $check->(${ $_ }); | ||||
| 728 | }; | ||||
| 729 | } | ||||
| 730 | ) | ||||
| 731 | 1 | 15µs | 3 | 173µs | ); # spent 132µs making 1 call to Moose::Meta::TypeConstraint::new
# spent 24µs making 1 call to Moose::Meta::TypeConstraint::Registry::add_type_constraint
# spent 16µs making 1 call to Moose::Util::TypeConstraints::find_type_constraint |
| 732 | |||||
| 733 | $REGISTRY->add_type_constraint( | ||||
| 734 | Moose::Meta::TypeConstraint::Parameterizable->new( | ||||
| 735 | name => 'ArrayRef', | ||||
| 736 | package_defined_in => __PACKAGE__, | ||||
| 737 | parent => find_type_constraint('Ref'), | ||||
| 738 | constraint => sub { ref($_) eq 'ARRAY' }, | ||||
| 739 | optimized => | ||||
| 740 | \&Moose::Util::TypeConstraints::OptimizedConstraints::ArrayRef, | ||||
| 741 | constraint_generator => sub { | ||||
| 742 | my $type_parameter = shift; | ||||
| 743 | my $check = $type_parameter->_compiled_type_constraint; | ||||
| 744 | return sub { | ||||
| 745 | foreach my $x (@$_) { | ||||
| 746 | ( $check->($x) ) || return; | ||||
| 747 | } | ||||
| 748 | 1; | ||||
| 749 | } | ||||
| 750 | } | ||||
| 751 | ) | ||||
| 752 | 1 | 10µs | 3 | 84µs | ); # spent 49µs making 1 call to Moose::Meta::TypeConstraint::new
# spent 19µs making 1 call to Moose::Meta::TypeConstraint::Registry::add_type_constraint
# spent 16µs making 1 call to Moose::Util::TypeConstraints::find_type_constraint |
| 753 | |||||
| 754 | $REGISTRY->add_type_constraint( | ||||
| 755 | Moose::Meta::TypeConstraint::Parameterizable->new( | ||||
| 756 | name => 'HashRef', | ||||
| 757 | package_defined_in => __PACKAGE__, | ||||
| 758 | parent => find_type_constraint('Ref'), | ||||
| 759 | constraint => sub { ref($_) eq 'HASH' }, | ||||
| 760 | optimized => | ||||
| 761 | \&Moose::Util::TypeConstraints::OptimizedConstraints::HashRef, | ||||
| 762 | constraint_generator => sub { | ||||
| 763 | my $type_parameter = shift; | ||||
| 764 | my $check = $type_parameter->_compiled_type_constraint; | ||||
| 765 | return sub { | ||||
| 766 | foreach my $x ( values %$_ ) { | ||||
| 767 | ( $check->($x) ) || return; | ||||
| 768 | } | ||||
| 769 | 1; | ||||
| 770 | } | ||||
| 771 | } | ||||
| 772 | ) | ||||
| 773 | 1 | 10µs | 3 | 75µs | ); # spent 41µs making 1 call to Moose::Meta::TypeConstraint::new
# spent 19µs making 1 call to Moose::Meta::TypeConstraint::Registry::add_type_constraint
# spent 16µs making 1 call to Moose::Util::TypeConstraints::find_type_constraint |
| 774 | |||||
| 775 | $REGISTRY->add_type_constraint( | ||||
| 776 | Moose::Meta::TypeConstraint::Parameterizable->new( | ||||
| 777 | name => 'Maybe', | ||||
| 778 | package_defined_in => __PACKAGE__, | ||||
| 779 | parent => find_type_constraint('Item'), | ||||
| 780 | constraint => sub {1}, | ||||
| 781 | constraint_generator => sub { | ||||
| 782 | my $type_parameter = shift; | ||||
| 783 | my $check = $type_parameter->_compiled_type_constraint; | ||||
| 784 | return sub { | ||||
| 785 | return 1 if not( defined($_) ) || $check->($_); | ||||
| 786 | return; | ||||
| 787 | } | ||||
| 788 | } | ||||
| 789 | ) | ||||
| 790 | 1 | 13µs | 3 | 128µs | ); # spent 93µs making 1 call to Moose::Meta::TypeConstraint::new
# spent 19µs making 1 call to Moose::Meta::TypeConstraint::Registry::add_type_constraint
# spent 16µs making 1 call to Moose::Util::TypeConstraints::find_type_constraint |
| 791 | |||||
| 792 | my @PARAMETERIZABLE_TYPES | ||||
| 793 | 5 | 7µs | 4 | 17µs | = map { $REGISTRY->get_type_constraint($_) } qw[ScalarRef ArrayRef HashRef Maybe]; # spent 17µs making 4 calls to Moose::Meta::TypeConstraint::Registry::get_type_constraint, avg 4µs/call |
| 794 | |||||
| 795 | sub get_all_parameterizable_types {@PARAMETERIZABLE_TYPES} | ||||
| 796 | |||||
| 797 | sub add_parameterizable_type { | ||||
| 798 | my $type = shift; | ||||
| 799 | ( blessed $type | ||||
| 800 | && $type->isa('Moose::Meta::TypeConstraint::Parameterizable') ) | ||||
| 801 | || __PACKAGE__->_throw_error( | ||||
| 802 | "Type must be a Moose::Meta::TypeConstraint::Parameterizable not $type" | ||||
| 803 | ); | ||||
| 804 | push @PARAMETERIZABLE_TYPES => $type; | ||||
| 805 | } | ||||
| 806 | |||||
| 807 | ## -------------------------------------------------------- | ||||
| 808 | # end of built-in types ... | ||||
| 809 | ## -------------------------------------------------------- | ||||
| 810 | |||||
| 811 | { | ||||
| 812 | 2 | 12µs | 1 | 13µs | my @BUILTINS = list_all_type_constraints(); # spent 13µs making 1 call to Moose::Util::TypeConstraints::list_all_type_constraints |
| 813 | sub list_all_builtin_type_constraints {@BUILTINS} | ||||
| 814 | } | ||||
| 815 | |||||
| 816 | sub _throw_error { | ||||
| 817 | shift; | ||||
| 818 | require Moose; | ||||
| 819 | unshift @_, 'Moose'; | ||||
| 820 | goto &Moose::throw_error; | ||||
| 821 | } | ||||
| 822 | |||||
| 823 | 1 | 168µs | 1; | ||
| 824 | |||||
| 825 | __END__ | ||||
| 826 | |||||
| 827 | =pod | ||||
| 828 | |||||
| 829 | =head1 NAME | ||||
| 830 | |||||
| 831 | Moose::Util::TypeConstraints - Type constraint system for Moose | ||||
| 832 | |||||
| 833 | =head1 SYNOPSIS | ||||
| 834 | |||||
| 835 | use Moose::Util::TypeConstraints; | ||||
| 836 | |||||
| 837 | subtype 'Natural' | ||||
| 838 | => as 'Int' | ||||
| 839 | => where { $_ > 0 }; | ||||
| 840 | |||||
| 841 | subtype 'NaturalLessThanTen' | ||||
| 842 | => as 'Natural' | ||||
| 843 | => where { $_ < 10 } | ||||
| 844 | => message { "This number ($_) is not less than ten!" }; | ||||
| 845 | |||||
| 846 | coerce 'Num' | ||||
| 847 | => from 'Str' | ||||
| 848 | => via { 0+$_ }; | ||||
| 849 | |||||
| 850 | enum 'RGBColors' => qw(red green blue); | ||||
| 851 | |||||
| 852 | no Moose::Util::TypeConstraints; | ||||
| 853 | |||||
| 854 | =head1 DESCRIPTION | ||||
| 855 | |||||
| 856 | This module provides Moose with the ability to create custom type | ||||
| 857 | constraints to be used in attribute definition. | ||||
| 858 | |||||
| 859 | =head2 Important Caveat | ||||
| 860 | |||||
| 861 | This is B<NOT> a type system for Perl 5. These are type constraints, | ||||
| 862 | and they are not used by Moose unless you tell it to. No type | ||||
| 863 | inference is performed, expressions are not typed, etc. etc. etc. | ||||
| 864 | |||||
| 865 | A type constraint is at heart a small "check if a value is valid" | ||||
| 866 | function. A constraint can be associated with an attribute. This | ||||
| 867 | simplifies parameter validation, and makes your code clearer to read, | ||||
| 868 | because you can refer to constraints by name. | ||||
| 869 | |||||
| 870 | =head2 Slightly Less Important Caveat | ||||
| 871 | |||||
| 872 | It is B<always> a good idea to quote your type names. | ||||
| 873 | |||||
| 874 | This prevents Perl from trying to execute the call as an indirect | ||||
| 875 | object call. This can be an issue when you have a subtype with the | ||||
| 876 | same name as a valid class. | ||||
| 877 | |||||
| 878 | For instance: | ||||
| 879 | |||||
| 880 | subtype DateTime => as Object => where { $_->isa('DateTime') }; | ||||
| 881 | |||||
| 882 | will I<just work>, while this: | ||||
| 883 | |||||
| 884 | use DateTime; | ||||
| 885 | subtype DateTime => as Object => where { $_->isa('DateTime') }; | ||||
| 886 | |||||
| 887 | will fail silently and cause many headaches. The simple way to solve | ||||
| 888 | this, as well as future proof your subtypes from classes which have | ||||
| 889 | yet to have been created, is to quote the type name: | ||||
| 890 | |||||
| 891 | use DateTime; | ||||
| 892 | subtype 'DateTime' => as 'Object' => where { $_->isa('DateTime') }; | ||||
| 893 | |||||
| 894 | =head2 Default Type Constraints | ||||
| 895 | |||||
| 896 | This module also provides a simple hierarchy for Perl 5 types, here is | ||||
| 897 | that hierarchy represented visually. | ||||
| 898 | |||||
| 899 | Any | ||||
| 900 | Item | ||||
| 901 | Bool | ||||
| 902 | Maybe[`a] | ||||
| 903 | Undef | ||||
| 904 | Defined | ||||
| 905 | Value | ||||
| 906 | Str | ||||
| 907 | Num | ||||
| 908 | Int | ||||
| 909 | ClassName | ||||
| 910 | RoleName | ||||
| 911 | Ref | ||||
| 912 | ScalarRef[`a] | ||||
| 913 | ArrayRef[`a] | ||||
| 914 | HashRef[`a] | ||||
| 915 | CodeRef | ||||
| 916 | RegexpRef | ||||
| 917 | GlobRef | ||||
| 918 | FileHandle | ||||
| 919 | Object | ||||
| 920 | |||||
| 921 | B<NOTE:> Any type followed by a type parameter C<[`a]> can be | ||||
| 922 | parameterized, this means you can say: | ||||
| 923 | |||||
| 924 | ArrayRef[Int] # an array of integers | ||||
| 925 | HashRef[CodeRef] # a hash of str to CODE ref mappings | ||||
| 926 | ScalarRef[Int] # a reference to an integer | ||||
| 927 | Maybe[Str] # value may be a string, may be undefined | ||||
| 928 | |||||
| 929 | If Moose finds a name in brackets that it does not recognize as an | ||||
| 930 | existing type, it assumes that this is a class name, for example | ||||
| 931 | C<ArrayRef[DateTime]>. | ||||
| 932 | |||||
| 933 | B<NOTE:> Unless you parameterize a type, then it is invalid to include | ||||
| 934 | the square brackets. I.e. C<ArrayRef[]> will be treated as a new type | ||||
| 935 | name, I<not> as a parameterization of C<ArrayRef>. | ||||
| 936 | |||||
| 937 | B<NOTE:> The C<Undef> type constraint for the most part works | ||||
| 938 | correctly now, but edge cases may still exist, please use it | ||||
| 939 | sparingly. | ||||
| 940 | |||||
| 941 | B<NOTE:> The C<ClassName> type constraint does a complex package | ||||
| 942 | existence check. This means that your class B<must> be loaded for this | ||||
| 943 | type constraint to pass. | ||||
| 944 | |||||
| 945 | B<NOTE:> The C<RoleName> constraint checks a string is a I<package | ||||
| 946 | name> which is a role, like C<'MyApp::Role::Comparable'>. | ||||
| 947 | |||||
| 948 | =head2 Type Constraint Naming | ||||
| 949 | |||||
| 950 | Type name declared via this module can only contain alphanumeric | ||||
| 951 | characters, colons (:), and periods (.). | ||||
| 952 | |||||
| 953 | Since the types created by this module are global, it is suggested | ||||
| 954 | that you namespace your types just as you would namespace your | ||||
| 955 | modules. So instead of creating a I<Color> type for your | ||||
| 956 | B<My::Graphics> module, you would call the type | ||||
| 957 | I<My::Graphics::Types::Color> instead. | ||||
| 958 | |||||
| 959 | =head2 Use with Other Constraint Modules | ||||
| 960 | |||||
| 961 | This module can play nicely with other constraint modules with some | ||||
| 962 | slight tweaking. The C<where> clause in types is expected to be a | ||||
| 963 | C<CODE> reference which checks it's first argument and returns a | ||||
| 964 | boolean. Since most constraint modules work in a similar way, it | ||||
| 965 | should be simple to adapt them to work with Moose. | ||||
| 966 | |||||
| 967 | For instance, this is how you could use it with | ||||
| 968 | L<Declare::Constraints::Simple> to declare a completely new type. | ||||
| 969 | |||||
| 970 | type 'HashOfArrayOfObjects', | ||||
| 971 | { | ||||
| 972 | where => IsHashRef( | ||||
| 973 | -keys => HasLength, | ||||
| 974 | -values => IsArrayRef(IsObject) | ||||
| 975 | ) | ||||
| 976 | }; | ||||
| 977 | |||||
| 978 | For more examples see the F<t/200_examples/004_example_w_DCS.t> test | ||||
| 979 | file. | ||||
| 980 | |||||
| 981 | Here is an example of using L<Test::Deep> and it's non-test | ||||
| 982 | related C<eq_deeply> function. | ||||
| 983 | |||||
| 984 | type 'ArrayOfHashOfBarsAndRandomNumbers' | ||||
| 985 | => where { | ||||
| 986 | eq_deeply($_, | ||||
| 987 | array_each(subhashof({ | ||||
| 988 | bar => isa('Bar'), | ||||
| 989 | random_number => ignore() | ||||
| 990 | }))) | ||||
| 991 | }; | ||||
| 992 | |||||
| 993 | For a complete example see the | ||||
| 994 | F<t/200_examples/005_example_w_TestDeep.t> test file. | ||||
| 995 | |||||
| 996 | =head1 FUNCTIONS | ||||
| 997 | |||||
| 998 | =head2 Type Constraint Constructors | ||||
| 999 | |||||
| 1000 | The following functions are used to create type constraints. They | ||||
| 1001 | will also register the type constraints your create in a global | ||||
| 1002 | registry that is used to look types up by name. | ||||
| 1003 | |||||
| 1004 | See the L<SYNOPSIS> for an example of how to use these. | ||||
| 1005 | |||||
| 1006 | =over 4 | ||||
| 1007 | |||||
| 1008 | =item B<< subtype 'Name' => as 'Parent' => where { } ... >> | ||||
| 1009 | |||||
| 1010 | This creates a named subtype. | ||||
| 1011 | |||||
| 1012 | If you provide a parent that Moose does not recognize, it will | ||||
| 1013 | automatically create a new class type constraint for this name. | ||||
| 1014 | |||||
| 1015 | When creating a named type, the C<subtype> function should either be | ||||
| 1016 | called with the sugar helpers (C<where>, C<message>, etc), or with a | ||||
| 1017 | name and a hashref of parameters: | ||||
| 1018 | |||||
| 1019 | subtype( 'Foo', { where => ..., message => ... } ); | ||||
| 1020 | |||||
| 1021 | The valid hashref keys are C<as> (the parent), C<where>, C<message>, | ||||
| 1022 | and C<optimize_as>. | ||||
| 1023 | |||||
| 1024 | =item B<< subtype as 'Parent' => where { } ... >> | ||||
| 1025 | |||||
| 1026 | This creates an unnamed subtype and will return the type | ||||
| 1027 | constraint meta-object, which will be an instance of | ||||
| 1028 | L<Moose::Meta::TypeConstraint>. | ||||
| 1029 | |||||
| 1030 | When creating an anonymous type, the C<subtype> function should either | ||||
| 1031 | be called with the sugar helpers (C<where>, C<message>, etc), or with | ||||
| 1032 | just a hashref of parameters: | ||||
| 1033 | |||||
| 1034 | subtype( { where => ..., message => ... } ); | ||||
| 1035 | |||||
| 1036 | =item B<class_type ($class, ?$options)> | ||||
| 1037 | |||||
| 1038 | Creates a new subtype of C<Object> with the name C<$class> and the | ||||
| 1039 | metaclass L<Moose::Meta::TypeConstraint::Class>. | ||||
| 1040 | |||||
| 1041 | =item B<role_type ($role, ?$options)> | ||||
| 1042 | |||||
| 1043 | Creates a C<Role> type constraint with the name C<$role> and the | ||||
| 1044 | metaclass L<Moose::Meta::TypeConstraint::Role>. | ||||
| 1045 | |||||
| 1046 | =item B<maybe_type ($type)> | ||||
| 1047 | |||||
| 1048 | Creates a type constraint for either C<undef> or something of the | ||||
| 1049 | given type. | ||||
| 1050 | |||||
| 1051 | =item B<duck_type ($name, \@methods)> | ||||
| 1052 | |||||
| 1053 | This will create a subtype of Object and test to make sure the value | ||||
| 1054 | C<can()> do the methods in C<\@methods>. | ||||
| 1055 | |||||
| 1056 | This is intended as an easy way to accept non-Moose objects that | ||||
| 1057 | provide a certain interface. If you're using Moose classes, we | ||||
| 1058 | recommend that you use a C<requires>-only Role instead. | ||||
| 1059 | |||||
| 1060 | =item B<duck_type (\@methods)> | ||||
| 1061 | |||||
| 1062 | If passed an ARRAY reference as the only parameter instead of the | ||||
| 1063 | C<$name>, C<\@methods> pair, this will create an unnamed duck type. | ||||
| 1064 | This can be used in an attribute definition like so: | ||||
| 1065 | |||||
| 1066 | has 'cache' => ( | ||||
| 1067 | is => 'ro', | ||||
| 1068 | isa => duck_type( [qw( get_set )] ), | ||||
| 1069 | ); | ||||
| 1070 | |||||
| 1071 | =item B<enum ($name, \@values)> | ||||
| 1072 | |||||
| 1073 | This will create a basic subtype for a given set of strings. | ||||
| 1074 | The resulting constraint will be a subtype of C<Str> and | ||||
| 1075 | will match any of the items in C<\@values>. It is case sensitive. | ||||
| 1076 | See the L<SYNOPSIS> for a simple example. | ||||
| 1077 | |||||
| 1078 | B<NOTE:> This is not a true proper enum type, it is simply | ||||
| 1079 | a convenient constraint builder. | ||||
| 1080 | |||||
| 1081 | =item B<enum (\@values)> | ||||
| 1082 | |||||
| 1083 | If passed an ARRAY reference as the only parameter instead of the | ||||
| 1084 | C<$name>, C<\@values> pair, this will create an unnamed enum. This | ||||
| 1085 | can then be used in an attribute definition like so: | ||||
| 1086 | |||||
| 1087 | has 'sort_order' => ( | ||||
| 1088 | is => 'ro', | ||||
| 1089 | isa => enum([qw[ ascending descending ]]), | ||||
| 1090 | ); | ||||
| 1091 | |||||
| 1092 | =item B<as 'Parent'> | ||||
| 1093 | |||||
| 1094 | This is just sugar for the type constraint construction syntax. | ||||
| 1095 | |||||
| 1096 | It takes a single argument, which is the name of a parent type. | ||||
| 1097 | |||||
| 1098 | =item B<where { ... }> | ||||
| 1099 | |||||
| 1100 | This is just sugar for the type constraint construction syntax. | ||||
| 1101 | |||||
| 1102 | It takes a subroutine reference as an argument. When the type | ||||
| 1103 | constraint is tested, the reference is run with the value to be tested | ||||
| 1104 | in C<$_>. This reference should return true or false to indicate | ||||
| 1105 | whether or not the constraint check passed. | ||||
| 1106 | |||||
| 1107 | =item B<message { ... }> | ||||
| 1108 | |||||
| 1109 | This is just sugar for the type constraint construction syntax. | ||||
| 1110 | |||||
| 1111 | It takes a subroutine reference as an argument. When the type | ||||
| 1112 | constraint fails, then the code block is run with the value provided | ||||
| 1113 | in C<$_>. This reference should return a string, which will be used in | ||||
| 1114 | the text of the exception thrown. | ||||
| 1115 | |||||
| 1116 | =item B<optimize_as { ... }> | ||||
| 1117 | |||||
| 1118 | This can be used to define a "hand optimized" version of your | ||||
| 1119 | type constraint which can be used to avoid traversing a subtype | ||||
| 1120 | constraint hierarchy. | ||||
| 1121 | |||||
| 1122 | B<NOTE:> You should only use this if you know what you are doing, | ||||
| 1123 | all the built in types use this, so your subtypes (assuming they | ||||
| 1124 | are shallow) will not likely need to use this. | ||||
| 1125 | |||||
| 1126 | =item B<< type 'Name' => where { } ... >> | ||||
| 1127 | |||||
| 1128 | This creates a base type, which has no parent. | ||||
| 1129 | |||||
| 1130 | The C<type> function should either be called with the sugar helpers | ||||
| 1131 | (C<where>, C<message>, etc), or with a name and a hashref of | ||||
| 1132 | parameters: | ||||
| 1133 | |||||
| 1134 | type( 'Foo', { where => ..., message => ... } ); | ||||
| 1135 | |||||
| 1136 | The valid hashref keys are C<where>, C<message>, and C<optimize_as>. | ||||
| 1137 | |||||
| 1138 | =back | ||||
| 1139 | |||||
| 1140 | =head2 Type Constraint Utilities | ||||
| 1141 | |||||
| 1142 | =over 4 | ||||
| 1143 | |||||
| 1144 | =item B<< match_on_type $value => ( $type => \&action, ... ?\&default ) >> | ||||
| 1145 | |||||
| 1146 | This is a utility function for doing simple type based dispatching similar to | ||||
| 1147 | match/case in OCaml and case/of in Haskell. It is not as featureful as those | ||||
| 1148 | languages, nor does not it support any kind of automatic destructuring | ||||
| 1149 | bind. Here is a simple Perl pretty printer dispatching over the core Moose | ||||
| 1150 | types. | ||||
| 1151 | |||||
| 1152 | sub ppprint { | ||||
| 1153 | my $x = shift; | ||||
| 1154 | match_on_type $x => ( | ||||
| 1155 | HashRef => sub { | ||||
| 1156 | my $hash = shift; | ||||
| 1157 | '{ ' | ||||
| 1158 | . ( | ||||
| 1159 | join ", " => map { $_ . ' => ' . ppprint( $hash->{$_} ) } | ||||
| 1160 | sort keys %$hash | ||||
| 1161 | ) . ' }'; | ||||
| 1162 | }, | ||||
| 1163 | ArrayRef => sub { | ||||
| 1164 | my $array = shift; | ||||
| 1165 | '[ ' . ( join ", " => map { ppprint($_) } @$array ) . ' ]'; | ||||
| 1166 | }, | ||||
| 1167 | CodeRef => sub {'sub { ... }'}, | ||||
| 1168 | RegexpRef => sub { 'qr/' . $_ . '/' }, | ||||
| 1169 | GlobRef => sub { '*' . B::svref_2object($_)->NAME }, | ||||
| 1170 | Object => sub { $_->can('to_string') ? $_->to_string : $_ }, | ||||
| 1171 | ScalarRef => sub { '\\' . ppprint( ${$_} ) }, | ||||
| 1172 | Num => sub {$_}, | ||||
| 1173 | Str => sub { '"' . $_ . '"' }, | ||||
| 1174 | Undef => sub {'undef'}, | ||||
| 1175 | => sub { die "I don't know what $_ is" } | ||||
| 1176 | ); | ||||
| 1177 | } | ||||
| 1178 | |||||
| 1179 | Or a simple JSON serializer: | ||||
| 1180 | |||||
| 1181 | sub to_json { | ||||
| 1182 | my $x = shift; | ||||
| 1183 | match_on_type $x => ( | ||||
| 1184 | HashRef => sub { | ||||
| 1185 | my $hash = shift; | ||||
| 1186 | '{ ' | ||||
| 1187 | . ( | ||||
| 1188 | join ", " => | ||||
| 1189 | map { '"' . $_ . '" : ' . to_json( $hash->{$_} ) } | ||||
| 1190 | sort keys %$hash | ||||
| 1191 | ) . ' }'; | ||||
| 1192 | }, | ||||
| 1193 | ArrayRef => sub { | ||||
| 1194 | my $array = shift; | ||||
| 1195 | '[ ' . ( join ", " => map { to_json($_) } @$array ) . ' ]'; | ||||
| 1196 | }, | ||||
| 1197 | Num => sub {$_}, | ||||
| 1198 | Str => sub { '"' . $_ . '"' }, | ||||
| 1199 | Undef => sub {'null'}, | ||||
| 1200 | => sub { die "$_ is not acceptable json type" } | ||||
| 1201 | ); | ||||
| 1202 | } | ||||
| 1203 | |||||
| 1204 | The matcher is done by mapping a C<$type> to an C<\&action>. The C<$type> can | ||||
| 1205 | be either a string type or a L<Moose::Meta::TypeConstraint> object, and | ||||
| 1206 | C<\&action> is a subroutine reference. This function will dispatch on the | ||||
| 1207 | first match for C<$value>. It is possible to have a catch-all by providing an | ||||
| 1208 | additional subroutine reference as the final argument to C<match_on_type>. | ||||
| 1209 | |||||
| 1210 | =back | ||||
| 1211 | |||||
| 1212 | =head2 Type Coercion Constructors | ||||
| 1213 | |||||
| 1214 | You can define coercions for type constraints, which allow you to | ||||
| 1215 | automatically transform values to something valid for the type | ||||
| 1216 | constraint. If you ask your accessor to coerce, then Moose will run | ||||
| 1217 | the type-coercion code first, followed by the type constraint | ||||
| 1218 | check. This feature should be used carefully as it is very powerful | ||||
| 1219 | and could easily take off a limb if you are not careful. | ||||
| 1220 | |||||
| 1221 | See the L<SYNOPSIS> for an example of how to use these. | ||||
| 1222 | |||||
| 1223 | =over 4 | ||||
| 1224 | |||||
| 1225 | =item B<< coerce 'Name' => from 'OtherName' => via { ... } >> | ||||
| 1226 | |||||
| 1227 | This defines a coercion from one type to another. The C<Name> argument | ||||
| 1228 | is the type you are coercing I<to>. | ||||
| 1229 | |||||
| 1230 | =item B<from 'OtherName'> | ||||
| 1231 | |||||
| 1232 | This is just sugar for the type coercion construction syntax. | ||||
| 1233 | |||||
| 1234 | It takes a single type name (or type object), which is the type being | ||||
| 1235 | coerced I<from>. | ||||
| 1236 | |||||
| 1237 | =item B<via { ... }> | ||||
| 1238 | |||||
| 1239 | This is just sugar for the type coercion construction syntax. | ||||
| 1240 | |||||
| 1241 | It takes a subroutine reference. This reference will be called with | ||||
| 1242 | the value to be coerced in C<$_>. It is expected to return a new value | ||||
| 1243 | of the proper type for the coercion. | ||||
| 1244 | |||||
| 1245 | =back | ||||
| 1246 | |||||
| 1247 | =head2 Creating and Finding Type Constraints | ||||
| 1248 | |||||
| 1249 | These are additional functions for creating and finding type | ||||
| 1250 | constraints. Most of these functions are not available for | ||||
| 1251 | importing. The ones that are importable as specified. | ||||
| 1252 | |||||
| 1253 | =over 4 | ||||
| 1254 | |||||
| 1255 | =item B<find_type_constraint($type_name)> | ||||
| 1256 | |||||
| 1257 | This function can be used to locate the L<Moose::Meta::TypeConstraint> | ||||
| 1258 | object for a named type. | ||||
| 1259 | |||||
| 1260 | This function is importable. | ||||
| 1261 | |||||
| 1262 | =item B<register_type_constraint($type_object)> | ||||
| 1263 | |||||
| 1264 | This function will register a L<Moose::Meta::TypeConstraint> with the | ||||
| 1265 | global type registry. | ||||
| 1266 | |||||
| 1267 | This function is importable. | ||||
| 1268 | |||||
| 1269 | =item B<normalize_type_constraint_name($type_constraint_name)> | ||||
| 1270 | |||||
| 1271 | This method takes a type constraint name and returns the normalized | ||||
| 1272 | form. This removes any whitespace in the string. | ||||
| 1273 | |||||
| 1274 | =item B<create_type_constraint_union($pipe_separated_types | @type_constraint_names)> | ||||
| 1275 | |||||
| 1276 | This can take a union type specification like C<'Int|ArrayRef[Int]'>, | ||||
| 1277 | or a list of names. It returns a new | ||||
| 1278 | L<Moose::Meta::TypeConstraint::Union> object. | ||||
| 1279 | |||||
| 1280 | =item B<create_parameterized_type_constraint($type_name)> | ||||
| 1281 | |||||
| 1282 | Given a C<$type_name> in the form of C<'BaseType[ContainerType]'>, | ||||
| 1283 | this will create a new L<Moose::Meta::TypeConstraint::Parameterized> | ||||
| 1284 | object. The C<BaseType> must exist already exist as a parameterizable | ||||
| 1285 | type. | ||||
| 1286 | |||||
| 1287 | =item B<create_class_type_constraint($class, $options)> | ||||
| 1288 | |||||
| 1289 | Given a class name this function will create a new | ||||
| 1290 | L<Moose::Meta::TypeConstraint::Class> object for that class name. | ||||
| 1291 | |||||
| 1292 | The C<$options> is a hash reference that will be passed to the | ||||
| 1293 | L<Moose::Meta::TypeConstraint::Class> constructor (as a hash). | ||||
| 1294 | |||||
| 1295 | =item B<create_role_type_constraint($role, $options)> | ||||
| 1296 | |||||
| 1297 | Given a role name this function will create a new | ||||
| 1298 | L<Moose::Meta::TypeConstraint::Role> object for that role name. | ||||
| 1299 | |||||
| 1300 | The C<$options> is a hash reference that will be passed to the | ||||
| 1301 | L<Moose::Meta::TypeConstraint::Role> constructor (as a hash). | ||||
| 1302 | |||||
| 1303 | =item B<create_enum_type_constraint($name, $values)> | ||||
| 1304 | |||||
| 1305 | Given a enum name this function will create a new | ||||
| 1306 | L<Moose::Meta::TypeConstraint::Enum> object for that enum name. | ||||
| 1307 | |||||
| 1308 | =item B<create_duck_type_constraint($name, $methods)> | ||||
| 1309 | |||||
| 1310 | Given a duck type name this function will create a new | ||||
| 1311 | L<Moose::Meta::TypeConstraint::DuckType> object for that enum name. | ||||
| 1312 | |||||
| 1313 | =item B<find_or_parse_type_constraint($type_name)> | ||||
| 1314 | |||||
| 1315 | Given a type name, this first attempts to find a matching constraint | ||||
| 1316 | in the global registry. | ||||
| 1317 | |||||
| 1318 | If the type name is a union or parameterized type, it will create a | ||||
| 1319 | new object of the appropriate, but if given a "regular" type that does | ||||
| 1320 | not yet exist, it simply returns false. | ||||
| 1321 | |||||
| 1322 | When given a union or parameterized type, the member or base type must | ||||
| 1323 | already exist. | ||||
| 1324 | |||||
| 1325 | If it creates a new union or parameterized type, it will add it to the | ||||
| 1326 | global registry. | ||||
| 1327 | |||||
| 1328 | =item B<find_or_create_isa_type_constraint($type_name)> | ||||
| 1329 | |||||
| 1330 | =item B<find_or_create_does_type_constraint($type_name)> | ||||
| 1331 | |||||
| 1332 | These functions will first call C<find_or_parse_type_constraint>. If | ||||
| 1333 | that function does not return a type, a new anonymous type object will | ||||
| 1334 | be created. | ||||
| 1335 | |||||
| 1336 | The C<isa> variant will use C<create_class_type_constraint> and the | ||||
| 1337 | C<does> variant will use C<create_role_type_constraint>. | ||||
| 1338 | |||||
| 1339 | =item B<get_type_constraint_registry> | ||||
| 1340 | |||||
| 1341 | Returns the L<Moose::Meta::TypeConstraint::Registry> object which | ||||
| 1342 | keeps track of all type constraints. | ||||
| 1343 | |||||
| 1344 | =item B<list_all_type_constraints> | ||||
| 1345 | |||||
| 1346 | This will return a list of type constraint names in the global | ||||
| 1347 | registry. You can then fetch the actual type object using | ||||
| 1348 | C<find_type_constraint($type_name)>. | ||||
| 1349 | |||||
| 1350 | =item B<list_all_builtin_type_constraints> | ||||
| 1351 | |||||
| 1352 | This will return a list of builtin type constraints, meaning those | ||||
| 1353 | which are defined in this module. See the L<Default Type Constraints> | ||||
| 1354 | section for a complete list. | ||||
| 1355 | |||||
| 1356 | =item B<export_type_constraints_as_functions> | ||||
| 1357 | |||||
| 1358 | This will export all the current type constraints as functions into | ||||
| 1359 | the caller's namespace (C<Int()>, C<Str()>, etc). Right now, this is | ||||
| 1360 | mostly used for testing, but it might prove useful to others. | ||||
| 1361 | |||||
| 1362 | =item B<get_all_parameterizable_types> | ||||
| 1363 | |||||
| 1364 | This returns all the parameterizable types that have been registered, | ||||
| 1365 | as a list of type objects. | ||||
| 1366 | |||||
| 1367 | =item B<add_parameterizable_type($type)> | ||||
| 1368 | |||||
| 1369 | Adds C<$type> to the list of parameterizable types | ||||
| 1370 | |||||
| 1371 | =back | ||||
| 1372 | |||||
| 1373 | =head1 BUGS | ||||
| 1374 | |||||
| 1375 | See L<Moose/BUGS> for details on reporting bugs. | ||||
| 1376 | |||||
| 1377 | =head1 AUTHOR | ||||
| 1378 | |||||
| 1379 | Stevan Little E<lt>stevan@iinteractive.comE<gt> | ||||
| 1380 | |||||
| 1381 | =head1 COPYRIGHT AND LICENSE | ||||
| 1382 | |||||
| 1383 | Copyright 2006-2010 by Infinity Interactive, Inc. | ||||
| 1384 | |||||
| 1385 | L<http://www.iinteractive.com> | ||||
| 1386 | |||||
| 1387 | This library is free software; you can redistribute it and/or modify | ||||
| 1388 | it under the same terms as Perl itself. | ||||
| 1389 | |||||
| 1390 | =cut | ||||
# spent 40µs within Moose::Util::TypeConstraints::CORE:match which was called 18 times, avg 2µs/call:
# 18 times (40µs+0s) by Moose::Util::TypeConstraints::_create_type_constraint at line 508 of Moose/Util/TypeConstraints.pm, avg 2µs/call | |||||
# spent 14µs within Moose::Util::TypeConstraints::CORE:qr which was called 9 times, avg 2µs/call:
# once (5µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 574 of Moose/Util/TypeConstraints.pm
# once (2µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 580 of Moose/Util/TypeConstraints.pm
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 589 of Moose/Util/TypeConstraints.pm
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 587 of Moose/Util/TypeConstraints.pm
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 581 of Moose/Util/TypeConstraints.pm
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 583 of Moose/Util/TypeConstraints.pm
# once (1µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 575 of Moose/Util/TypeConstraints.pm
# once (900ns+0s) by Moose::Meta::Attribute::BEGIN@18 at line 586 of Moose/Util/TypeConstraints.pm
# once (700ns+0s) by Moose::Meta::Attribute::BEGIN@18 at line 576 of Moose/Util/TypeConstraints.pm | |||||
# spent 230µs within Moose::Util::TypeConstraints::CORE:regcomp which was called 7 times, avg 33µs/call:
# once (66µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 589 of Moose/Util/TypeConstraints.pm
# once (55µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 587 of Moose/Util/TypeConstraints.pm
# once (30µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 580 of Moose/Util/TypeConstraints.pm
# once (30µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 581 of Moose/Util/TypeConstraints.pm
# once (29µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 583 of Moose/Util/TypeConstraints.pm
# once (12µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 575 of Moose/Util/TypeConstraints.pm
# once (8µs+0s) by Moose::Meta::Attribute::BEGIN@18 at line 586 of Moose/Util/TypeConstraints.pm | |||||
# spent 12µs within Moose::Util::TypeConstraints::CORE:subst which was called 17 times, avg 718ns/call:
# 17 times (12µs+0s) by Moose::Util::TypeConstraints::normalize_type_constraint_name at line 237 of Moose/Util/TypeConstraints.pm, avg 718ns/call |