| Moose::Meta::TypeConstraint - The Moose Type Constraint metaclass |
Moose::Meta::TypeConstraint - The Moose Type Constraint metaclass
This class represents a single type constraint. Moose's built-in type constraints, as well as constraints you define, are all store in a the Moose::Meta::TypeConstraint::Registry manpage object as objects of this class.
Moose::Meta::TypeConstraint is a subclass of the Class::MOP::Object manpage.
new(%options) >>
This creates a new type constraint based on the provided %options:
The constraint name. If a name is not provided, it will be set to "__ANON__".
A Moose::Meta::TypeConstraint object which is the parent type for
the type being created. This is optional.
This is the subroutine reference that implements the actual constraint check. This defaults to a subroutine which always returns true.
A subroutine reference which is used to generate an error message when the constraint fails. This is optional.
A the Moose::Meta::TypeCoercion manpage object representing the coercions to the type. This is optional.
This is a variant of the constraint parameter that is somehow
optimized. Typically, this means incorporating both the type's
constraint and all of its parents' constraints into a single
subroutine reference.
equals($type_name_or_object) >>
Returns true if the supplied name or type object is the same as the current type.
is_subtype_of($type_name_or_object) >>
Returns true if the supplied name or type object is a parent of the current type.
is_a_type_of($type_name_or_object) >>
Returns true if the given type is the same as the current type, or is
a parent of the current type. This is a shortcut for checking
equals and is_subtype_of.
coerce($value) >>
This will attempt to coerce the value to the type. If the type does have any defined coercions this will throw an error.
check($value) >>
Returns true if the given value passes the constraint for the type.
validate($value) >>
This is similar to check. However, if the type is valid then the
method returns an explicit undef. If the type is not valid, we call
$self->get_message($value) internally to generate an error
message.
Returns the type's name, as provided to the constructor.
Returns the type's parent, as provided to the constructor, if any.
Returns true if the type has a parent type.
A synonym for parent. This is useful for polymorphism with types
that can have more than one parent.
Returns the type's constraint, as provided to the constructor.
get_message($value) >>
This generates a method for the given value. If the type does not have an explicit message, we generate a default message.
Returns true if the type has a message.
Returns the type's message as a subroutine reference.
Returns the type's the Moose::Meta::TypeCoercion manpage object, if one exists.
Returns true if the type has a coercion.
Returns the type's hand optimized constraint, as provided to the
constructor via the optimized option.
Returns true if the type has an optimized constraint.
create_child_type(%options) >>
This returns a new type constraint of the same class using the
provided %options. The parent option will be the current type.
This method exists so that subclasses of this class can override this behavior and change how child types are created.
All complex software has bugs lurking in it, and this module is no exception. If you find a bug please either email me, or add the bug to cpan-RT.
Stevan Little <stevan@iinteractive.com>
Copyright 2006-2009 by Infinity Interactive, Inc.
This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself.
| Moose::Meta::TypeConstraint - The Moose Type Constraint metaclass |