add t0m's test to the MANIFEST
[gitmo/Moose.git] / lib / Moose.pm
CommitLineData
fcd84ca9 1
2package Moose;
3
4use strict;
5use warnings;
6
75b95414 7our $VERSION = '0.55_01';
8$VERSION = eval $VERSION;
d44714be 9our $AUTHORITY = 'cpan:STEVAN';
fcd84ca9 10
21f1e231 11use Scalar::Util 'blessed';
c0b37457 12use Carp 'confess', 'croak', 'cluck';
fcd84ca9 13
5bd4db9b 14use Moose::Exporter;
7f18097c 15
46217c9c 16use Class::MOP 0.64;
ef1d5f4b 17
c0e30cf5 18use Moose::Meta::Class;
7415b2cb 19use Moose::Meta::TypeConstraint;
7c13858b 20use Moose::Meta::TypeCoercion;
78cd1d3b 21use Moose::Meta::Attribute;
ddd0ec20 22use Moose::Meta::Instance;
c0e30cf5 23
0779da92 24use Moose::Object;
25
d67145ed 26use Moose::Meta::Role;
0779da92 27use Moose::Meta::Role::Composite;
28use Moose::Meta::Role::Application;
29use Moose::Meta::Role::Application::RoleSummation;
30use Moose::Meta::Role::Application::ToClass;
31use Moose::Meta::Role::Application::ToRole;
32use Moose::Meta::Role::Application::ToInstance;
33use Moose::Meta::Role::Application::ToMetaclassInstance;
d67145ed 34
7415b2cb 35use Moose::Util::TypeConstraints;
d7d8a8c7 36use Moose::Util ();
a15dff8d 37
5bd4db9b 38sub extends {
97a93056 39 my $class = shift;
3d544ed5 40
5bd4db9b 41 croak "Must derive at least one class" unless @_;
9bcfbab1 42
5bd4db9b 43 my @supers = @_;
44 foreach my $super (@supers) {
45 Class::MOP::load_class($super);
46 croak "You cannot inherit from a Moose Role ($super)"
47 if $super->can('meta') &&
48 blessed $super->meta &&
49 $super->meta->isa('Moose::Meta::Role')
c92c1205 50 }
5bee491d 51
26fbace8 52
86dd5d11 53
5bd4db9b 54 # this checks the metaclass to make sure
55 # it is correct, sometimes it can get out
56 # of sync when the classes are being built
50d5df60 57 my $meta = Moose::Meta::Class->initialize($class)->_fix_metaclass_incompatability(@supers);
5bd4db9b 58 $meta->superclasses(@supers);
59}
a3c7e2fe 60
5bd4db9b 61sub with {
97a93056 62 my $class = shift;
aedcb7d9 63 Moose::Util::apply_all_roles(Class::MOP::Class->initialize($class), @_);
5bd4db9b 64}
9bcfbab1 65
5bd4db9b 66sub has {
97a93056 67 my $class = shift;
5bd4db9b 68 my $name = shift;
69 croak 'Usage: has \'name\' => ( key => value, ... )' if @_ == 1;
70 my %options = @_;
71 my $attrs = ( ref($name) eq 'ARRAY' ) ? $name : [ ($name) ];
aedcb7d9 72 Class::MOP::Class->initialize($class)->add_attribute( $_, %options ) for @$attrs;
5bd4db9b 73}
9bcfbab1 74
5bd4db9b 75sub before {
97a93056 76 my $class = shift;
5bd4db9b 77 Moose::Util::add_method_modifier($class, 'before', \@_);
78}
79
80sub after {
97a93056 81 my $class = shift;
5bd4db9b 82 Moose::Util::add_method_modifier($class, 'after', \@_);
83}
84
85sub around {
97a93056 86 my $class = shift;
5bd4db9b 87 Moose::Util::add_method_modifier($class, 'around', \@_);
88}
89
90sub super {
91 return unless our $SUPER_BODY; $SUPER_BODY->(our @SUPER_ARGS);
92}
9bcfbab1 93
5bd4db9b 94sub override {
97a93056 95 my $class = shift;
5bd4db9b 96 my ( $name, $method ) = @_;
aedcb7d9 97 Class::MOP::Class->initialize($class)->add_override_method_modifier( $name => $method );
5bd4db9b 98}
9bcfbab1 99
5bd4db9b 100sub inner {
101 my $pkg = caller();
102 our ( %INNER_BODY, %INNER_ARGS );
103
104 if ( my $body = $INNER_BODY{$pkg} ) {
105 my @args = @{ $INNER_ARGS{$pkg} };
106 local $INNER_ARGS{$pkg};
107 local $INNER_BODY{$pkg};
108 return $body->(@args);
109 } else {
110 return;
ce265cc3 111 }
5bd4db9b 112}
9bcfbab1 113
5bd4db9b 114sub augment {
97a93056 115 my $class = shift;
5bd4db9b 116 my ( $name, $method ) = @_;
aedcb7d9 117 Class::MOP::Class->initialize($class)->add_augment_method_modifier( $name => $method );
ce265cc3 118}
9bcfbab1 119
5bd4db9b 120sub make_immutable {
97a93056 121 my $class = shift;
5bd4db9b 122 cluck "The make_immutable keyword has been deprecated, " .
123 "please go back to __PACKAGE__->meta->make_immutable\n";
aedcb7d9 124 Class::MOP::Class->initialize($class)->make_immutable(@_);
5bd4db9b 125}
9bcfbab1 126
aedcb7d9 127Moose::Exporter->setup_import_methods(
97a93056 128 with_caller => [
129 qw( extends with has before after around override augment make_immutable )
130 ],
131 as_is => [
132 qw( super inner ),
5bd4db9b 133 \&Carp::confess,
134 \&Scalar::Util::blessed,
135 ],
136);
137
cc841c0e 138sub init_meta {
085fba61 139 # This used to be called as a function. This hack preserves
140 # backwards compatibility.
141 if ( $_[0] ne __PACKAGE__ ) {
142 return __PACKAGE__->init_meta(
143 for_class => $_[0],
144 base_class => $_[1],
145 metaclass => $_[2],
146 );
147 }
7c4676ef 148
0338a411 149 shift;
150 my %args = @_;
151
152 my $class = $args{for_class}
085fba61 153 or confess "Cannot call init_meta without specifying a for_class";
154 my $base_class = $args{base_class} || 'Moose::Object';
155 my $metaclass = $args{metaclass} || 'Moose::Meta::Class';
cc841c0e 156
157 confess
158 "The Metaclass $metaclass must be a subclass of Moose::Meta::Class."
159 unless $metaclass->isa('Moose::Meta::Class');
160
161 # make a subtype for each Moose class
162 class_type($class)
163 unless find_type_constraint($class);
164
165 my $meta;
50d5df60 166
167 if ( $meta = Class::MOP::get_metaclass_by_name($class) ) {
168 unless ( $meta->isa("Moose::Meta::Class") ) {
169 confess "$class already has a metaclass, but it does not inherit $metaclass ($meta)";
170 }
171 } else {
172 # no metaclass, no 'meta' method
173
174 # now we check whether our ancestors have metaclass, and if so borrow that
175 my ( undef, @isa ) = @{ $class->mro::get_linear_isa };
176
177 foreach my $ancestor ( @isa ) {
178 my $ancestor_meta = Class::MOP::get_metaclass_by_name($ancestor) || next;
179
180 my $ancestor_meta_class = ($ancestor_meta->is_immutable
181 ? $ancestor_meta->get_mutable_metaclass_name
182 : ref($ancestor_meta));
183
184 # if we have an ancestor metaclass that inherits $metaclass, we use
185 # that. This is like _fix_metaclass_incompatability, but we can do it now.
186
187 # the case of having an ancestry is not very common, but arises in
188 # e.g. Reaction
189 unless ( $metaclass->isa( $ancestor_meta_class ) ) {
190 if ( $ancestor_meta_class->isa($metaclass) ) {
191 $metaclass = $ancestor_meta_class;
192 }
193 }
194 }
195
196 $meta = $metaclass->initialize($class);
197 }
198
cc841c0e 199 if ( $class->can('meta') ) {
50d5df60 200 # check 'meta' method
201
202 # it may be inherited
203
cc841c0e 204 # NOTE:
205 # this is the case where the metaclass pragma
206 # was used before the 'use Moose' statement to
207 # override a specific class
50d5df60 208 my $method_meta = $class->meta;
209
210 ( blessed($method_meta) && $method_meta->isa('Moose::Meta::Class') )
211 || confess "$class already has a &meta function, but it does not return a Moose::Meta::Class ($meta)";
212
213 $meta = $method_meta;
cc841c0e 214 }
50d5df60 215
216 unless ( $meta->has_method("meta") ) { # don't overwrite
217 # also check for inherited non moose 'meta' method?
218 # FIXME also skip this if the user requested by passing an option
cc841c0e 219 $meta->add_method(
220 'meta' => sub {
221 # re-initialize so it inherits properly
50d5df60 222 $metaclass->initialize( ref($_[0]) || $_[0] );
cc841c0e 223 }
224 );
225 }
226
227 # make sure they inherit from Moose::Object
228 $meta->superclasses($base_class)
229 unless $meta->superclasses();
230
231 return $meta;
232}
233
085fba61 234# This may be used in some older MooseX extensions.
235sub _get_caller {
236 goto &Moose::Exporter::_get_caller;
237}
238
8ecb1fa0 239## make 'em all immutable
240
241$_->meta->make_immutable(
0779da92 242 inline_constructor => 1,
243 constructor_name => "_new",
77a18c28 244 inline_accessors => 1, # these are Class::MOP accessors, so they need inlining
9bcfbab1 245 )
0779da92 246 for (qw(
247 Moose::Meta::Attribute
248 Moose::Meta::Class
249 Moose::Meta::Instance
250
251 Moose::Meta::TypeConstraint
252 Moose::Meta::TypeConstraint::Union
253 Moose::Meta::TypeConstraint::Parameterized
9ad786af 254 Moose::Meta::TypeConstraint::Parameterizable
0779da92 255 Moose::Meta::TypeConstraint::Enum
256 Moose::Meta::TypeConstraint::Class
257 Moose::Meta::TypeConstraint::Role
258 Moose::Meta::TypeConstraint::Registry
259 Moose::Meta::TypeCoercion
260 Moose::Meta::TypeCoercion::Union
261
262 Moose::Meta::Method
263 Moose::Meta::Method::Accessor
264 Moose::Meta::Method::Constructor
265 Moose::Meta::Method::Destructor
266 Moose::Meta::Method::Overriden
267 Moose::Meta::Method::Augmented
268
269 Moose::Meta::Role
270 Moose::Meta::Role::Method
271 Moose::Meta::Role::Method::Required
272
273 Moose::Meta::Role::Composite
274
275 Moose::Meta::Role::Application
276 Moose::Meta::Role::Application::RoleSummation
277 Moose::Meta::Role::Application::ToClass
278 Moose::Meta::Role::Application::ToRole
279 Moose::Meta::Role::Application::ToInstance
280 Moose::Meta::Role::Application::ToMetaclassInstance
281));
8ecb1fa0 282
fcd84ca9 2831;
284
285__END__
286
287=pod
288
289=head1 NAME
290
8bdc7f13 291Moose - A postmodern object system for Perl 5
fcd84ca9 292
293=head1 SYNOPSIS
e522431d 294
295 package Point;
1cd45431 296 use Moose; # automatically turns on strict and warnings
26fbace8 297
43d599e5 298 has 'x' => (is => 'rw', isa => 'Int');
299 has 'y' => (is => 'rw', isa => 'Int');
26fbace8 300
e522431d 301 sub clear {
302 my $self = shift;
303 $self->x(0);
26fbace8 304 $self->y(0);
e522431d 305 }
26fbace8 306
e522431d 307 package Point3D;
308 use Moose;
26fbace8 309
e522431d 310 extends 'Point';
26fbace8 311
43d599e5 312 has 'z' => (is => 'rw', isa => 'Int');
26fbace8 313
e522431d 314 after 'clear' => sub {
315 my $self = shift;
43d599e5 316 $self->z(0);
26fbace8 317 };
2c0cbef7 318
fcd84ca9 319=head1 DESCRIPTION
320
26fbace8 321Moose is an extension of the Perl 5 object system.
e522431d 322
9b9da6f1 323The main goal of Moose is to make Perl 5 Object Oriented programming
324easier, more consistent and less tedious. With Moose you can to think
325more about what you want to do and less about the mechanics of OOP.
fcd84ca9 326
9b9da6f1 327Additionally, Moose is built on top of L<Class::MOP>, which is a
328metaclass system for Perl 5. This means that Moose not only makes
329building normal Perl 5 objects better, but it provides the power of
330metaclass programming as well.
8bdc7f13 331
f5909dca 332=head2 New to Moose?
333
5185f954 334If you're new to Moose, the best place to start is the
335L<Moose::Cookbook>. The recipes on Moose basics will get you up to
336speed with many of Moose's features quickly. Once you have an idea of
337what Moose can do, you can use the API documentation to get more
338detail on features which interest you.
f5909dca 339
28669f89 340=head2 Moose Extensions
341
12aed9a0 342The C<MooseX::> namespace is the official place to find Moose extensions.
343These extensions can be found on the CPAN. The easiest way to find them
344is to search for them (L<http://search.cpan.org/search?query=MooseX::>),
345or to examine L<Task::Moose> which aims to keep an up-to-date, easily
346installable list of Moose extensions.
28669f89 347
6ba6d68c 348=head1 BUILDING CLASSES WITH MOOSE
349
68efb014 350Moose makes every attempt to provide as much convenience as possible during
351class construction/definition, but still stay out of your way if you want it
352to. Here are a few items to note when building classes with Moose.
6ba6d68c 353
26fbace8 354Unless specified with C<extends>, any class which uses Moose will
6ba6d68c 355inherit from L<Moose::Object>.
356
1cd45431 357Moose will also manage all attributes (including inherited ones) that are
358defined with C<has>. And (assuming you call C<new>, which is inherited from
359L<Moose::Object>) this includes properly initializing all instance slots,
360setting defaults where appropriate, and performing any type constraint checking
361or coercion.
6ba6d68c 362
004222dc 363=head1 PROVIDED METHODS
6ba6d68c 364
004222dc 365Moose provides a number of methods to all your classes, mostly through the
366inheritance of L<Moose::Object>. There is however, one exception.
6ba6d68c 367
368=over 4
369
370=item B<meta>
371
372This is a method which provides access to the current class's metaclass.
373
004222dc 374=back
375
376=head1 EXPORTED FUNCTIONS
377
378Moose will export a number of functions into the class's namespace which
379may then be used to set up the class. These functions all work directly
380on the current class.
381
382=over 4
383
6ba6d68c 384=item B<extends (@superclasses)>
385
386This function will set the superclass(es) for the current class.
387
26fbace8 388This approach is recommended instead of C<use base>, because C<use base>
389actually C<push>es onto the class's C<@ISA>, whereas C<extends> will
390replace it. This is important to ensure that classes which do not have
68efb014 391superclasses still properly inherit from L<Moose::Object>.
6ba6d68c 392
43d599e5 393=item B<with (@roles)>
e9ec68d6 394
004222dc 395This will apply a given set of C<@roles> to the local class.
e9ec68d6 396
cd7eeaf5 397=item B<has $name =E<gt> %options>
6ba6d68c 398
26fbace8 399This will install an attribute of a given C<$name> into the current class.
400The C<%options> are the same as those provided by
401L<Class::MOP::Attribute>, in addition to the list below which are provided
43d599e5 402by Moose (L<Moose::Meta::Attribute> to be more specific):
6ba6d68c 403
404=over 4
405
076c81ed 406=item I<is =E<gt> 'rw'|'ro'>
6ba6d68c 407
26fbace8 408The I<is> option accepts either I<rw> (for read/write) or I<ro> (for read
409only). These will create either a read/write accessor or a read-only
6ba6d68c 410accessor respectively, using the same name as the C<$name> of the attribute.
411
1cd45431 412If you need more control over how your accessors are named, you can use the
413I<reader>, I<writer> and I<accessor> options inherited from
004222dc 414L<Class::MOP::Attribute>, however if you use those, you won't need the I<is>
415option.
6ba6d68c 416
076c81ed 417=item I<isa =E<gt> $type_name>
6ba6d68c 418
26fbace8 419The I<isa> option uses Moose's type constraint facilities to set up runtime
420type checking for this attribute. Moose will perform the checks during class
421construction, and within any accessors. The C<$type_name> argument must be a
422string. The string may be either a class name or a type defined using
9cca2e9e 423Moose's type definition features. (Refer to L<Moose::Util::TypeConstraints>
c2a69ef1 424for information on how to define a new type, and how to retrieve type meta-data).
6ba6d68c 425
daea75c9 426=item I<coerce =E<gt> (1|0)>
427
26fbace8 428This will attempt to use coercion with the supplied type constraint to change
429the value passed into any accessors or constructors. You B<must> have supplied
5cfe3805 430a type constraint in order for this to work. See L<Moose::Cookbook::Basics::Recipe5>
1cd45431 431for an example.
daea75c9 432
433=item I<does =E<gt> $role_name>
434
26fbace8 435This will accept the name of a role which the value stored in this attribute
daea75c9 436is expected to have consumed.
437
438=item I<required =E<gt> (1|0)>
439
26fbace8 440This marks the attribute as being required. This means a I<defined> value must be
441supplied during class construction, and the attribute may never be set to
442C<undef> with an accessor.
daea75c9 443
444=item I<weak_ref =E<gt> (1|0)>
445
68efb014 446This will tell the class to store the value of this attribute as a weakened
447reference. If an attribute is a weakened reference, it B<cannot> also be
448coerced.
daea75c9 449
450=item I<lazy =E<gt> (1|0)>
451
26fbace8 452This will tell the class to not create this slot until absolutely necessary.
daea75c9 453If an attribute is marked as lazy it B<must> have a default supplied.
454
9e93dd19 455=item I<auto_deref =E<gt> (1|0)>
456
26fbace8 457This tells the accessor whether to automatically dereference the value returned.
1cd45431 458This is only legal if your C<isa> option is either C<ArrayRef> or C<HashRef>.
9e93dd19 459
65e14c86 460=item I<trigger =E<gt> $code>
461
462The I<trigger> option is a CODE reference which will be called after the value of
463the attribute is set. The CODE ref will be passed the instance itself, the
464updated value and the attribute meta-object (this is for more advanced fiddling
465and can typically be ignored). You B<cannot> have a trigger on a read-only
466attribute.
daea75c9 467
c84f324f 468=item I<handles =E<gt> ARRAY | HASH | REGEXP | ROLE | CODE>
2c0cbef7 469
26fbace8 470The I<handles> option provides Moose classes with automated delegation features.
471This is a pretty complex and powerful option. It accepts many different option
472formats, each with its own benefits and drawbacks.
38e3283b 473
1cd45431 474B<NOTE:> The class being delegated to does not need to be a Moose based class,
475which is why this feature is especially useful when wrapping non-Moose classes.
38e3283b 476
1cd45431 477All I<handles> option formats share the following traits:
38e3283b 478
1cd45431 479You cannot override a locally defined method with a delegated method; an
480exception will be thrown if you try. That is to say, if you define C<foo> in
481your class, you cannot override it with a delegated C<foo>. This is almost never
482something you would want to do, and if it is, you should do it by hand and not
483use Moose.
38e3283b 484
1cd45431 485You cannot override any of the methods found in Moose::Object, or the C<BUILD>
486and C<DEMOLISH> methods. These will not throw an exception, but will silently
487move on to the next method in the list. My reasoning for this is that you would
488almost never want to do this, since it usually breaks your class. As with
489overriding locally defined methods, if you do want to do this, you should do it
490manually, not with Moose.
38e3283b 491
f3c4e20e 492You do not I<need> to have a reader (or accessor) for the attribute in order
493to delegate to it. Moose will create a means of accessing the value for you,
494however this will be several times B<less> efficient then if you had given
495the attribute a reader (or accessor) to use.
496
38e3283b 497Below is the documentation for each option format:
498
499=over 4
500
501=item C<ARRAY>
502
26fbace8 503This is the most common usage for I<handles>. You basically pass a list of
504method names to be delegated, and Moose will install a delegation method
1cd45431 505for each one.
38e3283b 506
507=item C<HASH>
508
26fbace8 509This is the second most common usage for I<handles>. Instead of a list of
510method names, you pass a HASH ref where each key is the method name you
511want installed locally, and its value is the name of the original method
512in the class being delegated to.
fd595040 513
26fbace8 514This can be very useful for recursive classes like trees. Here is a
5cfe3805 515quick example (soon to be expanded into a Moose::Cookbook recipe):
38e3283b 516
1cd45431 517 package Tree;
38e3283b 518 use Moose;
26fbace8 519
38e3283b 520 has 'node' => (is => 'rw', isa => 'Any');
26fbace8 521
38e3283b 522 has 'children' => (
523 is => 'ro',
524 isa => 'ArrayRef',
525 default => sub { [] }
526 );
26fbace8 527
38e3283b 528 has 'parent' => (
529 is => 'rw',
530 isa => 'Tree',
a4e516f6 531 weak_ref => 1,
38e3283b 532 handles => {
533 parent_node => 'node',
26fbace8 534 siblings => 'children',
38e3283b 535 }
536 );
537
1cd45431 538In this example, the Tree package gets C<parent_node> and C<siblings> methods,
539which delegate to the C<node> and C<children> methods (respectively) of the Tree
26fbace8 540instance stored in the C<parent> slot.
38e3283b 541
542=item C<REGEXP>
543
26fbace8 544The regexp option works very similar to the ARRAY option, except that it builds
545the list of methods for you. It starts by collecting all possible methods of the
546class being delegated to, then filters that list using the regexp supplied here.
38e3283b 547
26fbace8 548B<NOTE:> An I<isa> option is required when using the regexp option format. This
549is so that we can determine (at compile time) the method list from the class.
38e3283b 550Without an I<isa> this is just not possible.
551
c84f324f 552=item C<ROLE>
553
26fbace8 554With the role option, you specify the name of a role whose "interface" then
555becomes the list of methods to handle. The "interface" can be defined as; the
556methods of the role and any required methods of the role. It should be noted
557that this does B<not> include any method modifiers or generated attribute
c84f324f 558methods (which is consistent with role composition).
559
38e3283b 560=item C<CODE>
561
1cd45431 562This is the option to use when you really want to do something funky. You should
563only use it if you really know what you are doing, as it involves manual
564metaclass twiddling.
38e3283b 565
1cd45431 566This takes a code reference, which should expect two arguments. The first is the
567attribute meta-object this I<handles> is attached to. The second is the
568metaclass of the class being delegated to. It expects you to return a hash (not
26fbace8 569a HASH ref) of the methods you want mapped.
38e3283b 570
571=back
2c0cbef7 572
004222dc 573=item I<metaclass =E<gt> $metaclass_name>
574
575This tells the class to use a custom attribute metaclass for this particular
576attribute. Custom attribute metaclasses are useful for extending the
577capabilities of the I<has> keyword: they are the simplest way to extend the MOP,
578but they are still a fairly advanced topic and too much to cover here, see
5cfe3805 579L<Moose::Cookbook::Meta::Recipe1> for more information.
004222dc 580
581The default behavior here is to just load C<$metaclass_name>; however, we also
582have a way to alias to a shorter name. This will first look to see if
583B<Moose::Meta::Attribute::Custom::$metaclass_name> exists. If it does, Moose
584will then check to see if that has the method C<register_implementation>, which
585should return the actual name of the custom attribute metaclass. If there is no
586C<register_implementation> method, it will fall back to using
587B<Moose::Meta::Attribute::Custom::$metaclass_name> as the metaclass name.
588
589=item I<traits =E<gt> [ @role_names ]>
590
591This tells Moose to take the list of C<@role_names> and apply them to the
592attribute meta-object. This is very similar to the I<metaclass> option, but
54f2996d 593allows you to use more than one extension at a time.
004222dc 594
54f2996d 595See L<TRAIT NAME RESOLUTION> for details on how a trait name is
596resolved to a class name.
597
598Also see L<Moose::Cookbook::Meta::Recipe3> for a metaclass trait
599example.
004222dc 600
6ba6d68c 601=back
602
cd7eeaf5 603=item B<has +$name =E<gt> %options>
604
26fbace8 605This is variation on the normal attibute creator C<has> which allows you to
8d62bf6d 606clone and extend an attribute from a superclass or from a role. Here is an
607example of the superclass usage:
cd7eeaf5 608
609 package Foo;
610 use Moose;
26fbace8 611
cd7eeaf5 612 has 'message' => (
26fbace8 613 is => 'rw',
cd7eeaf5 614 isa => 'Str',
615 default => 'Hello, I am a Foo'
616 );
26fbace8 617
cd7eeaf5 618 package My::Foo;
619 use Moose;
26fbace8 620
cd7eeaf5 621 extends 'Foo';
26fbace8 622
cd7eeaf5 623 has '+message' => (default => 'Hello I am My::Foo');
624
1cd45431 625What is happening here is that B<My::Foo> is cloning the C<message> attribute
626from its parent class B<Foo>, retaining the C<is =E<gt> 'rw'> and C<isa =E<gt>
627'Str'> characteristics, but changing the value in C<default>.
cd7eeaf5 628
8d62bf6d 629Here is another example, but within the context of a role:
630
631 package Foo::Role;
632 use Moose::Role;
986d175a 633
8d62bf6d 634 has 'message' => (
635 is => 'rw',
636 isa => 'Str',
637 default => 'Hello, I am a Foo'
638 );
986d175a 639
8d62bf6d 640 package My::Foo;
641 use Moose;
986d175a 642
8d62bf6d 643 with 'Foo::Role';
986d175a 644
8d62bf6d 645 has '+message' => (default => 'Hello I am My::Foo');
646
647In this case, we are basically taking the attribute which the role supplied
4032c9bb 648and altering it within the bounds of this feature.
8d62bf6d 649
4032c9bb 650Aside from where the attributes come from (one from superclass, the other
651from a role), this feature works exactly the same. This feature is restricted
652somewhat, so as to try and force at least I<some> sanity into it. You are only
653allowed to change the following attributes:
cd7eeaf5 654
655=over 4
656
26fbace8 657=item I<default>
cd7eeaf5 658
659Change the default value of an attribute.
660
26fbace8 661=item I<coerce>
cd7eeaf5 662
663Change whether the attribute attempts to coerce a value passed to it.
664
26fbace8 665=item I<required>
cd7eeaf5 666
667Change if the attribute is required to have a value.
668
669=item I<documentation>
670
671Change the documentation string associated with the attribute.
672
83cc9094 673=item I<lazy>
674
675Change if the attribute lazily initializes the slot.
676
cd7eeaf5 677=item I<isa>
678
aed87761 679You I<are> allowed to change the type without restriction.
680
681It is recommended that you use this freedom with caution. We used to
682only allow for extension only if the type was a subtype of the parent's
683type, but we felt that was too restrictive and is better left as a
684policy descision.
cd7eeaf5 685
83cc9094 686=item I<handles>
687
26fbace8 688You are allowed to B<add> a new C<handles> definition, but you are B<not>
689allowed to I<change> one.
83cc9094 690
8d62bf6d 691=item I<builder>
692
693You are allowed to B<add> a new C<builder> definition, but you are B<not>
694allowed to I<change> one.
695
13284479 696=item I<metaclass>
697
698You are allowed to B<add> a new C<metaclass> definition, but you are
699B<not> allowed to I<change> one.
700
701=item I<traits>
702
703You are allowed to B<add> additional traits to the C<traits> definition.
704These traits will be composed into the attribute, but pre-existing traits
705B<are not> overridden, or removed.
706
cd7eeaf5 707=back
708
076c81ed 709=item B<before $name|@names =E<gt> sub { ... }>
6ba6d68c 710
076c81ed 711=item B<after $name|@names =E<gt> sub { ... }>
6ba6d68c 712
076c81ed 713=item B<around $name|@names =E<gt> sub { ... }>
6ba6d68c 714
d8af92ae 715This three items are syntactic sugar for the before, after, and around method
716modifier features that L<Class::MOP> provides. More information on these may be
717found in the L<Class::MOP::Class documentation|Class::MOP::Class/"Method
718Modifiers"> for now.
6ba6d68c 719
159da176 720=item B<super>
721
26fbace8 722The keyword C<super> is a no-op when called outside of an C<override> method. In
723the context of an C<override> method, it will call the next most appropriate
159da176 724superclass method with the same arguments as the original method.
725
726=item B<override ($name, &sub)>
727
26fbace8 728An C<override> method is a way of explicitly saying "I am overriding this
729method from my superclass". You can call C<super> within this method, and
730it will work as expected. The same thing I<can> be accomplished with a normal
731method call and the C<SUPER::> pseudo-package; it is really your choice.
159da176 732
733=item B<inner>
734
26fbace8 735The keyword C<inner>, much like C<super>, is a no-op outside of the context of
736an C<augment> method. You can think of C<inner> as being the inverse of
68efb014 737C<super>; the details of how C<inner> and C<augment> work is best described in
5cfe3805 738the L<Moose::Cookbook::Basics::Recipe6>.
159da176 739
740=item B<augment ($name, &sub)>
741
26fbace8 742An C<augment> method, is a way of explicitly saying "I am augmenting this
743method from my superclass". Once again, the details of how C<inner> and
5cfe3805 744C<augment> work is best described in the L<Moose::Cookbook::Basics::Recipe6>.
159da176 745
6ba6d68c 746=item B<confess>
747
68efb014 748This is the C<Carp::confess> function, and exported here because I use it
004222dc 749all the time.
6ba6d68c 750
751=item B<blessed>
752
1cd45431 753This is the C<Scalar::Util::blessed> function, it is exported here because I
26fbace8 754use it all the time. It is highly recommended that this is used instead of
6ba6d68c 755C<ref> anywhere you need to test for an object's class name.
756
757=back
758
54f2996d 759=head1 METACLASS TRAITS
760
761When you use Moose, you can also specify traits which will be applied
762to your metaclass:
763
764 use Moose -traits => 'My::Trait';
765
766This is very similar to the attribute traits feature. When you do
767this, your class's C<meta> object will have the specified traits
768applied to it. See L<TRAIT NAME RESOLUTION> for more details.
769
770=head1 TRAIT NAME RESOLUTION
771
772By default, when given a trait name, Moose simply tries to load a
773class of the same name. If such a class does not exist, it then looks
774for for a class matching
775B<Moose::Meta::$type::Custom::Trait::$trait_name>. The C<$type>
776variable here will be one of B<Attribute> or B<Class>, depending on
777what the trait is being applied to.
778
779If a class with this long name exists, Moose checks to see if it has
780the method C<register_implementation>. This method is expected to
781return the I<real> class name of the trait. If there is no
782C<register_implementation> method, it will fall back to using
783B<Moose::Meta::$type::Custom::Trait::$trait> as the trait name.
784
785If all this is confusing, take a look at
786L<Moose::Cookbook::Meta::Recipe3>, which demonstrates how to create an
787attribute trait.
788
1cd45431 789=head1 UNIMPORTING FUNCTIONS
31f8ec72 790
791=head2 B<unimport>
792
1cd45431 793Moose offers a way to remove the keywords it exports, through the C<unimport>
31f8ec72 794method. You simply have to say C<no Moose> at the bottom of your code for this
795to work. Here is an example:
796
797 package Person;
798 use Moose;
799
800 has 'first_name' => (is => 'rw', isa => 'Str');
801 has 'last_name' => (is => 'rw', isa => 'Str');
26fbace8 802
803 sub full_name {
31f8ec72 804 my $self = shift;
26fbace8 805 $self->first_name . ' ' . $self->last_name
31f8ec72 806 }
26fbace8 807
808 no Moose; # keywords are removed from the Person package
31f8ec72 809
9bcfbab1 810=head1 EXTENDING AND EMBEDDING MOOSE
811
554b7648 812Moose also offers some options for extending or embedding it into your
813own framework. There are several things you might want to do as part
814of such a framework. First, you probably want to export Moose's sugar
815functions (C<has>, C<extends>, etc) for users of the
816framework. Second, you may want to provide additional sugar of your
817own. Third, you may want to provide your own object base class instead
818of L<Moose::Object>, and/or your own metaclass class instead of
819L<Moose::Meta::Class>.
820
821The exporting needs can be asily satisfied by using
822L<Moose::Exporter>, which is what C<Moose.pm> itself uses for
823exporting. L<Moose::Exporter> lets you "export like Moose".
824
825If you define an C<init_meta> method in a module that uses
826L<Moose::Exporter>, then this method will be called I<before>
827C<Moose.pm>'s own C<init_meta>. This gives you a chance to provide an
828alternate object base class or metaclass class.
829
830Here is a simple example:
9bcfbab1 831
832 package MyFramework;
9bcfbab1 833
554b7648 834 use strict;
835 use warnings;
9bcfbab1 836
554b7648 837 use Moose (); # no need to get Moose's exports
838 use Moose::Exporter;
9bcfbab1 839
aedcb7d9 840 Moose::Exporter->setup_import_methods( also => 'Moose' );
26fbace8 841
554b7648 842 sub init_meta {
843 shift;
844 return Moose->init_meta( @_, base_class => 'MyFramework::Base' );
9bcfbab1 845 }
26fbace8 846
554b7648 847In this example, any class that includes C<use MyFramework> will get
848all of C<Moose.pm>'s sugar functions, and will have their superclass
849set to C<MyFramework::Base>.
9bcfbab1 850
554b7648 851Additionally, that class can include C<no MyFramework> to unimport
852
853=head2 B<< Moose->init_meta(for_class => $class, base_class => $baseclass, metaclass => $metaclass) >>
9bcfbab1 854
554b7648 855The C<init_meta> method sets up the metaclass object for the class
b143539e 856specified by C<for_class>. This method injects a a C<meta> accessor
857into the class so you can get at this object. It also sets the class's
554b7648 858superclass to C<base_class>, with L<Moose::Object> as the default.
9bcfbab1 859
554b7648 860You can specify an alternate metaclass with the C<metaclass> parameter.
26fbace8 861
80837fe1 862For more detail on this topic, see L<Moose::Cookbook::Extending::Recipe2>.
863
554b7648 864This method used to be documented as a function which accepted
865positional parameters. This calling style will still work for
4a66a4b3 866backwards compatibility, but is deprecated.
554b7648 867
868=head2 B<import>
869
870Moose's C<import> method supports the L<Sub::Exporter> form of C<{into =E<gt> $pkg}>
871and C<{into_level =E<gt> 1}>.
872
873B<NOTE>: Doing this is more or less deprecated. Use L<Moose::Exporter>
874instead, which lets you stack multiple C<Moose.pm>-alike modules
875sanely. It handles getting the exported functions into the right place
876for you.
877
05d9eaf6 878=head1 CAVEATS
879
880=over 4
881
882=item *
883
1cd45431 884It should be noted that C<super> and C<inner> B<cannot> be used in the same
885method. However, they may be combined within the same class hierarchy; see
886F<t/014_override_augment_inner_super.t> for an example.
05d9eaf6 887
26fbace8 888The reason for this is that C<super> is only valid within a method
889with the C<override> modifier, and C<inner> will never be valid within an
890C<override> method. In fact, C<augment> will skip over any C<override> methods
68efb014 891when searching for its appropriate C<inner>.
05d9eaf6 892
1cd45431 893This might seem like a restriction, but I am of the opinion that keeping these
894two features separate (yet interoperable) actually makes them easy to use, since
895their behavior is then easier to predict. Time will tell whether I am right or
c84f324f 896not (UPDATE: so far so good).
05d9eaf6 897
004222dc 898=item *
899
900It is important to note that we currently have no simple way of combining
901multiple extended versions of Moose (see L<EXTENDING AND EMBEDDING MOOSE> above),
902and that in many cases they will conflict with one another. We are working on
903developing a way around this issue, but in the meantime, you have been warned.
904
05d9eaf6 905=back
906
9b9da6f1 907=head1 JUSTIFICATION
908
909In case you are still asking yourself "Why do I need this?", then this
910section is for you. This used to be part of the main DESCRIPTION, but
911I think Moose no longer actually needs justification, so it is included
912(read: buried) here for those who are still not convinced.
913
914=over 4
915
916=item Another object system!?!?
917
918Yes, I know there has been an explosion recently of new ways to
919build objects in Perl 5, most of them based on inside-out objects
920and other such things. Moose is different because it is not a new
921object system for Perl 5, but instead an extension of the existing
922object system.
923
924Moose is built on top of L<Class::MOP>, which is a metaclass system
925for Perl 5. This means that Moose not only makes building normal
926Perl 5 objects better, but it also provides the power of metaclass
927programming.
928
929=item Is this for real? Or is this just an experiment?
930
931Moose is I<based> on the prototypes and experiments I did for the Perl 6
932meta-model. However, Moose is B<NOT> an experiment/prototype; it is for B<real>.
933
934=item Is this ready for use in production?
935
936Yes, I believe that it is.
937
938Moose has been used successfully in production environemnts by several people
939and companies (including the one I work for). There are Moose applications
940which have been in production with little or no issue now for well over two years.
941I consider it highly stable and we are commited to keeping it stable.
942
943Of course, in the end, you need to make this call yourself. If you have
944any questions or concerns, please feel free to email me, or even the list
945or just stop by #moose and ask away.
946
947=item Is Moose just Perl 6 in Perl 5?
948
949No. While Moose is very much inspired by Perl 6, it is not itself Perl 6.
950Instead, it is an OO system for Perl 5. I built Moose because I was tired of
951writing the same old boring Perl 5 OO code, and drooling over Perl 6 OO. So
952instead of switching to Ruby, I wrote Moose :)
953
954=item Wait, I<post> modern, I thought it was just I<modern>?
955
956So I was reading Larry Wall's talk from the 1999 Linux World entitled
957"Perl, the first postmodern computer language" in which he talks about how
958he picked the features for Perl because he thought they were cool and he
959threw out the ones that he thought sucked. This got me thinking about how
960we have done the same thing in Moose. For Moose, we have "borrowed" features
961from Perl 6, CLOS (LISP), Smalltalk, Java, BETA, OCaml, Ruby and more, and
962the bits we didn't like (cause they sucked) we tossed aside. So for this
963reason (and a few others) I have re-dubbed Moose a I<postmodern> object system.
964
965Nuff Said.
966
967=back
968
5569c072 969=head1 ACKNOWLEDGEMENTS
970
971=over 4
972
54c189df 973=item I blame Sam Vilain for introducing me to the insanity that is meta-models.
5569c072 974
54c189df 975=item I blame Audrey Tang for then encouraging my meta-model habit in #perl6.
5569c072 976
26fbace8 977=item Without Yuval "nothingmuch" Kogman this module would not be possible,
54c189df 978and it certainly wouldn't have this name ;P
5569c072 979
26fbace8 980=item The basis of the TypeContraints module was Rob Kinyon's idea
5569c072 981originally, I just ran with it.
982
638585e1 983=item Thanks to mst & chansen and the whole #moose posse for all the
c84f324f 984early ideas/feature-requests/encouragement/bug-finding.
d46a48f3 985
68efb014 986=item Thanks to David "Theory" Wheeler for meta-discussions and spelling fixes.
987
5569c072 988=back
989
e90c03d0 990=head1 SEE ALSO
991
992=over 4
993
c84f324f 994=item L<http://www.iinteractive.com/moose>
995
996This is the official web home of Moose, it contains links to our public SVN repo
26fbace8 997as well as links to a number of talks and articles on Moose and Moose related
998technologies.
c84f324f 999
196064ab 1000=item L<Moose::Cookbook> - How to cook a Moose
1001
1002=item The Moose is flying, a tutorial by Randal Schwartz
1003
1004Part 1 - L<http://www.stonehenge.com/merlyn/LinuxMag/col94.html>
1005
1006Part 2 - L<http://www.stonehenge.com/merlyn/LinuxMag/col95.html>
1007
6ba6d68c 1008=item L<Class::MOP> documentation
1009
1010=item The #moose channel on irc.perl.org
1011
e67a0fca 1012=item The Moose mailing list - moose@perl.org
1013
9e0361e1 1014=item Moose stats on ohloh.net - L<http://www.ohloh.net/projects/moose>
c84f324f 1015
12aed9a0 1016=item Several Moose extension modules in the C<MooseX::> namespace.
1017
1018See L<http://search.cpan.org/search?query=MooseX::> for extensions.
28669f89 1019
c84f324f 1020=back
1021
004222dc 1022=head2 Books
1023
1024=over 4
1025
1026=item The Art of the MetaObject Protocol
1027
1028I mention this in the L<Class::MOP> docs too, this book was critical in
1029the development of both modules and is highly recommended.
1030
1031=back
1032
26fbace8 1033=head2 Papers
c84f324f 1034
1035=over 4
e90c03d0 1036
159da176 1037=item L<http://www.cs.utah.edu/plt/publications/oopsla04-gff.pdf>
1038
26fbace8 1039This paper (suggested by lbr on #moose) was what lead to the implementation
1040of the C<super>/C<override> and C<inner>/C<augment> features. If you really
1cd45431 1041want to understand them, I suggest you read this.
159da176 1042
e90c03d0 1043=back
1044
fcd84ca9 1045=head1 BUGS
1046
26fbace8 1047All complex software has bugs lurking in it, and this module is no
fcd84ca9 1048exception. If you find a bug please either email me, or add the bug
1049to cpan-RT.
1050
47b19570 1051=head1 FEATURE REQUESTS
1052
1053We are very strict about what features we add to the Moose core, especially
1054the user-visible features. Instead we have made sure that the underlying
1055meta-system of Moose is as extensible as possible so that you can add your
1056own features easily. That said, occasionally there is a feature needed in the
1057meta-system to support your planned extension, in which case you should
1058either email the mailing list or join us on irc at #moose to discuss.
1059
fcd84ca9 1060=head1 AUTHOR
1061
1062Stevan Little E<lt>stevan@iinteractive.comE<gt>
1063
9af1d28b 1064B<with contributions from:>
db1ab48d 1065
9af1d28b 1066Aankhen
1067
1068Adam (Alias) Kennedy
1069
1070Anders (Debolaz) Nor Berle
1071
5868294f 1072Nathan (kolibre) Gray
1073
9af1d28b 1074Christian (chansen) Hansen
1075
e7f8d0c2 1076Hans Dieter (confound) Pearcey
1077
9af1d28b 1078Eric (ewilhelm) Wilhelm
1079
1080Guillermo (groditi) Roditi
1081
1082Jess (castaway) Robinson
1083
1084Matt (mst) Trout
1085
1086Robert (phaylon) Sedlacek
1087
1088Robert (rlb3) Boone
1089
1090Scott (konobi) McWhirter
1091
f44ae52f 1092Shlomi (rindolf) Fish
1093
9af1d28b 1094Yuval (nothingmuch) Kogman
1095
cbe25729 1096Chris (perigrin) Prather
1097
68b6146c 1098Wallace (wreis) Reis
1099
e46f5cc2 1100Jonathan (jrockway) Rockway
1101
3ccdc84a 1102Piotr (dexter) Roszatycki
1103
26fbace8 1104Sam (mugwump) Vilain
f1917f58 1105
ac211120 1106Shawn (sartak) Moore
1107
9af1d28b 1108... and many other #moose folks
98aae381 1109
fcd84ca9 1110=head1 COPYRIGHT AND LICENSE
1111
778db3ac 1112Copyright 2006-2008 by Infinity Interactive, Inc.
fcd84ca9 1113
1114L<http://www.iinteractive.com>
1115
1116This library is free software; you can redistribute it and/or modify
26fbace8 1117it under the same terms as Perl itself.
fcd84ca9 1118
ddd0ec20 1119=cut