/usr/share/perl5/Specio/Constraint
Edit: /usr/share/perl5/Specio/Constraint/Structurable.pm (7508B)
package Specio::Constraint::Structurable;
use strict;
use warnings;
our $VERSION = '0.47';
use Carp qw( confess );
use Role::Tiny::With;
use Scalar::Util qw( blessed );
use Specio::DeclaredAt;
use Specio::OO;
use Specio::Constraint::Structured;
use Specio::TypeChecks qw( does_role isa_class );
use Specio::Constraint::Role::Interface;
with 'Specio::Constraint::Role::Interface';
{
## no critic (Subroutines::ProtectPrivateSubs)
my $role_attrs = Specio::Constraint::Role::Interface::_attrs();
## use critic
my $attrs = {
%{$role_attrs},
_parameterization_args_builder => {
isa => 'CodeRef',
init_arg => 'parameterization_args_builder',
required => 1,
},
_name_builder => {
isa => 'CodeRef',
init_arg => 'name_builder',
required => 1,
},
_structured_constraint_generator => {
isa => 'CodeRef',
init_arg => 'structured_constraint_generator',
predicate => '_has_structured_constraint_generator',
},
_structured_inline_generator => {
isa => 'CodeRef',
init_arg => 'structured_inline_generator',
predicate => '_has_structured_inline_generator',
},
};
## no critic (Subroutines::ProhibitUnusedPrivateSubroutines)
sub _attrs {
return $attrs;
}
}
sub BUILD {
my $self = shift;
if ( $self->_has_constraint ) {
die
'A structurable constraint with a constraint parameter must also have a structured_constraint_generator'
unless $self->_has_structured_constraint_generator;
}
if ( $self->_has_inline_generator ) {
die
'A structurable constraint with an inline_generator parameter must also have a structured_inline_generator'
unless $self->_has_structured_inline_generator;
}
return;
}
sub parameterize {
my $self = shift;
my %args = @_;
my $declared_at = $args{declared_at};
if ($declared_at) {
isa_class( $declared_at, 'Specio::DeclaredAt' )
or confess
q{The "declared_at" parameter passed to ->parameterize must be a Specio::DeclaredAt object};
}
my %parameters
= $self->_parameterization_args_builder->( $self, $args{of} );
$declared_at = Specio::DeclaredAt->new_from_caller(1)
unless defined $declared_at;
my %new_p = (
parent => $self,
parameters => \%parameters,
declared_at => $declared_at,
name => $self->_name_builder->( $self, \%parameters ),
);
if ( $self->_has_structured_constraint_generator ) {
$new_p{constraint}
= $self->_structured_constraint_generator->(%parameters);
}
else {
for my $p (
grep {
blessed($_)
&& does_role('Specio::Constraint::Role::Interface')
} values %parameters
) {
confess
q{Any type objects passed to ->parameterize must be inlinable constraints if the structurable type has an inline_generator}
unless $p->can_be_inlined;
}
my $ig = $self->_structured_inline_generator;
$new_p{inline_generator}
= sub { $ig->( shift, shift, %parameters, @_ ) };
}
return Specio::Constraint::Structured->new(%new_p);
}
## no critic (Subroutines::ProhibitUnusedPrivateSubroutines)
sub _name_or_anon {
return $_[1]->_has_name ? $_[1]->name : 'ANON';
}
## use critic
__PACKAGE__->_ooify;
1;
# ABSTRACT: A class which represents structurable constraints
__END__
=pod
=encoding UTF-8
=head1 NAME
Specio::Constraint::Structurable - A class which represents structurable constraints
=head1 VERSION
version 0.47
=head1 SYNOPSIS
my $tuple = t('Tuple');
my $tuple_of_str_int = $tuple->parameterize( of => [ t('Str'), t('Int') ] );
=head1 DESCRIPTION
This class implements the API for structurable types like C
, C