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

NAME  VERSION  SYNOPSIS  DESCRIPTION  API  Specio::Constraint::Parameterized−>new(...)  $type−>parameter  SUPPORT  SOURCE  AUTHOR  COPYRIGHT AND LICENSE 

---

NAME

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

VERSION

version 0.53

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 <[email protected]>

COPYRIGHT AND LICENSE

This software is Copyright (c) 2012 − 2025 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 LICENSE file included with this distribution.

---