package MooseX::Types::TypeDecorator;
+#ABSTRACT: Wraps Moose::Meta::TypeConstraint objects with added features
+
use strict;
use warnings;
-
use Carp::Clan qw( ^MooseX::Types );
use Moose::Util::TypeConstraints ();
use Moose::Meta::TypeConstraint::Union;
use Scalar::Util qw(blessed);
use overload(
+ '0+' => sub {
+ my $self = shift @_;
+ my $tc = $self->{__type_constraint};
+ return 0+$tc;
+ },
+ # workaround for perl 5.8.5 bug
+ '==' => sub { 0+$_[0] == 0+$_[1] },
'""' => sub {
my $self = shift @_;
if(blessed $self) {
return "$self";
}
},
+ bool => sub { 1 },
'|' => sub {
## It's kind of ugly that we need to know about Union Types, but this
);
-=head1 NAME
-
-MooseX::Types::TypeDecorator - More flexible access to a Type Constraint
-
=head1 DESCRIPTION
This is a decorator object that contains an underlying type constraint. We use
=cut
sub new {
- my $class = shift @_;
+ my $proto = shift;
+ if (ref($proto)) {
+ return $proto->_try_delegate('new', @_);
+ }
+ my $class = $proto;
if(my $arg = shift @_) {
if(blessed $arg && $arg->isa('Moose::Meta::TypeConstraint')) {
return bless {'__type_constraint'=>$arg}, $class;
=head2 isa
-handle $self->isa since AUTOLOAD can't.
+handle $self->isa since AUTOLOAD can't - this tries both the type constraint,
+and for a class type, the class.
=cut
sub isa {
- my ($self, $target) = @_;
- if(defined $target) {
- if(blessed $self) {
- return $self->__type_constraint->isa($target);
- } else {
- return;
- }
- } else {
- return;
- }
+ my $self = shift;
+ return
+ blessed $self
+ ? $self->__type_constraint->isa(@_)
+ || $self->_try_delegate( 'isa', @_ )
+ : $self->SUPER::isa(@_);
}
-
=head2 can
handle $self->can since AUTOLOAD can't.
=cut
sub can {
- my ($self, $target) = @_;
- if(defined $target) {
- if(blessed $self) {
- return $self->__type_constraint->can($target);
- } else {
- return;
- }
- } else {
- return;
- }
-}
+ my $self = shift;
-=head2 meta
-
-have meta examine the underlying type constraints
-
-=cut
-
-sub meta {
- my $self = shift @_;
- if(blessed $self) {
- return $self->__type_constraint->meta;
- }
+ return blessed $self
+ ? $self->_try_delegate( 'can', @_ )
+ : $self->SUPER::can(@_);
}
=head2 _throw_error
=head2 AUTOLOAD
-Delegate to the decorator targe
+Delegate to the decorator target, unless this is a class type, in which
+case it will try to delegate to the type object, then if that fails try
+the class. The method 'new' is special cased to only be permitted on
+the class; if there is no class, or it does not provide a new method,
+an exception will be thrown.
=cut
sub AUTOLOAD {
-
my ($self, @args) = @_;
my ($method) = (our $AUTOLOAD =~ /([^:]+)$/);
## We delegate with this method in an attempt to support a value of
## __type_constraint which is also AUTOLOADing, in particular the class
## MooseX::Types::UndefinedType which AUTOLOADs during autovivication.
-
- my $return;
-
- eval {
- $return = $self->__type_constraint->$method(@args);
- }; if($@) {
- __PACKAGE__->_throw_error($@);
- } else {
- return $return;
- }
+
+ $self->_try_delegate($method, @args);
}
-=head1 AUTHOR
+sub _try_delegate {
+ my ($self, $method, @args) = @_;
+ my $tc = $self->__type_constraint;
+ my $class;
+ if ($tc->can('is_subtype_of')) { # Union can't
+ my $search_tc = $tc;
+ while (1) {
+ if ($search_tc->isa('Moose::Meta::TypeConstraint::Class')) {
+ $class = $search_tc->class;
+ last;
+ }
+ $search_tc = $search_tc->parent;
+ last unless $search_tc && $search_tc->is_subtype_of('Object');
+ }
+ }
+
+ my $inv = do {
+ if ($method eq 'new') {
+ die "new called on type decorator for non-class-type ".$tc->name
+ unless $class;
+ die "new called on class type decorator ".$tc->name."\n"
+ ." for class ${class}\n"
+ ." which does not provide a new method - did you forget to load it?"
+ unless $class->can('new');
+ $class
+ } elsif ($class && !$tc->can($method)) {
+ $class
+ } else {
+ $tc
+ }
+ };
-See L<MooseX::Types/AUTHOR>.
+ $inv->$method(@args);
+}
=head1 LICENSE