Types::TypedCodeRef - Type constraint for any typed subroutine.
use Test2::V0;
use Types::TypedCodeRef -types;
use Types::Standard -types;
use Sub::WrapInType qw( wrap_sub );
my $type = TypedCodeRef[ [Int, Int] => Int ];
ok $type->check(wrap_sub [Int, Int] => Int, sub { $_[0] + $_[1] });
ok !$type->check(0);
ok !$type->check([]);
ok !$type->check(sub {});
Types::TypedCodeRef is type constraint for any typed subroutine (example, generated by Sub::WrapInType).
Only accepts typed subroutines. A typed subroutine is a code reference in which the type of the parameter and the type of the return value are defined. Types::TypedCodeRef is designed to inspect typed subroutines generated by Sub::WrapInType, but it is extensible enough to inspect typed subroutines created in other ways as well.
The first type parameter is the subroutine parameters type, and the second type parameter is the subroutine return values type.
Copyright (C) ybrliiu.
This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself.
ybrliiu raian@reeshome.org