2 package Mouse::TypeRegistry;
6 use Mouse::Util qw/blessed looks_like_number openhandle/;
14 my $caller = caller(0);
16 $SUBTYPE->{$caller} ||= +{};
17 $COERCE->{$caller} ||= +{};
19 if (defined $args{'-export'} && ref($args{'-export'}) eq 'ARRAY') {
21 *{"$caller\::import"} = sub { _import(@_) };
25 *{"$caller\::subtype"} = \&_subtype;
26 *{"$caller\::coerce"} = \&_coerce;
27 *{"$caller\::class_type"} = \&_class_type;
28 # *{"$caller\::role_type"} = \&_role_type;
32 my($class, @types) = @_;
33 return unless exists $SUBTYPE->{$class} && exists $COERCE->{$class};
36 copy_types($class, $pkg, @types);
41 my($name, $stuff) = @_;
42 if (ref $stuff eq 'HASH') {
43 my $as = $stuff->{as};
44 $stuff = optimized_constraints()->{$as};
46 $SUBTYPE->{$pkg}->{$name} = $stuff;
51 my($name, $conf) = @_;
52 $COERCE->{$pkg}->{$name} = $conf;
57 $SUBTYPE->{$pkg} ||= +{};
58 my($name, $conf) = @_;
59 my $class = $conf->{class};
60 $SUBTYPE->{$pkg}->{$name} = sub {
61 defined $_ && ref($_) eq $class;
65 sub typecast_constraints {
66 my($class, $pkg, $type, $value) = @_;
67 return $value unless defined $COERCE->{$pkg} && defined $COERCE->{$pkg}->{$type};
69 my $optimized_constraints = optimized_constraints();
70 for my $coerce_type (keys %{ $COERCE->{$pkg}->{$type} }) {
72 if ($optimized_constraints->{$coerce_type}->()) {
74 return $COERCE->{$pkg}->{$type}->{$coerce_type}->();
82 no warnings 'uninitialized';
83 my $optimized_constraints = {
87 !defined($_) || $_ eq "" || "$_" eq '1' || "$_" eq '0'
89 Undef => sub { !defined($_) },
90 Defined => sub { defined($_) },
91 Value => sub { defined($_) && !ref($_) },
92 Num => sub { !ref($_) && looks_like_number($_) },
93 Int => sub { defined($_) && !ref($_) && /^-?[0-9]+$/ },
94 Str => sub { defined($_) && !ref($_) },
95 ClassName => sub { Mouse::is_class_loaded($_) },
96 Ref => sub { ref($_) },
98 ScalarRef => sub { ref($_) eq 'SCALAR' },
99 ArrayRef => sub { ref($_) eq 'ARRAY' },
100 HashRef => sub { ref($_) eq 'HASH' },
101 CodeRef => sub { ref($_) eq 'CODE' },
102 RegexpRef => sub { ref($_) eq 'Regexp' },
103 GlobRef => sub { ref($_) eq 'GLOB' },
110 && $_->isa("IO::Handle")
113 Object => sub { blessed($_) && blessed($_) ne 'Regexp' },
115 sub optimized_constraints {
116 my($class, $pkg) = @_;
117 my $subtypes = $SUBTYPE->{$pkg} || {};
118 return { %{ $subtypes }, %{ $optimized_constraints } };
128 Mouse::TypeRegistry - simple type constraints
132 =head2 optimized_constraints -> HashRef[CODE]
134 Returns the simple type constraints that Mouse understands.