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¶

•

Arrayrefification calls "type_constraints".