Specio:...erizable(3)

okay bestie, this is Specio::Constraint::Parameterizable from the User Contributed Perl Documentation, manual page Specio:...erizable(3) πŸ’…βœ¨

πŸ’– NAME πŸ’–

Specio::Constraint::Parameterizable β€” a class which represents parameterizable constraints. periodt.

🌸 VERSION 🌸

version 0.49. yes bestie, that’s the version πŸŽ€

✨ 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. it’s giving parameterizable-type main character energy, iykyk πŸ¦‹

πŸŽ€ API πŸŽ€

This class implements the same API as Specio::Constraint::Simple, with a few additions. not me adding extra API on top of the simple one 😭

πŸ’… 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 created using a call stack depth of 1.

This method returns a new Specio::Constraint::Parameterized object. slay πŸ’…

🫢 SUPPORT 🫢

Bugs may be submitted at <https://github.com/houseabsolute/Specio/issues>. please do that instead of suffering in silence bestie πŸ’€

πŸ”₯ SOURCE πŸ”₯

The source code repository for Specio can be found at <https://github.com/houseabsolute/Specio>. go look, it’s iconic πŸ”₯

πŸ‘‘ AUTHOR πŸ‘‘

Dave Rolsky <autarch@urth.org>

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


okay that’s the whole page πŸ’– the footer says source/version perl v5.42.0, date 2024-12-24, and manual page Specio:...erizable(3). bye bestie, go parameterize something cute 🫢✨

πŸ“¦ where this page comes from