Type::Tiny::Intersection

Status

This module is covered by the Type-Tiny stability policy .

Description

Intersection type constraints.

This package inherits from Type::Tiny ; see that for most documentation. Major differences are listed below:

Constructor

The new constructor from Type::Tiny still works, of course. But there is also:

new_by_overload(%attributes)

Like the new constructor, but will sometimes return another type constraint which is not strictly an instance of Type::Tiny::Intersection , but still encapsulates the same meaning. This constructor is used by Type::Tiny's overloading of the & operator.

Attributes

type_constraints

Arrayref of type constraints.

When passed to the constructor, if any of the type constraints in the intersection is itself an intersection type constraint, this is "exploded" into the new intersection.

constraint

Unlike Type::Tiny, you cannot pass a constraint coderef to the constructor. Instead rely on the default.

inlined

Unlike Type::Tiny, you cannot pass an inlining coderef to the constructor. Instead rely on the default.

parent

Unlike Type::Tiny, you cannot pass an inlining coderef to the constructor. A parent will instead be automatically calculated.

(Technically any of the types in the intersection could be treated as a parent type; we choose the first arbitrarily.)

Methods

stringifies_to($constraint)

See Type::Tiny::ConstrainedObject .

numifies_to($constraint)

See Type::Tiny::ConstrainedObject .

with_attribute_values($attr1 => $constraint1, ...)

See Type::Tiny::ConstrainedObject .

Overloading

See Also

Type::Tiny::Manual .

Type::Tiny .

MooseX::Meta::TypeConstraint::Intersection .