X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMouse%2FTypeRegistry.pm;h=ecde30d9b0324eb9b931e406e8f0560a42dc1be2;hb=fc1d8369f17d2d6a06ecdcb13199e1d4ecb2e53f;hp=9c18bd231c737b2b225565f823cd63561a0250b7;hpb=31f5a7f75be930dbeffb8836e7e21faf4312a1dc;p=gitmo%2FMouse.git diff --git a/lib/Mouse/TypeRegistry.pm b/lib/Mouse/TypeRegistry.pm index 9c18bd2..ecde30d 100644 --- 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 + +