NAME

Sub::WrapInType - Wrap the subroutine to validate the argument type and return type.

SYNOPSIS

use Test2::V0;
use Types::Standard -types;
use Sub::WrapInType;

my $sum = wrap_sub [ Int, Int ], Int, sub {
  my ($x, $y) = @_;
  $x + $y;
};
$sum->('foo'); # Error!
$sum->(2, 5); # 7

my $subtract = wrap_sub [ Int, Int ], Int, sub {
  my ($x, $y) = @_;
  "$x - $y";
};
$subtract->(5, 2); # Returns string '5 - 2', error!

DESCRIPTION

Sub::WrapInType is wrap the subroutine to validate the argument type and return type.

FUNCTIONS

wrap_sub(\@parameter_types, $return_type, $subroutine)

If you pass type constraints of parameters, a return type constraint, and a subroutine to this function, Returns the subroutine wrapped in the process of checking the arguments given in the parameter's type constraints and checking the return value with the return value's type constraint.

The type constraint expects to be passed an object of Type::Tiny.

This is a wrapper for the constructor.

METHODS

new(\@parameter_types, $return_type, $subroutine)

Constract a new Sub::WrapInType object.

use Types::Standard -types;
use Sub::WrapInType;
my $wraped_sub = Sub::WrapInType->new([Int, Int] => Int, sub { $_[0] + $_[1] });

LICENSE

Copyright (C) mp0liiu.

This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself.

AUTHOR

mp0liiu <mpoliiu@cpan.org>