List::Objects::WithUtils::Role::Array::Typed - Type-checking array behavior


  # Via List::Objects::WithUtils::Array::Typed ->
  use List::Objects::WithUtils 'array_of';
  use Types::Standard -all;
  use List::Objects::Types -all;

  # Array of Ints:
  my $arr = array_of Int() => (1,2,3);

  # Array of array objects of Ints (coerced from ARRAYs):
  my $arr = array_of TypedArray[Int] => [1,2,3], [4,5,6];


This role makes use of Type::Tie to add type-checking behavior to List::Objects::WithUtils::Role::Array consumers.

The first argument passed to the constructor should be a Type::Tiny type (or other object conforming to Type::API, as of v2.25):

  use Types::Standard -all;
  my $arr = array_of Str() => qw/foo bar baz/;

Elements are checked against the specified type when the object is constructed or new elements are added.

If the initial type-check fails, a coercion is attempted.

Values that cannot be coerced will throw an exception.

Also see Types::Standard, List::Objects::Types


Returns the Type::Tiny type the object was created with.


Returns a (shallow) clone that is a plain List::Objects::WithUtils::Array.

Since most methods that return a new list will (attempt to) return a list object of the same type as their parent, this can be useful to avoid type check failures in a method chain that creates intermediate lists.


Jon Portnoy <> with significant contributions from Toby Inkster (CPAN: TOBYINK)