moving things around to get ready to support Class::MOP 0.36

[gitmo/Moose.git] / lib / Moose / Meta / TypeConstraint.pm

diff --git a/lib/Moose/Meta/TypeConstraint.pm b/lib/Moose/Meta/TypeConstraint.pm
index e67e6f3..8d0f28a 100644 (file)
--- a/lib/Moose/Meta/TypeConstraint.pm
+++ b/lib/Moose/Meta/TypeConstraint.pm
@@ -11,6 +11,8 @@ use Scalar::Util 'blessed';
 
 our $VERSION = '0.06';
 
+use Moose::Meta::TypeConstraint::Union;
+
 __PACKAGE__->meta->add_attribute('name'       => (reader => 'name'      ));
 __PACKAGE__->meta->add_attribute('parent'     => (reader => 'parent'    ));
 __PACKAGE__->meta->add_attribute('constraint' => (reader => 'constraint'));
@@ -128,116 +130,6 @@ sub union {
     );
 }
 
-package Moose::Meta::TypeConstraint::Union;
-
-use strict;
-use warnings;
-use metaclass;
-
-our $VERSION = '0.03';
-
-__PACKAGE__->meta->add_attribute('type_constraints' => (
-    accessor  => 'type_constraints',
-    default   => sub { [] }
-));
-
-sub new { 
-    my $class = shift;
-    my $self  = $class->meta->new_object(@_);
-    return $self;
-}
-
-sub name { join ' | ' => map { $_->name } @{$_[0]->type_constraints} }
-
-# NOTE:
-# this should probably never be used
-# but we include it here for completeness
-sub constraint    { 
-    my $self = shift;
-    sub { $self->check($_[0]) }; 
-}
-
-# conform to the TypeConstraint API
-sub parent        { undef  }
-sub message       { undef  }
-sub has_message   { 0      }
-
-# FIXME:
-# not sure what this should actually do here
-sub coercion { undef  }
-
-# this should probably be memoized
-sub has_coercion  {
-    my $self  = shift;
-    foreach my $type (@{$self->type_constraints}) {
-        return 1 if $type->has_coercion
-    }
-    return 0;    
-}
-
-# NOTE:
-# this feels too simple, and may not always DWIM
-# correctly, especially in the presence of 
-# close subtype relationships, however it should 
-# work for a fair percentage of the use cases
-sub coerce { 
-    my $self  = shift;
-    my $value = shift;
-    foreach my $type (@{$self->type_constraints}) {
-        if ($type->has_coercion) {
-            my $temp = $type->coerce($value);
-            return $temp if $self->check($temp);
-        }
-    }
-    return undef;    
-}
-
-sub _compiled_type_constraint {
-    my $self  = shift;
-    return sub {
-        my $value = shift;
-        foreach my $type (@{$self->type_constraints}) {
-            return 1 if $type->check($value);
-        }
-        return undef;    
-    }
-}
-
-sub check {
-    my $self  = shift;
-    my $value = shift;
-    $self->_compiled_type_constraint->($value);
-}
-
-sub validate {
-    my $self  = shift;
-    my $value = shift;
-    my $message;
-    foreach my $type (@{$self->type_constraints}) {
-        my $err = $type->validate($value);
-        return unless defined $err;
-        $message .= ($message ? ' and ' : '') . $err
-            if defined $err;
-    }
-    return ($message . ' in (' . $self->name . ')') ;    
-}
-
-sub is_a_type_of {
-    my ($self, $type_name) = @_;
-    foreach my $type (@{$self->type_constraints}) {
-        return 1 if $type->is_a_type_of($type_name);
-    }
-    return 0;    
-}
-
-sub is_subtype_of {
-    my ($self, $type_name) = @_;
-    foreach my $type (@{$self->type_constraints}) {
-        return 1 if $type->is_subtype_of($type_name);
-    }
-    return 0;
-}
-
 1;
 
 __END__