use warnings;
use Carp ();
-use Mouse::Util qw/blessed looks_like_number openhandle/;
+use Scalar::Util qw/blessed looks_like_number openhandle/;
-my $SUBTYPE = +{};
-my $COERCE = +{};
+my %SUBTYPE;
+my %COERCE;
+my %COERCE_KEYS;
#find_type_constraint register_type_constraint
sub import {
$_[0]
}
+my $optimized_constraints;
+my $optimized_constraints_base;
+{
+ no warnings 'uninitialized';
+ %SUBTYPE = (
+ Any => sub { 1 },
+ Item => sub { 1 },
+ Bool => sub {
+ !defined($_) || $_ eq "" || "$_" eq '1' || "$_" eq '0'
+ },
+ Undef => sub { !defined($_) },
+ Defined => sub { defined($_) },
+ Value => sub { defined($_) && !ref($_) },
+ Num => sub { !ref($_) && looks_like_number($_) },
+ Int => sub { defined($_) && !ref($_) && /^-?[0-9]+$/ },
+ Str => sub { defined($_) && !ref($_) },
+ ClassName => sub { Mouse::is_class_loaded($_) },
+ Ref => sub { ref($_) },
+
+ ScalarRef => sub { ref($_) eq 'SCALAR' },
+ ArrayRef => sub { ref($_) eq 'ARRAY' },
+ HashRef => sub { ref($_) eq 'HASH' },
+ CodeRef => sub { ref($_) eq 'CODE' },
+ RegexpRef => sub { ref($_) eq 'Regexp' },
+ GlobRef => sub { ref($_) eq 'GLOB' },
+
+ FileHandle => sub {
+ ref($_) eq 'GLOB'
+ && openhandle($_)
+ or
+ blessed($_)
+ && $_->isa("IO::Handle")
+ },
+
+ Object => sub { blessed($_) && blessed($_) ne 'Regexp' },
+ );
+
+ sub optimized_constraints { \%SUBTYPE }
+ my @SUBTYPE_KEYS = keys %SUBTYPE;
+ sub list_all_builtin_type_constraints { @SUBTYPE_KEYS }
+}
+
sub _subtype {
my $pkg = caller(0);
my($name, %conf) = @_;
- if (my $type = $SUBTYPE->{$name}) {
+ if (my $type = $SUBTYPE{$name}) {
Carp::croak "The type constraint '$name' has already been created, cannot be created again in $pkg";
};
my $as = $conf{as};
- my $stuff = $conf{where} || optimized_constraints()->{$as};
+ my $stuff = $conf{where} || $SUBTYPE{$as};
- $SUBTYPE->{$name} = $stuff;
+ $SUBTYPE{$name} = $stuff;
}
sub _coerce {
my($name, %conf) = @_;
Carp::croak "Cannot find type '$name', perhaps you forgot to load it."
- unless optimized_constraints()->{$name};
+ unless $SUBTYPE{$name};
- my $subtypes = optimized_constraints();
- $COERCE->{$name} ||= {};
+ unless ($COERCE{$name}) {
+ $COERCE{$name} = {};
+ $COERCE_KEYS{$name} = [];
+ }
while (my($type, $code) = each %conf) {
Carp::croak "A coercion action already exists for '$type'"
- if $COERCE->{$name}->{$type};
+ if $COERCE{$name}->{$type};
Carp::croak "Could not find the type constraint ($type) to coerce from"
- unless $subtypes->{$type};
+ unless $SUBTYPE{$type};
- $COERCE->{$name}->{$type} = $code;
+ push @{ $COERCE_KEYS{$name} }, $type;
+ $COERCE{$name}->{$type} = $code;
}
}
}
sub typecast_constraints {
- my($class, $pkg, $type, $value) = @_;
- return $value unless $COERCE->{$type};
-
- my $optimized_constraints = optimized_constraints();
- for my $coerce_type (keys %{ $COERCE->{$type} }) {
- local $_ = $value;
- if ($optimized_constraints->{$coerce_type}->()) {
- local $_ = $value;
- return $COERCE->{$type}->{$coerce_type}->();
+ my($class, $pkg, $type_constraint, $types, $value) = @_;
+
+ local $_;
+ for my $type (ref($types) eq 'ARRAY' ? @{ $types } : ( $types )) {
+ next unless $COERCE{$type};
+ for my $coerce_type (@{ $COERCE_KEYS{$type}}) {
+ $_ = $value;
+ next unless $SUBTYPE{$coerce_type}->();
+ $_ = $value;
+ $_ = $COERCE{$type}->{$coerce_type}->();
+ return $_ if $type_constraint->();
}
}
-
return $value;
}
-{
- no warnings 'uninitialized';
- my $optimized_constraints = {
- Any => sub { 1 },
- Item => sub { 1 },
- Bool => sub {
- !defined($_) || $_ eq "" || "$_" eq '1' || "$_" eq '0'
- },
- Undef => sub { !defined($_) },
- Defined => sub { defined($_) },
- Value => sub { defined($_) && !ref($_) },
- Num => sub { !ref($_) && looks_like_number($_) },
- Int => sub { defined($_) && !ref($_) && /^-?[0-9]+$/ },
- Str => sub { defined($_) && !ref($_) },
- ClassName => sub { Mouse::is_class_loaded($_) },
- Ref => sub { ref($_) },
-
- ScalarRef => sub { ref($_) eq 'SCALAR' },
- ArrayRef => sub { ref($_) eq 'ARRAY' },
- HashRef => sub { ref($_) eq 'HASH' },
- CodeRef => sub { ref($_) eq 'CODE' },
- RegexpRef => sub { ref($_) eq 'Regexp' },
- GlobRef => sub { ref($_) eq 'GLOB' },
-
- FileHandle => sub {
- ref($_) eq 'GLOB'
- && openhandle($_)
- or
- blessed($_)
- && $_->isa("IO::Handle")
- },
-
- Object => sub { blessed($_) && blessed($_) ne 'Regexp' },
- };
- sub optimized_constraints {
- return { %{ $SUBTYPE }, %{ $optimized_constraints } };
- }
-}
-
1;
__END__