#NAME

Specio::Constraint::Parameterized - A class which represents parameterized constraints

#VERSION

version 0.48

#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

#DESCRIPTION

This class implements the API for parameterized types.

#API

This class implements the same API as Specio::Constraint::Simple, with a few additions.

#Specio::Constraint::Parameterized->new(...)

This class's constructor accepts two additional parameters:

parent

This should be the Specio::Constraint::Parameterizable object from which this object was created.

This parameter is required.
parameter

This is the type parameter for the parameterized type. This must be an object which does the Specio::Constraint::Role::Interface role.

This parameter is required.

#$type->parameter

Returns the type that was passed to the constructor.

#SUPPORT

Bugs may be submitted at https://github.com/houseabsolute/Specio/issues.

#SOURCE

The source code repository for Specio can be found at https://github.com/houseabsolute/Specio.

#AUTHOR

Dave Rolsky <autarch@urth.org>

#COPYRIGHT AND LICENSE

This is free software, licensed under:

The Artistic License 2.0 (GPL Compatible)

The full text of the license can be found in the LICENSE file included with this distribution.

CONTENTS