X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FMouse%2FUtil%2FTypeConstraints.pm;h=885788ae75ac1595eb03d18f55dcd68c580b056d;hb=d44f0d03f175f6812650ec7c86cb3b3878667cae;hp=bd71383296c93b907d71dc8682aa88b717763b0f;hpb=cceb0e252f64443a80ed5d90ebd2bcacbc338911;p=gitmo%2FMouse.git diff --git a/lib/Mouse/Util/TypeConstraints.pm b/lib/Mouse/Util/TypeConstraints.pm index bd71383..885788a 100644 --- a/lib/Mouse/Util/TypeConstraints.pm +++ b/lib/Mouse/Util/TypeConstraints.pm @@ -1,46 +1,32 @@ package Mouse::Util::TypeConstraints; use strict; use warnings; +use base 'Exporter'; use Carp (); use Scalar::Util qw/blessed looks_like_number openhandle/; +our @EXPORT = qw( + as where message from via type subtype coerce class_type role_type enum +); + my %TYPE; +my %TYPE_SOURCE; my %COERCE; my %COERCE_KEYS; -#find_type_constraint register_type_constraint -sub import { - my $class = shift; - my %args = @_; - my $caller = $args{callee} || caller(0); - - no strict 'refs'; - *{"$caller\::as"} = \&_as; - *{"$caller\::where"} = \&_where; - *{"$caller\::message"} = \&_message; - *{"$caller\::from"} = \&_from; - *{"$caller\::via"} = \&_via; - *{"$caller\::type"} = \&_type; - *{"$caller\::subtype"} = \&_subtype; - *{"$caller\::coerce"} = \&_coerce; - *{"$caller\::class_type"} = \&_class_type; - *{"$caller\::role_type"} = \&_role_type; -} - - -sub _as ($) { +sub as ($) { as => $_[0] } -sub _where (&) { +sub where (&) { where => $_[0] } -sub _message ($) { +sub message (&) { message => $_[0] } -sub _from { @_ } -sub _via (&) { +sub from { @_ } +sub via (&) { $_[0] } @@ -71,12 +57,10 @@ my $optimized_constraints_base; GlobRef => sub { ref($_) eq 'GLOB' }, FileHandle => sub { - ref($_) eq 'GLOB' - && openhandle($_) + ref($_) eq 'GLOB' && openhandle($_) or - blessed($_) - && $_->isa("IO::Handle") - }, + blessed($_) && $_->isa("IO::Handle") + }, Object => sub { blessed($_) && blessed($_) ne 'Regexp' }, ); @@ -84,34 +68,41 @@ my $optimized_constraints_base; sub optimized_constraints { \%TYPE } my @TYPE_KEYS = keys %TYPE; sub list_all_builtin_type_constraints { @TYPE_KEYS } + + @TYPE_SOURCE{@TYPE_KEYS} = (__PACKAGE__) x @TYPE_KEYS; } -sub _type { +sub type { my $pkg = caller(0); my($name, %conf) = @_; - if (my $type = $TYPE{$name}) { - Carp::croak "The type constraint '$name' has already been created, cannot be created again in $pkg"; + if ($TYPE{$name} && $TYPE_SOURCE{$name} ne $pkg) { + Carp::croak "The type constraint '$name' has already been created in $TYPE_SOURCE{$name} and cannot be created again in $pkg"; }; - my $stuff = $conf{where} || do { $TYPE{delete $conf{as} || 'Any' } }; - $TYPE{$name} = $stuff; + my $constraint = $conf{where} || do { $TYPE{delete $conf{as} || 'Any' } }; + + $TYPE_SOURCE{$name} = $pkg; + $TYPE{$name} = $constraint; } -sub _subtype { +sub subtype { my $pkg = caller(0); my($name, %conf) = @_; - if (my $type = $TYPE{$name}) { - Carp::croak "The type constraint '$name' has already been created, cannot be created again in $pkg"; + if ($TYPE{$name} && $TYPE_SOURCE{$name} ne $pkg) { + Carp::croak "The type constraint '$name' has already been created in $TYPE_SOURCE{$name} and cannot be created again in $pkg"; }; - my $stuff = $conf{where} || do { $TYPE{delete $conf{as} || 'Any' } }; - my $as = $conf{as} || ''; + my $constraint = $conf{where} || do { $TYPE{delete $conf{as} || 'Any' } }; + my $as = $conf{as} || ''; + + $TYPE_SOURCE{$name} = $pkg; + if ($as = $TYPE{$as}) { - $TYPE{$name} = sub { $as->($_) && $stuff->($_) }; + $TYPE{$name} = sub { $as->($_) && $constraint->($_) }; } else { - $TYPE{$name} = $stuff; + $TYPE{$name} = $constraint; } } -sub _coerce { +sub coerce { my($name, %conf) = @_; Carp::croak "Cannot find type '$name', perhaps you forgot to load it." @@ -133,20 +124,19 @@ sub _coerce { } } -sub _class_type { +sub class_type { my $pkg = caller(0); my($name, $conf) = @_; my $class = $conf->{class}; - Mouse::load_class($class); - _subtype( + subtype( $name => where => sub { $_->isa($class) } ); } -sub _role_type { +sub role_type { my($name, $conf) = @_; my $role = $conf->{role}; - _subtype( + subtype( $name => where => sub { return unless defined $_ && ref($_) && $_->isa('Mouse::Object'); $_->meta->does_role($role); @@ -171,6 +161,15 @@ sub typecast_constraints { return $value; } +sub enum { + my $name = shift; + my %is_valid = map { $_ => 1 } @_; + + subtype( + $name => where => sub { $is_valid{$_} } + ); +} + 1; __END__