Bug #131011 for Type-Tiny: Request: Types::TypeTiny::to_TypeTiny: add support for Specio::Constraint::Simple

Sun Nov 17 20:52:23 2019 CXW [...] cpan.org - Ticket created

Subject:

Request: Types::TypeTiny::to_TypeTiny: add support for Specio::Constraint::Simple

Specio::Constraint::Simple* constraints provide value_is_valid() instead of check(), and do not provide get_message. Would you be willing to add support for them to Types::TypeTiny::to_TypeTiny() (or accept a PR to do so)? This is in support of my own work on https://github.com/cxw42/Class-Tiny-ConstrainedAccessor/issues/9 . As far as I can tell, this is not fixed in 1.007_000. Thanks for considering this request! * https://metacpan.org/pod/Specio::Constraint::Simple

Sun Nov 17 22:00:15 2019 CXW [...] cpan.org - Reference by https://github.com/cxw42/Class-Tiny-ConstrainedAccessor/issues/9 added

Mon Nov 18 03:55:12 2019 perl [...] toby.ink - Correspondence added

Specio does actually provide check and get_message, though they're not documented. check: https://metacpan.org/release/Specio/source/lib/Specio/Constraint/Role/Interface.pm#L597 get_message: https://metacpan.org/release/Specio/source/lib/Specio/Constraint/Role/Interface.pm#L590 Type::Tiny 1.007_000 includes a test fro consuming Specio types: https://metacpan.org/source/TOBYINK/Type-Tiny-1.007_000/t/30-integration/Specio/basic.t Something like this should work: use Specio::Library::Builtins; use Types::Standard 'ArrayRef'; my $ArrayOfInts = ArrayRef[ t('Int') ]; And the resulting type should even support inlining. (In 1.006, I believe it will work, but without inlining support.) For now, I'm happy using check/get_message for Specio, but should Specio drop these methods in the future, I'm prepared to call other methods in their place. The one Specio-related feature that I would like to implement but haven't yet, would be for Type::Utils::extends() to support Specio libraries. I'd certainly welcome other test cases though.

Mon Nov 18 03:55:12 2019 The RT System itself - Status changed from 'new' to 'open'

Wed Nov 20 22:35:55 2019 CXW [...] cpan.org - Correspondence added

Ah! UTSL. Thanks for the pointers --- I was indeed going by the Specio documentation. The test case you gave works on my system. Much appreciated! On Mon Nov 18 03:55:12 2019, TOBYINK wrote: Show quoted text

> Specio does actually provide check and get_message, though they're not > documented. > > check: > https://metacpan.org/release/Specio/source/lib/Specio/Constraint/Role/Interface.pm#L597 > > get_message: > https://metacpan.org/release/Specio/source/lib/Specio/Constraint/Role/Interface.pm#L590 > > Type::Tiny 1.007_000 includes a test fro consuming Specio types: > https://metacpan.org/source/TOBYINK/Type-Tiny-1.007_000/t/30- > integration/Specio/basic.t > > Something like this should work: > > use Specio::Library::Builtins; > use Types::Standard 'ArrayRef'; > > my $ArrayOfInts = ArrayRef[ t('Int') ]; > > And the resulting type should even support inlining. (In 1.006, I > believe it will work, but without inlining support.) > > For now, I'm happy using check/get_message for Specio, but should > Specio drop these methods in the future, I'm prepared to call other > methods in their place. > > The one Specio-related feature that I would like to implement but > haven't yet, would be for Type::Utils::extends() to support Specio > libraries. > > I'd certainly welcome other test cases though.

Wed Nov 20 22:35:56 2019 CXW [...] cpan.org - Status changed from 'open' to 'rejected'