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;
+ },
'""' => sub {
- return shift->__type_constraint->name;
+ my $self = shift @_;
+ if(blessed $self) {
+ return $self->__type_constraint->name;
+ } else {
+ return "$self";
+ }
},
+ bool => sub { 1 },
'|' => sub {
## It's kind of ugly that we need to know about Union Types, but this
## is needed for syntax compatibility. Maybe someday we'll all just do
## Or[Str,Str,Int]
-
- my @tc = grep {ref $_} @_;
+
+ my @args = @_[0,1]; ## arg 3 is special, see the overload docs.
+ my @tc = grep {blessed $_} map {
+ blessed $_ ? $_ :
+ Moose::Util::TypeConstraints::find_or_parse_type_constraint($_)
+ || __PACKAGE__->_throw_error( "$_ is not a type constraint")
+ } @args;
+
+ ( scalar @tc == scalar @args)
+ || __PACKAGE__->_throw_error(
+ "one of your type constraints is bad. Passed: ". join(', ', @args) ." Got: ". join(', ', @tc));
+
+ ( scalar @tc >= 2 )
+ || __PACKAGE__->_throw_error("You must pass in at least 2 type names to make a union");
+
my $union = Moose::Meta::TypeConstraint::Union->new(type_constraints=>\@tc);
return Moose::Util::TypeConstraints::register_type_constraint($union);
},
+ fallback => 1,
+
);
-=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(ref $arg && $arg->isa('Moose::Meta::TypeConstraint')) {
+ if(blessed $arg && $arg->isa('Moose::Meta::TypeConstraint')) {
return bless {'__type_constraint'=>$arg}, $class;
- } elsif(ref $arg && $arg->isa('MooseX::Types::UndefinedType')) {
+ } elsif(
+ blessed $arg &&
+ $arg->isa('MooseX::Types::UndefinedType')
+ ) {
## stub in case we'll need to handle these types differently
return bless {'__type_constraint'=>$arg}, $class;
+ } elsif(blessed $arg) {
+ __PACKAGE__->_throw_error("Argument must be ->isa('Moose::Meta::TypeConstraint') or ->isa('MooseX::Types::UndefinedType'), not ". blessed $arg);
} else {
- croak "Argument must be ->isa('Moose::Meta::TypeConstraint') or ->isa('MooseX::Types::UndefinedType')";
+ __PACKAGE__->_throw_error("Argument cannot be '$arg'");
}
} else {
- croak "This method [new] requires a single argument of 'arg'.";
+ __PACKAGE__->_throw_error("This method [new] requires a single argument.");
}
}
-=head __type_constraint ($type_constraint)
+=head2 __type_constraint ($type_constraint)
Set/Get the type_constraint.
=cut
sub __type_constraint {
- my $self = shift @_;
- if(defined(my $tc = shift @_)) {
- $self->{__type_constraint} = $tc;
+ my $self = shift @_;
+ if(blessed $self) {
+ if(defined(my $tc = shift @_)) {
+ $self->{__type_constraint} = $tc;
+ }
+ return $self->{__type_constraint};
+ } else {
+ __PACKAGE__->_throw_error('cannot call __type_constraint as a class method');
}
- return $self->{__type_constraint};
}
=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) {
- return $self->__type_constraint->isa($target);
- } else {
- return;
- }
+ my $self = shift;
+ return
+ $self->__type_constraint->isa(@_)
+ || $self->_try_delegate('isa', @_);
}
=head2 can
=cut
-sub can {
- my ($self, $target) = @_;
- if(defined $target) {
- return $self->__type_constraint->can($target);
- } else {
- return;
- }
+sub can { shift->_try_delegate('can', @_) }
+
+=head2 _throw_error
+
+properly delegate error messages
+
+=cut
+
+sub _throw_error {
+ shift;
+ require Moose;
+ unshift @_, 'Moose';
+ goto &Moose::throw_error;
}
=head2 DESTROY
=head2 AUTOLOAD
-Delegate to the decorator targe
+Delegate to the decorator target, unless this is a class type, in which
+case it will call the class' version of the method if present, and fall
+back to the type's version if not.
=cut
sub AUTOLOAD {
my ($self, @args) = @_;
my ($method) = (our $AUTOLOAD =~ /([^:]+)$/);
- if($self->__type_constraint->can($method)) {
- return $self->__type_constraint->$method(@args);
- } else {
- croak "Method '$method' is not supported";
- }
+
+ ## 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.
+
+ $self->_try_delegate($method, @args);
}
-=head1 AUTHOR AND COPYRIGHT
+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->is_subtype_of('Object');
+ }
+ }
+
+ my $inv = ($class && $class->can($method)) ? $class : $tc;
-John Napiorkowski (jnapiorkowski) <jjnapiork@cpan.org>
+ $inv->$method(@args);
+}
=head1 LICENSE