NAME

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

VERSION

version 0.25

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 through the RT bug tracker (or bug-specio@rt.cpan.org).

I am also usually active on IRC as 'drolsky' on irc://irc.perl.org.

AUTHOR

Dave Rolsky <autarch@urth.org>

COPYRIGHT AND LICENSE

This software is Copyright (c) 2016 by Dave Rolsky.

This is free software, licensed under:

The Artistic License 2.0 (GPL Compatible)