Types::TypeTiny - Online Linux Manual Page

Section : 3pm
Updated : 2021-02-24
Source : perl v5.32.1
Note : User Contributed Perl Documentation

NAME

Types::TypeTiny − type constraints used internally by Type::Tiny

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[`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

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

Please report any bugs to <https://github.com/tobyink/p5−type−tiny/issues>.