GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  SPECIO::CONSTRAINT::PARAMETERIZABLE (3)

.ds Aq ’

NAME

Specio::Constraint::Parameterizable - A class which represents parameterizable constraints

CONTENTS

VERSION

version 0.12

SYNOPSIS



    my $arrayref = t(ArrayRef);

    my $arrayref_of_int = $arrayref->parameterize( of => t(Int) );



DESCRIPTION

This class implements the API for parameterizable types like ArrayRef and Maybe.

API

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

    Specio::Constraint::Parameterizable->new(...)

This class’s constructor accepts two additional parameters:
o parameterized_constraint_generator

This is a subroutine that generates a new constraint subroutine when the type is parameterized.

It will be called as a method on the type and will be passed a single argument, the type object for the type parameter.

This parameter is mutually exclusive with the parameterized_inline_generator parameter.

o parameterized_inline_generator

This is a subroutine that generates a new inline generator subroutine when the type is parameterized.

It will be called as a method on the Specio::Constraint::Parameterized object when that object needs to generate inline constraint. It will receive the type parameter as the first argument and the variable name as a string as the second.

This probably seems fairly confusing, so looking at the examples in the Specio::Library::Builtins code may be helpful.

This parameter is mutually exclusive with the parameterized_inline_generator parameter.

CW$type->parameterize(...)

This method takes two arguments. The of argument should be an object which does the Specio::Constraint::Role::Interface role, and is required.

The other argument, declared_at, is optional. If it is not given, then a new Specio::DeclaredAt object is creating using a call stack depth of 1.

This method returns a new Specio::Constraint::Parameterized object.

AUTHOR

Dave Rolsky <autarch@urth.org>

COPYRIGHT AND LICENSE

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

This is free software, licensed under:



  The Artistic License 2.0 (GPL Compatible)



Search for    or go to Top of page |  Section 3 |  Main Index


perl v5.20.3 SPECIO::CONSTRAINT::PARAMETERIZABLE (3) 2015-12-19

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.