---
name: "List::Objects::WithUtils::Role::Array::Typed"
section: "3pm"
platform: "linux"
package: "liblist-objects-withutils-perl"
version: "2.028003-5"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/List::Objects::WithUtils::Role::Array::Typed"
---

# List::Objects::WithUtils::Role::Array::Typed(3pm)

Type-checking array behavior

## NAME

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

## SYNOPSIS

```
  # 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];
```

## DESCRIPTION

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

### type

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

### untyped

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.

## AUTHOR

Jon Portnoy \<avenj@cobaltirc.org\> with significant contributions from Toby Inkster (CPAN: TOBYINK)