Types::TypeTiny

Status

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

Description

Dogfooding.

This isn't a real Type::Library-based type library; that would involve too much circularity. But it exports some type constraints which, while designed for use within Type::Tiny, may be more generally useful.

Types

StringLike

Accepts strings and objects overloading stringification.

HashLike

Accepts hashrefs and objects overloading hashification.

ArrayLike

Accepts arrayrefs and objects overloading arrayfication.

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.

Yeah, 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

These are implemented so that Types::TypeTiny->meta->get_type($foo) works, for rough compatibility with a real Type::Library type library.

meta
type_names
get_type($name)
has_type($name)
coercion_names
get_coercion($name)
has_coercion($name)

Bugs