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)
-
numifies_to($constraint)
-
with_attribute_values($attr1 => $constraint1, ...)
Overloading
-
Arrayrefification calls
type_constraints
.