/usr/share/perl5/Specio/Constraint/Parameterized.pm is in libspecio-perl 0.42-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 | package Specio::Constraint::Parameterized;
use strict;
use warnings;
our $VERSION = '0.42';
use Role::Tiny::With;
use Specio::OO;
use Storable qw( dclone );
use Specio::Constraint::Role::Interface;
with 'Specio::Constraint::Role::Interface';
{
## no critic (Subroutines::ProtectPrivateSubs)
my $attrs = dclone( Specio::Constraint::Role::Interface::_attrs() );
## use critic
$attrs->{parent}{isa} = 'Specio::Constraint::Parameterizable';
$attrs->{parent}{required} = 1;
delete $attrs->{name}{predicate};
$attrs->{name}{lazy} = 1;
$attrs->{name}{builder} = '_build_name';
$attrs->{parameter} = {
does => 'Specio::Constraint::Role::Interface',
required => 1,
};
## no critic (Subroutines::ProhibitUnusedPrivateSubroutines)
sub _attrs {
return $attrs;
}
}
sub _has_name {
my $self = shift;
return defined $self->name;
}
sub _build_name {
my $self = shift;
## no critic (Subroutines::ProtectPrivateSubs)
return unless $self->parent->_has_name && $self->parameter->_has_name;
return $self->parent->name . '[' . $self->parameter->name . ']';
}
sub can_be_inlined {
my $self = shift;
return $self->_has_inline_generator
&& $self->parameter->can_be_inlined;
}
# Moose compatibility methods - these exist as a temporary hack to make Specio
# work with Moose.
sub type_parameter {
shift->parameter;
}
__PACKAGE__->_ooify;
1;
# ABSTRACT: A class which represents parameterized constraints
__END__
=pod
=encoding UTF-8
=head1 NAME
Specio::Constraint::Parameterized - A class which represents parameterized constraints
=head1 VERSION
version 0.42
=head1 SYNOPSIS
my $arrayref = t('ArrayRef');
my $arrayref_of_int = $arrayref->parameterize( of => t('Int') );
my $parent = $arrayref_of_int->parent; # returns ArrayRef
my $parameter = $arrayref_of_int->parameter; # returns Int
=head1 DESCRIPTION
This class implements the API for parameterized types.
=for Pod::Coverage can_be_inlined type_parameter
=head1 API
This class implements the same API as L<Specio::Constraint::Simple>, with a few
additions.
=head2 Specio::Constraint::Parameterized->new(...)
This class's constructor accepts two additional parameters:
=over 4
=item * parent
This should be the L<Specio::Constraint::Parameterizable> object from which this
object was created.
This parameter is required.
=item * parameter
This is the type parameter for the parameterized type. This must be an object
which does the L<Specio::Constraint::Role::Interface> role.
This parameter is required.
=back
=head2 $type->parameter
Returns the type that was passed to the constructor.
=head1 SUPPORT
Bugs may be submitted at L<https://github.com/houseabsolute/Specio/issues>.
I am also usually active on IRC as 'autarch' on C<irc://irc.perl.org>.
=head1 SOURCE
The source code repository for Specio can be found at L<https://github.com/houseabsolute/Specio>.
=head1 AUTHOR
Dave Rolsky <autarch@urth.org>
=head1 COPYRIGHT AND LICENSE
This software is Copyright (c) 2012 - 2017 by Dave Rolsky.
This is free software, licensed under:
The Artistic License 2.0 (GPL Compatible)
The full text of the license can be found in the
F<LICENSE> file included with this distribution.
=cut
|