- inject object constructor when call meta->make_immutable.

[gitmo/Mouse.git] / lib / Mouse / TypeRegistry.pm

diff --git a/lib/Mouse/TypeRegistry.pm b/lib/Mouse/TypeRegistry.pm
index 9c18bd2..ecde30d 100644 (file)
--- a/lib/Mouse/TypeRegistry.pm
+++ b/lib/Mouse/TypeRegistry.pm
@@ -2,11 +2,75 @@
 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 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 {
@@ -18,6 +82,7 @@ sub optimized_constraints {
         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' },
@@ -36,37 +101,28 @@ sub optimized_constraints {
         },
 
         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
+
+