t/040_type_constraints/failing/019_coerced_parameterized_types.t

   1 #!/usr/bin/perl
   2
   3 use strict;
   4 use warnings;
   5
   6 use Test::More tests => 11;
   7 use Test::Exception;
   8
   9 BEGIN {
  10     use_ok("Mouse::Util::TypeConstraints");
  11     use_ok('Mouse::Meta::TypeConstraint::Parameterized');
  12 }
  13
  14 BEGIN {
  15     package MyList;
  16     sub new {
  17         my $class = shift;
  18         bless { items => \@_ }, $class;
  19     }
  20
  21     sub items {
  22         my $self = shift;
  23         return @{ $self->{items} };
  24     }
  25 }
  26
  27 subtype 'MyList' => as 'Object' => where { $_->isa('MyList') };
  28
  29 lives_ok {
  30     coerce 'ArrayRef'
  31         => from 'MyList'
  32             => via { [ $_->items ] }
  33 } '... created the coercion okay';
  34
  35 my $mylist = Mouse::Util::TypeConstraints::find_or_parse_type_constraint('MyList[Int]');
  36
  37 ok($mylist->check(MyList->new(10, 20, 30)), '... validated it correctly (pass)');
  38 ok(!$mylist->check(MyList->new(10, "two")), '... validated it correctly (fail)');
  39 ok(!$mylist->check([10]), '... validated it correctly (fail)');
  40
  41 subtype 'EvenList' => as 'MyList' => where { $_->items % 2 == 0 };
  42
  43 # XXX: get this to work *without* the declaration. I suspect it'll be a new
  44 # method in Mouse::Meta::TypeCoercion that will look at the parents of the
  45 # coerced type as well. but will that be too "action at a distance"-ey?
  46 lives_ok {
  47     coerce 'ArrayRef'
  48         => from 'EvenList'
  49             => via { [ $_->items ] }
  50 } '... created the coercion okay';
  51
  52 my $evenlist = Mouse::Util::TypeConstraints::find_or_parse_type_constraint('EvenList[Int]');
  53
  54 ok(!$evenlist->check(MyList->new(10, 20, 30)), '... validated it correctly (fail)');
  55 ok($evenlist->check(MyList->new(10, 20, 30, 40)), '... validated it correctly (pass)');
  56 ok(!$evenlist->check(MyList->new(10, "two")), '... validated it correctly (fail)');
  57 ok(!$evenlist->check([10, 20]), '... validated it correctly (fail)');
  58