Released types for subroutines

use Types::Sub -types; use Types::Standard -types; my $Sub = Sub[ args => [Int, Int], returns => Int, ]; warn $Sub->validate(sub {}) # => # Reference sub { "DUMMY" } did not pass type constraint "Sub[sub(Int, Int) => Int]" # Reason : invalid parameters: invalid args length. got: 0, expected: 2 # Expected : sub(Int, Int) => Int # Got : sub(*) => * 

use Types::Sub -types; use Types::Standard -types; my $Sub = Sub[ args => [Int, Int], ]; use Function::Parameters; fun add(Int $a, Int $b) { return $a + $b } ok $Sub->check(\&add); use Sub::WrapInType qw(wrap_sub); ok $Sub->check(wrap_sub([Int,Int] => Int, sub {})); use Sub::WrapInType::Attribute; sub add2 :WrapSub([Int,Int] => Int) { my ($a, $b) = @_; return $a + $b } ok $Sub->check(\&add2); sub add3 {} my $meta = Sub::Meta->new( args => [Int, Int], returns => Int, ); Sub::Meta::Library->register(\&add3, $meta); ok $Sub->check(\&add3);