package Mouse::TypeRegistry;
use strict;
use warnings;
-use Scalar::Util qw/looks_like_number blessed openhandle/;
-no warnings 'uninitialized';
-sub optimized_constraints {
- return {
+use Mouse::Util qw/blessed looks_like_number openhandle/;
+
+my $SUBTYPE = +{};
+my $COERCE = +{};
+
+sub import {
+ my $class = shift;
+ my %args = @_;
+ my $caller = caller(0);
+
+ $SUBTYPE->{$caller} ||= +{};
+ $COERCE->{$caller} ||= +{};
+
+ if (defined $args{'-export'} && ref($args{'-export'}) eq 'ARRAY') {
+ no strict 'refs';
+ *{"$caller\::import"} = sub { _import(@_) };
+ }
+
+ no strict 'refs';
+ *{"$caller\::subtype"} = \&_subtype;
+ *{"$caller\::coerce"} = \&_coerce;
+ *{"$caller\::class_type"} = \&_class_type;
+# *{"$caller\::role_type"} = \&_role_type;
+}
+
+sub _import {
+ my($class, @types) = @_;
+ return unless exists $SUBTYPE->{$class} && exists $COERCE->{$class};
+ my $pkg = caller(1);
+ return unless @types;
+ copy_types($class, $pkg, @types);
+}
+
+sub _subtype {
+ my $pkg = caller(0);
+ my($name, $stuff) = @_;
+ if (ref $stuff eq 'HASH') {
+ my $as = $stuff->{as};
+ $stuff = optimized_constraints()->{$as};
+ }
+ $SUBTYPE->{$pkg}->{$name} = $stuff;
+}
+
+sub _coerce {
+ my $pkg = caller(0);
+ my($name, $conf) = @_;
+ $COERCE->{$pkg}->{$name} = $conf;
+}
+
+sub _class_type {
+ my $pkg = caller(0);
+ $SUBTYPE->{$pkg} ||= +{};
+ my($name, $conf) = @_;
+ my $class = $conf->{class};
+ $SUBTYPE->{$pkg}->{$name} = sub {
+ defined $_ && ref($_) eq $class;
+ };
+}
+
+sub typecast_constraints {
+ my($class, $pkg, $type, $value) = @_;
+ return $value unless defined $COERCE->{$pkg} && defined $COERCE->{$pkg}->{$type};
+
+ my $optimized_constraints = optimized_constraints();
+ for my $coerce_type (keys %{ $COERCE->{$pkg}->{$type} }) {
+ local $_ = $value;
+ if ($optimized_constraints->{$coerce_type}->()) {
+ local $_ = $value;
+ return $COERCE->{$pkg}->{$type}->{$coerce_type}->();
+ }
+ }
+
+ return $value;
+}
+
+{
+ no warnings 'uninitialized';
+ my $optimized_constraints = {
Any => sub { 1 },
Item => sub { 1 },
Bool => sub {
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' },
},
Object => sub { blessed($_) && blessed($_) ne 'Regexp' },
-
- ClassName => sub {
- return if ref($_);
- return unless defined($_) && length($_);
-
- # walk the symbol table tree to avoid autovififying
- # \*{${main::}{"Foo::"}} == \*main::Foo::
-
- my $pack = \*::;
- foreach my $part (split('::', $_)) {
- return unless exists ${$$pack}{"${part}::"};
- $pack = \*{${$$pack}{"${part}::"}};
- }
-
- # check for $VERSION or @ISA
- return 1 if exists ${$$pack}{VERSION}
- && defined *{${$$pack}{VERSION}}{SCALAR};
- return 1 if exists ${$$pack}{ISA}
- && defined *{${$$pack}{ISA}}{ARRAY};
-
- # check for any method
- foreach ( keys %{$$pack} ) {
- next if substr($_, -2, 2) eq '::';
- return 1 if defined *{${$$pack}{$_}}{CODE};
- }
-
- # fail
- return;
- },
};
+ sub optimized_constraints {
+ my($class, $pkg) = @_;
+ my $subtypes = $SUBTYPE->{$pkg} || {};
+ return { %{ $subtypes }, %{ $optimized_constraints } };
+ }
}
1;
+__END__
+
+=head1 NAME
+
+Mouse::TypeRegistry - simple type constraints
+
+=head1 METHODS
+
+=head2 optimized_constraints -> HashRef[CODE]
+
+Returns the simple type constraints that Mouse understands.
+
+=cut
+
+