NAME
Function::Interface::Types - interface types for Type::Tiny
SYNOPSIS
use
Function::Interface::Types -types;
my
$type
= ImplOf[
'IFoo'
];
my
$foo
= Foo->new;
# implements of 'IFoo'
$type
->check(
$foo
);
# ok
DESCRIPTION
Function::Interface::Types provides type constraints of interface package. The following types are available.
ImplOf[`a]
ImplOf['IFoo', 'IBar']
allows objects or packages where implements of interface package 'IFoo' and 'IBar' both return true.
Given no parameters, just equivalent to Object or ClassName.