-#!/usr/bin/env perl
+#!perl
use strict;
use warnings;
-use Test::More tests => 54;
+use Test::More;
use Test::Exception;
use Tie::Hash;
use Tie::Array;
+
{
{
package My::Role;
my $bar = Bar->new(list => [ qw(a b c) ]);
is_deeply( $bar->list, \@list, "list is as expected");
- } "coercion works";
+ } "coercion works"
+ or diag( Mouse::Util::TypeConstraints::find_type_constraint("Bar::List")->dump );
throws_ok {
Bar->new(list => [ { 1 => 2 }, 2, 3 ]);
}
is_deeply \%th_clone, \%th, 'the hash iterator is initialized';
+
+
+for my $i(1 .. 2) {
+ diag "derived from parameterized types #$i";
+
+ my $myhashref = subtype 'MyHashRef',
+ as 'HashRef[Value]',
+ where { keys %$_ > 1 };
+
+ ok $myhashref->is_a_type_of('HashRef'), "$myhashref";
+ ok $myhashref->check({ a => 43, b => 100 });
+ ok $myhashref->check({ a => 43, b => 3.14 });
+ ok !$myhashref->check({});
+ ok !$myhashref->check({ a => 42, b => [] });
+
+ is $myhashref->type_parameter, 'Value';
+
+ $myhashref = subtype 'H', as 'MyHashRef[Int]';
+
+ ok $myhashref->is_a_type_of('HashRef'), "$myhashref";
+ ok $myhashref->check({ a => 43, b => 100 });
+ ok $myhashref->check({ a => 43, b => 100, c => 0 });
+ ok !$myhashref->check({}), 'empty hash';
+ ok !$myhashref->check({ foo => 42 });
+ ok !$myhashref->check({ a => 43, b => "foo" });
+ ok !$myhashref->check({ a => 42, b => [] });
+ ok !$myhashref->check({ a => 42, b => undef });
+ ok !$myhashref->check([42]);
+ ok !$myhashref->check("foo");
+
+ is $myhashref->type_parameter, 'Int';
+}
+
+done_testing;
+