Specio::Constraint::Parameterized

NAME
VERSION
SYNOPSIS
DESCRIPTION
API
SUPPORT
SOURCE
AUTHOR
COPYRIGHT AND LICENSE


NAME

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

VERSION

version 0.46

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 .

I am also usually active on IRC as ’autarch’ on “irc://irc.perl.org”.

SOURCE

The source code repository for Specio can be found at .

AUTHOR

Dave Rolsky

COPYRIGHT AND LICENSE

This software is Copyright (c) 2012 − 2020 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.