Types

• StringLike

  Accepts strings and objects overloading stringification.

• HashLike[`a]

  Accepts hashrefs and objects overloading hashification.

  Since Types::TypeTiny 1.012, may be parameterized with another type constraint like HashLike[Int].

• ArrayLike[`a]

  Accepts arrayrefs and objects overloading arrayfication.

  Since Types::TypeTiny 1.012, may be parameterized with another type constraint like ArrayLike[Int].

• CodeLike

  Accepts coderefs and objects overloading codification.

• TypeTiny

  Accepts blessed Type::Tiny objects.

• _ForeignTypeConstraint

  Any reference which to_TypeTiny recognizes as something that can be coerced to a Type::Tiny object.

  Yes, the underscore is included.

Coercion Functions

"to_TypeTiny($constraint)"

Promotes (or "demotes" if you prefer) a Moose::Meta::TypeConstraint object to a Type::Tiny object.

Can also handle Validation::Class objects. Type constraints built from Validation::Class objects deliberately ignore field filters when they do constraint checking (and go to great lengths to do so); using filters for coercion only. (The behaviour of "coerce" if we don't do that is just too weird!)

Can also handle any object providing "check" and "get_message" methods. (This includes Mouse::Meta::TypeConstraint objects.) If the object also provides "has_coercion" and "coerce" methods, these will be used too.

Can also handle coderefs (but not blessed coderefs or objects overloading "&{}"). Coderefs are expected to return true iff $_ passes the constraint. If $_ fails the type constraint, they may either return false, or die with a helpful error message.

Methods

"meta"

"type_names"

"get_type($name)"

"has_type($name)"

"coercion_names"

"get_coercion($name)"

"has_coercion($name)"