use strict;
use warnings;
+use Carp ();
use Mouse::Util qw/blessed looks_like_number openhandle/;
-my $SUBTYPE = +{};
-my $COERCE = +{};
+my %SUBTYPE;
+my %COERCE;
+my %COERCE_KEYS;
+#find_type_constraint register_type_constraint
sub import {
my $class = shift;
my %args = @_;
- my $caller = caller(0);
-
- $SUBTYPE->{$caller} ||= +{};
- $COERCE->{$caller} ||= +{};
-
- if (defined $args{'-export'} && ref($args{'-export'}) eq 'ARRAY') {
- no strict 'refs';
- *{"$caller\::import"} = sub { _import(@_) };
- }
+ my $caller = $args{callee} || caller(0);
no strict 'refs';
+ *{"$caller\::as"} = \&_as;
+ *{"$caller\::where"} = \&_where;
+ *{"$caller\::message"} = \&_message;
+ *{"$caller\::from"} = \&_from;
+ *{"$caller\::via"} = \&_via;
*{"$caller\::subtype"} = \&_subtype;
*{"$caller\::coerce"} = \&_coerce;
*{"$caller\::class_type"} = \&_class_type;
-# *{"$caller\::role_type"} = \&_role_type;
+ *{"$caller\::role_type"} = \&_role_type;
}
-sub _import {
- my($class, @types) = @_;
- return unless exists $SUBTYPE->{$class} && exists $COERCE->{$class};
- my $pkg = caller(1);
- return unless @types;
- copy_types($class, $pkg, @types);
-}
-sub _subtype {
- my $pkg = caller(0);
- my($name, $stuff) = @_;
- if (ref $stuff eq 'HASH') {
- my $as = $stuff->{as};
- $stuff = optimized_constraints()->{$as};
- }
- $SUBTYPE->{$pkg}->{$name} = $stuff;
+sub _as ($) {
+ as => $_[0]
}
-
-sub _coerce {
- my $pkg = caller(0);
- my($name, $conf) = @_;
- $COERCE->{$pkg}->{$name} = $conf;
+sub _where (&) {
+ where => $_[0]
}
-
-sub _class_type {
- my $pkg = caller(0);
- $SUBTYPE->{$pkg} ||= +{};
- my($name, $conf) = @_;
- my $class = $conf->{class};
- $SUBTYPE->{$pkg}->{$name} = sub {
- defined $_ && ref($_) eq $class;
- };
+sub _message ($) {
+ message => $_[0]
}
-sub typecast_constraints {
- my($class, $pkg, $type, $value) = @_;
- return $value unless defined $COERCE->{$pkg} && defined $COERCE->{$pkg}->{$type};
-
- my $optimized_constraints = optimized_constraints();
- for my $coerce_type (keys %{ $COERCE->{$pkg}->{$type} }) {
- local $_ = $value;
- if ($optimized_constraints->{$coerce_type}->()) {
- local $_ = $value;
- return $COERCE->{$pkg}->{$type}->{$coerce_type}->();
- }
- }
-
- return $value;
+sub _from { @_ }
+sub _via (&) {
+ $_[0]
}
+my $optimized_constraints;
+my $optimized_constraints_base;
{
no warnings 'uninitialized';
- my $optimized_constraints = {
+ %SUBTYPE = (
Any => sub { 1 },
Item => sub { 1 },
Bool => sub {
or
blessed($_)
&& $_->isa("IO::Handle")
- },
+ },
Object => sub { blessed($_) && blessed($_) ne 'Regexp' },
+ );
+
+ sub optimized_constraints { \%SUBTYPE }
+ my @SUBTYPE_KEYS = keys %SUBTYPE;
+ sub list_all_builtin_type_constraints { @SUBTYPE_KEYS }
+}
+
+sub _subtype {
+ my $pkg = caller(0);
+ my($name, %conf) = @_;
+ if (my $type = $SUBTYPE{$name}) {
+ Carp::croak "The type constraint '$name' has already been created, cannot be created again in $pkg";
};
- sub optimized_constraints {
- my($class, $pkg) = @_;
- my $subtypes = $SUBTYPE->{$pkg} || {};
- return { %{ $subtypes }, %{ $optimized_constraints } };
+ my $as = $conf{as};
+ my $stuff = $conf{where} || $SUBTYPE{$as};
+
+ $SUBTYPE{$name} = $stuff;
+}
+
+sub _coerce {
+ my($name, %conf) = @_;
+
+ Carp::croak "Cannot find type '$name', perhaps you forgot to load it."
+ unless $SUBTYPE{$name};
+
+ unless ($COERCE{$name}) {
+ $COERCE{$name} = {};
+ $COERCE_KEYS{$name} = [];
}
+ while (my($type, $code) = each %conf) {
+ Carp::croak "A coercion action already exists for '$type'"
+ if $COERCE{$name}->{$type};
+
+ Carp::croak "Could not find the type constraint ($type) to coerce from"
+ unless $SUBTYPE{$type};
+
+ push @{ $COERCE_KEYS{$name} }, $type;
+ $COERCE{$name}->{$type} = $code;
+ }
+}
+
+sub _class_type {
+ my $pkg = caller(0);
+ my($name, $conf) = @_;
+ my $class = $conf->{class};
+ _subtype(
+ $name => where => sub {
+ defined $_ && ref($_) eq $class;
+ }
+ );
+}
+
+sub _role_type {
+ my($name, $conf) = @_;
+ my $role = $conf->{role};
+ _subtype(
+ $name => where => sub {
+ return unless defined $_ && ref($_) && $_->isa('Mouse::Object');
+ $_->meta->does_role($role);
+ }
+ );
+}
+
+sub typecast_constraints {
+ my($class, $pkg, $type_constraint, $types, $value) = @_;
+
+ local $_;
+ for my $type (ref($types) eq 'ARRAY' ? @{ $types } : ( $types )) {
+ next unless $COERCE{$type};
+ for my $coerce_type (@{ $COERCE_KEYS{$type}}) {
+ $_ = $value;
+ next unless $SUBTYPE{$coerce_type}->();
+ $_ = $value;
+ $_ = $COERCE{$type}->{$coerce_type}->();
+ return $_ if $type_constraint->();
+ }
+ }
+ return $value;
}
1;