List::Objects::Types - Type::Tiny-based types for List::Objects::WithUtils
package Foo; use List::Objects::Types -all; use List::Objects::WithUtils; use Moo 2; # version 2+ for better Type::Tiny support has my_array => ( is => 'ro', isa => ArrayObj, default => sub { array } ); has static_array => ( is => 'ro', isa => ImmutableArray, coerce => 1, default => sub { [qw/ foo bar /] } ); has my_hash => ( is => 'ro', isa => HashObj, coerce => 1, # Coercible from a plain HASH: default => sub { +{} } ); use Types::Standard 'Int', 'Num'; has my_ints => ( is => 'ro', # Nums added to this array_of(Int) are coerced to Ints: isa => TypedArray[ Int->plus_coercions(Num, 'int($_)') ], coerce => 1, default => sub { [1, 2, 3.14] } );
A set of Type::Tiny-based types & coercions matching the list objects found in List::Objects::WithUtils.
An object that consumes List::Objects::WithUtils::Role::Array.
Can be coerced from a plain ARRAY; a shallow copy is performed.
An object that consumes List::Objects::WithUtils::Role::Hash.
Can be coerced from a plain HASH; a shallow copy is performed.
An object that consumes List::Objects::WithUtils::Role::Array::Immutable.
Can be coerced from a plain ARRAY or an "ArrayObj"; a shallow copy is performed.
An object that consumes List::Objects::WithUtils::Role::Array::Typed.
Not coercible.
TypedArray can be parameterized with another type constraint specifying the type of its values.
Can be coerced from a plain ARRAY or an "ArrayObj"; a shallow copy is performed. If the parameter also has a coercion, this will be applied to each item in the new array.
In versions prior to v2.x, subtypes were permitted; TypedArray[Num] would accept array_of(Num, 1, 2, 3.14) as expected, but also array_of(Int, 1, 2, 3) as Int is a subtype Num. This could lead to unexpected behavior. As of v2.1.1, this has been corrected; the latter would be rejected without an appropriate coercion (for example, specifying coerce => 1 in a Moo(se) attribute along these lines will coerce the Int-typed array object to Num)
v2.x
TypedArray[Num]
array_of(Num, 1, 2, 3.14)
array_of(Int, 1, 2, 3)
Int
Num
v2.1.1
coerce => 1
(The examples/ directory that comes with this distribution contains some examples of parameterized & coercible TypedArrays.)
examples/
An object that isa List::Objects::WithUtils::Array::Immutable::Typed.
ImmutableTypedArray can be parameterized with another type constraint, like "TypedArray" (however unlike its mutable counterpart, subtypes are accepted).
Can be coerced from a plain ARRAY or an "ArrayObj".
An object that consumes List::Objects::WithUtils::Role::Hash::Typed.
TypedHash can be parameterized with another type constraint, like "TypedArray".
Can be coerced from a plain HASH or a "HashObj". If the parameter also has a coercion, this will be applied to each value in the new hash.
An object that isa List::Objects::WithUtils::Hash::Immutable::Typed.
ImmutableTypedHash can be parameterized with another type constraint, like "TypedHash".
Can be coerced from a plain HASH or an "HashObj".
An object that isa List::Objects::WithUtils::Hash::Inflated.
(Available from v1.2.1)
InflatedHash can be parameterized with a list of methods expected to be available.
(Available from v1.3.1)
MoopsX::ListObjects for integration with Moops class-building sugar.
List::Objects::WithUtils for more on the relevant list objects.
Type::Tiny for more on type methods & overloads.
Types::Standard for a set of useful base types.
Type::Library for details on importing types.
Jon Portnoy <avenj@cobaltirc.org> with significant contributions from Toby Inkster (CPAN: TOBYINK)
To install List::Objects::Types, copy and paste the appropriate command in to your terminal.
cpanm
cpanm List::Objects::Types
CPAN shell
perl -MCPAN -e shell install List::Objects::Types
For more information on module installation, please visit the detailed CPAN module installation guide.