/usr/lib/perl5/Moose/Meta/TypeConstraint/Parameterizable.pm is in libmoose-perl 2.0401-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 157 158 159 160 | package Moose::Meta::TypeConstraint::Parameterizable;
BEGIN {
$Moose::Meta::TypeConstraint::Parameterizable::AUTHORITY = 'cpan:STEVAN';
}
{
$Moose::Meta::TypeConstraint::Parameterizable::VERSION = '2.0401';
}
use strict;
use warnings;
use metaclass;
use base 'Moose::Meta::TypeConstraint';
use Moose::Meta::TypeConstraint::Parameterized;
use Moose::Util::TypeConstraints ();
use Carp 'confess';
__PACKAGE__->meta->add_attribute('constraint_generator' => (
accessor => 'constraint_generator',
predicate => 'has_constraint_generator',
Class::MOP::_definition_context(),
));
__PACKAGE__->meta->add_attribute('inline_generator' => (
accessor => 'inline_generator',
predicate => 'has_inline_generator',
Class::MOP::_definition_context(),
));
sub generate_constraint_for {
my ($self, $type) = @_;
return unless $self->has_constraint_generator;
return $self->constraint_generator->($type->type_parameter)
if $type->is_subtype_of($self->name);
return $self->_can_coerce_constraint_from($type)
if $self->has_coercion
&& $self->coercion->has_coercion_for_type($type->parent->name);
return;
}
sub _can_coerce_constraint_from {
my ($self, $type) = @_;
my $coercion = $self->coercion;
my $constraint = $self->constraint_generator->($type->type_parameter);
return sub {
local $_ = $coercion->coerce($_);
$constraint->(@_);
};
}
sub generate_inline_for {
my ($self, $type, $val) = @_;
confess "Can't generate an inline constraint for $type, since none "
. "was defined"
unless $self->has_inline_generator;
return '( do { ' . $self->inline_generator->( $self, $type, $val ) . ' } )';
}
sub _parse_type_parameter {
my ($self, $type_parameter) = @_;
return Moose::Util::TypeConstraints::find_or_create_isa_type_constraint($type_parameter);
}
sub parameterize {
my ($self, $type_parameter) = @_;
my $contained_tc = $self->_parse_type_parameter($type_parameter);
## The type parameter should be a subtype of the parent's type parameter
## if there is one.
if(my $parent = $self->parent) {
if($parent->can('type_parameter')) {
unless ( $contained_tc->is_a_type_of($parent->type_parameter) ) {
require Moose;
Moose->throw_error("$type_parameter is not a subtype of ".$parent->type_parameter);
}
}
}
if ( $contained_tc->isa('Moose::Meta::TypeConstraint') ) {
my $tc_name = $self->name . '[' . $contained_tc->name . ']';
return Moose::Meta::TypeConstraint::Parameterized->new(
name => $tc_name,
parent => $self,
type_parameter => $contained_tc,
parameterized_from => $self,
);
}
else {
require Moose;
Moose->throw_error("The type parameter must be a Moose meta type");
}
}
1;
# ABSTRACT: Type constraints which can take a parameter (ArrayRef)
=pod
=head1 NAME
Moose::Meta::TypeConstraint::Parameterizable - Type constraints which can take a parameter (ArrayRef)
=head1 VERSION
version 2.0401
=head1 DESCRIPTION
This class represents a parameterizable type constraint. This is a
type constraint like C<ArrayRef> or C<HashRef>, that can be
parameterized and made more specific by specifying a contained
type. For example, instead of just an C<ArrayRef> of anything, you can
specify that is an C<ArrayRef[Int]>.
A parameterizable constraint should not be used as an attribute type
constraint. Instead, when parameterized it creates a
L<Moose::Meta::TypeConstraint::Parameterized> which should be used.
=head1 INHERITANCE
C<Moose::Meta::TypeConstraint::Parameterizable> is a subclass of
L<Moose::Meta::TypeConstraint>.
=head1 METHODS
This class is intentionally not documented because the API is
confusing and needs some work.
=head1 BUGS
See L<Moose/BUGS> for details on reporting bugs.
=head1 AUTHOR
Moose is maintained by the Moose Cabal, along with the help of many contributors. See L<Moose/CABAL> and L<Moose/CONTRIBUTORS> for details.
=head1 COPYRIGHT AND LICENSE
This software is copyright (c) 2011 by Infinity Interactive, Inc..
This is free software; you can redistribute it and/or modify it under
the same terms as the Perl 5 programming language system itself.
=cut
__END__
|