sub parent;
sub message;
sub has_coercion;
+
+sub type_parameter;
+sub __is_parameterized;
+
sub _compiled_type_constraint;
sub _compiled_type_coercion;
);
}
+sub assert_valid {
+ my ($self, $value) = @_;
+
+ if(!$self->_compiled_type_constraint->($value)){
+ Carp::confess($self->get_message($value));
+ }
+ return 1;
+}
+
1;
__END__