if ref $value;
if (defined $value && $attr->has_type_constraint) {
- my $type_converter = $self->find_type_handler($attr->type_constraint);
+ my $type_converter = $self->find_type_handler($attr->type_constraint, $value);
(defined $type_converter)
|| confess "Cannot convert " . $attr->type_constraint->name;
$value = $type_converter->{collapse}->($value, $options);
}
if (defined $value && $attr->has_type_constraint) {
- my $type_converter = $self->find_type_handler($attr->type_constraint);
+ my $type_converter = $self->find_type_handler($attr->type_constraint, $value);
$value = $type_converter->{expand}->($value, $options);
}
return $value;
}
sub find_type_handler {
- my ($self, $type_constraint) = @_;
-
+ my ($self, $type_constraint, $value) = @_;
+
# check if the type is a Maybe and
# if its parent is not parameterized.
# If both is true recurse this method
# using ->type_parameter.
- return $self->find_type_handler($type_constraint->type_parameter)
+ return $self->find_type_handler($type_constraint->type_parameter, $value)
if ($type_constraint->parent && $type_constraint->parent eq 'Maybe'
and not $type_constraint->parent->can('type_parameter'));
+ # find_type_for is a method of a union type. If we can call that method
+ # then we are dealign with a union and we need to ascertain which of
+ # the union's types we need to use for the value we are serializing.
+ if($type_constraint->can('find_type_for')) {
+ my $tc = $type_constraint->find_type_for($value);
+ return $self->find_type_handler($tc, $value) if defined($tc);
+ }
+
# this should handle most type usages
# since they they are usually just
# the standard set of built-ins
use strict;
use warnings;
-use Test::More tests => 12;
+use Test::More tests => 14;
BEGIN {
use_ok('MooseX::Storage');
has 'array' => ( is => 'ro', isa => 'ArrayRef' );
has 'hash' => ( is => 'ro', isa => 'HashRef' );
has 'object' => ( is => 'ro', isa => 'Foo' );
+ has 'union' => ( is => 'ro', isa => 'ArrayRef|Str' );
+ has 'union2' => ( is => 'ro', isa => 'ArrayRef|Str' );
}
{
array => [ 1 .. 10 ],
hash => { map { $_ => undef } ( 1 .. 10 ) },
object => Foo->new( number => 2 ),
+ union => [ 1, 2, 3 ],
+ union2 => 'A String'
);
isa_ok( $foo, 'Foo' );
-
+
is_deeply(
$foo->pack,
{
float => 10.5,
array => [ 1 .. 10 ],
hash => { map { $_ => undef } ( 1 .. 10 ) },
- object => {
- __CLASS__ => 'Foo',
- number => 2
- },
+ object => {
+ __CLASS__ => 'Foo',
+ number => 2
+ },
+ union => [ 1, 2, 3 ],
+ union2 => 'A String'
},
'... got the right frozen class'
);
float => 10.5,
array => [ 1 .. 10 ],
hash => { map { $_ => undef } ( 1 .. 10 ) },
- object => {
- __CLASS__ => 'Foo',
- number => 2
- },
- }
+ object => {
+ __CLASS__ => 'Foo',
+ number => 2
+ },
+ union => [ 1, 2, 3 ],
+ union2 => 'A String'
+ }
);
isa_ok( $foo, 'Foo' );
isa_ok( $foo->object, 'Foo' );
is( $foo->object->number, 2,
'... got the right number (in the embedded object)' );
+ is_deeply( $foo->union, [ 1 .. 3 ], '... got the right array (in the union)' );
+ is( $foo->union2, 'A String', '... got the right string (in the union)' );
}