File Coverage

blib/lib/Function/Interface/Types.pm

Criterion	Covered	Total	%
statement	17	17	100.0
branch			n/a
condition			n/a
subroutine	6	6	100.0
pod			n/a
total	23	23	100.0

package Function::Interface::Types;

use v5.14.0;
use warnings;

our $VERSION = "0.05";

use Type::Library -base,
    -declare => qw( ImplOf );

use Types::Standard -types;
use Class::Load qw(is_class_loaded);
use Scalar::Util qw(blessed);

__PACKAGE__->add_type({
    name   => 'ImplOf',
    parent => ClassName | Object,
    constraint_generator => sub {
        my $self = $Type::Tiny::parameterize_type;
        my @interfaces = @_;

        my $display_name = $self->name_generator->($self, @interfaces);

        my %options = (
            constraint   => sub {
                my ($package) = @_;
                for (@interfaces) {
                    return unless Function::Interface::Impl::impl_of($package, $_);
                }
                return !!1;
            },
            display_name => $display_name,
            parameters   => [@interfaces],
            message => sub {
                my $package = ref $_ ? blessed($_) : $_;
                return "$package is not loaded" if !is_class_loaded($package);
                return sprintf '%s did not pass type constraint "%s"', Type::Tiny::_dd($_), $display_name;
            },
        );

        return $self->create_child_type(%options);
    },
});

__PACKAGE__->meta->make_immutable;

__END__