NAME
Function::Return - specify a function return type
SYNOPSIS
use Function::Return;
use Types::Standard -types;
sub foo :Return(Int) { 123 }
sub bar :Return(Int) { 3.14 }
foo(); # 123
bar(); # ERROR! Invalid type
# multi return values
sub baz :Return(Num, Str) { 3.14, 'message' }
my ($pi, $msg) = baz();
my $count = baz(); # ERROR! Required list context.
# empty return
sub boo :Return() { return; }
boo();DESCRIPTION
Function::Return allows you to specify a return type for your functions.
SUPPORT
This module supports all perl versions starting from v5.14.
IMPORT OPTIONS
no_check
you can switch off type check:
use Function::Return no_check => 1;
sub foo :Return(Int) { 3.14 }
foo(); # NO ERROR!pkg
Function::Return automatically exports a return type by caller.
Or you can specify a package name:
use Function::Return pkg => 'MyClass';METHODS
Function::Return::info($coderef)
The function Function::Return::info lets you introspect return values like Function::Parameters::Info:
use Function::Return;
sub baz() :Return(Str) { 'hello' }
my $rinfo = Function::Return::info \&baz;
$rinfo->types; # [Str]
$rinfo->isa('Function::Return::Info');In addition, it can be used with Function::Parameters:
use Function::Parameters;
use Function::Return;
fun baz() :Return(Str) { 'hello' }
my $pinfo = Function::Parameters::info \&baz;
my $rinfo = Function::Return::info \&baz;This makes it possible to know both type information of function arguments and return value at compile time, making it easier to use for testing etc.
Function::Return->wrap_sub($coderef)
This interface is for power-user. Rather than using the :Return attribute, it's possible to wrap a coderef like this:
my $wrapped = Function::Return->wrap_sub($orig, [Str]);
$wrapped->();NOTE
enforce LIST to simplify
Function::Return makes the original function is called in list context whether the wrapped function is called in list, scalar, void context:
sub foo :Return(Str) { wantarray ? 'LIST!!' : 'NON!!' }
my $a = foo(); # => LIST!!The specified type checks against the value the original function was called in the list context.
wantarray is convenient, but it sometimes causes confusion. So, in this module, we prioritize that it easy to understand the type of function return value.
requirements of type constraint
The requirements of type constraint of Function::Return is the same as for Function::Parameters. Specific requirements are as follows:
> The only requirement is that the returned value (here referred to as $tc, for "type constraint") is an object that provides $tc->check($value) and $tc->get_message($value) methods. check is called to determine whether a particular value is valid; it should return a true or false value. get_message is called on values that fail the check test; it should return a string that describes the error.
compare Return::Type
Both Return::Type and Function::Return perform type checking on function return value, but have some differences.
1. Function::Return is not possible to specify different type constraints for scalar and list context, but Return::Type is possible.
2. Function::Return check type constraint for void context, but Return::Type doesn't.
3. Function::Return::info and Function::Parameters::info can be used together, but Return::Type seems a bit difficult.
SEE ALSO
Function::Parameters, Return::Type
LICENSE
Copyright (C) kfly8.
This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself.
AUTHOR
kfly8 <kfly@cpan.org>