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

This class's constructor accepts two additional parameters:

• 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.

• 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 an 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_constraint_generator" parameter.

$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.