NAME

Types::Self - provides a "Self" type constraint, referring to the caller class or role

SYNOPSIS

{
  package Cow;
  use Moo;
}

{
  package Horse;
  use Moo;
  use Types::Self;
  use Types::Standard qw( Str );
  
  has name   => ( is => 'ro', isa => Str  );
  has mother => ( is => 'ro', isa => Self );
  has father => ( is => 'ro', isa => Self );
}

my $alice = Horse->new( name => 'Alice' );
my $bob   = Horse->new( name => 'Bob' );

# Okay
my $baby = Horse->new(
  name   => 'Baby',
  mother => $alice,
  father => $bob,
);

# Dies
my $baby = Horse->new(
  name   => 'Baby',
  mother => Cow->new,
  father => $bob,
);

DESCRIPTION

Self

This module exports a Self type constraint which consrtains values to be blessed objects in the same class as the package it was imported into, or blessed objects which consume the role it was imported into. It should do the right thing with inheritance.

Using Self in a class means the same as InstanceOf[__PACKAGE__]. (See InstanceOf in Types::Standard.)

Using Self in a role means the same as ConsumerOf[__PACKAGE__]. (See ConsumerOf in Types::Standard.)

is_Self

This module also exports is_Self, which returns a boolean.

package Marriage;
use Moo::Role;
use Types::Self qw( is_Self );

has spouse => ( is => 'rwp', init_arg => undef );

sub marry {
  my ( $me, $maybe_spouse ) = @_;
  if ( is_Self( $maybe_spouse ) ) {
    $me->_set_spouse( $maybe_spouse );
    $maybe_spouse->_set_spouse( $me );
  }
  else {
    warn "Cannot marry this!";
  }
  return $me;
}

is_Self( $var ) can also be written as Self->check( $var ).

assert_Self

The module also exports assert_Self which acts like is_Self but instead of returning a boolean, either lives or dies. This can be useful is you need to check that the first argument to a function is a blessed object.

sub connect {
  my ( $self ) = ( shift );
  assert_Self $self;  # dies if called as a class method
  $self->{connected} = 1;
  return $self;
}

assert_Self( $var ) can also be written as Self->( $var ).

to_Self

The module also exports to_Self which will attempt to coerce other types to the Self type.

to_Self( $var ) can also be written as Self->coerce( $var ).

coercions_for_Self

An easy way of adding coercions to your Self type for the benefit of to_Self. Other classes which use InstanceOf[$YourClass] will also get these coercions.

Accepts a list of type+code pairs. The code can be a scalarref naming a method to call to coerce a value, a coderef to call to coerce the value (operating on $_), or a string of Perl code to call to coerce the value (operating on $_).

package MyClass;
use Moo;
use Types::Self -all;
use Types::Standard qw( HashRef ArrayRef ScalarRef );

coercions_for_Self(
  HashRef,   \'new',
  ArrayRef,  \'from_array',
  ScalarRef, sub { ... },
);

sub from_array {
  my ( $class, $arrayref ) = ( shift, @_ );
  ...;
}

Exporting

Only Self is exported by default.

Other functions need to be requested:

use Types::Self -all;

Functions can be renamed:

use Types::Self
  'Self'    => { -as => 'ThisClass' },
  'is_Self' => { -as => 'is_ThisClass' };

BUGS

Please report any bugs to http://rt.cpan.org/Dist/Display.html?Queue=Types-Self.

SEE ALSO

Types::Standard, Type::Tiny::Manual.

AUTHOR

Toby Inkster <tobyink@cpan.org>.

COPYRIGHT AND LICENCE

This software is copyright (c) 2022 by Toby Inkster.

This is free software; you can redistribute it and/or modify it under the same terms as the Perl 5 programming language system itself.

DISCLAIMER OF WARRANTIES

THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.