2 use warnings FATAL => 'all';
6 eval { require MooseX::Types; 1 }
8 : (skip_all => "MooseX::Types required for testing types")
11 use MooseX::Types::Moose qw(Int Str ArrayRef CodeRef);
13 use Function::Parameters qw(:strict);
16 fun foo((Int) $n, (CodeRef) $f, $x) {
17 $x = $f->($x) for 1 .. $n;
21 is foo(0, fun {}, undef), undef;
22 is foo(0, fun {}, "o hai"), "o hai";
23 is foo(3, fun ($x) { "($x)" }, 1.5), "(((1.5)))";
24 is foo(3, fun (Str $x) { "($x)" }, 1.5), "(((1.5)))";
27 my $info = Function::Parameters::info \&foo;
28 is $info->invocant, undef;
29 is $info->slurpy, undef;
30 is $info->positional_optional, 0;
31 is $info->named_required, 0;
32 is $info->named_optional, 0;
33 my @req = $info->positional_required;
35 is $req[0]->name, '$n';
36 ok $req[0]->type->equals(Int);
37 is $req[1]->name, '$f';
38 ok $req[1]->type->equals(CodeRef);
39 is $req[2]->name, '$x';
40 is $req[2]->type, undef;
43 like exception { foo("ermagerd", fun {}, undef) }, qr/\bparameter 1.+\$n\b.+\bValidation failed\b.+\bInt\b.+ermagerd/;
44 like exception { foo(0, {}, undef) }, qr/\bparameter 2.+\$f\b.+\bValidation failed\b.+\bCodeRef\b/;
46 fun bar(((Function::Parameters::info(\&foo)->positional_required)[0]->type) $whoa) { $whoa * 2 }
50 my $info = Function::Parameters::info \&bar;
51 is $info->invocant, undef;
52 is $info->slurpy, undef;
53 is $info->positional_optional, 0;
54 is $info->named_required, 0;
55 is $info->named_optional, 0;
56 my @req = $info->positional_required;
58 is $req[0]->name, '$whoa';
59 ok $req[0]->type->equals(Int);
63 my $info = Function::Parameters::info(fun ( ( ArrayRef [ Int | CodeRef ])@nom) {});
64 is $info->invocant, undef;
65 is $info->positional_required, 0;
66 is $info->positional_optional, 0;
67 is $info->named_required, 0;
68 is $info->named_optional, 0;
69 my $slurpy = $info->slurpy;
70 is $slurpy->name, '@nom';
71 ok $slurpy->type->equals(ArrayRef[Int|CodeRef]);
75 my $phase = 'runtime';
76 BEGIN { $phase = 'A'; }
116 BEGIN { is $phase, 'C'; }
117 is $phase, 'runtime';
119 is_deeply baz(polo => [qw(foo bar baz)], marco => 11), [11, [qw(foo bar baz)]];
121 my $info = Function::Parameters::info \&baz;
122 is $info->invocant, undef;
123 is $info->slurpy, undef;
124 is $info->positional_required, 0;
125 is $info->positional_optional, 0;
126 is $info->named_optional, 0;
127 my @req = $info->named_required;
129 is $req[0]->name, '$marco';
130 ok $req[0]->type->equals(Int);
131 is $req[1]->name, '$polo';
132 ok $req[1]->type->equals(ArrayRef[Str]);