File Coverage

blib/lib/Syntax/Operator/Equ.pm

Criterion	Covered	Total	%
statement	31	34	91.1
branch	7	8	87.5
condition			n/a
subroutine	8	9	88.8
pod	1	2	50.0
total	47	53	88.6

#  You may distribute under the terms of either the GNU General Public License
#  or the Artistic License (the same terms as Perl itself)
#
#  (C) Paul Evans, 2021 -- [e-mail]

package Syntax::Operator::Equ 0.05;

use v5.14;
use warnings;

use Carp;

require XSLoader;
XSLoader::load( __PACKAGE__, our $VERSION );

=head1 NAME

C - equality operators that distinguish C

=head1 SYNOPSIS

On a suitable perl version:

   use Syntax::Operator::Equ;

   if($x equ $y) {
      say "x and y are both undef, or both defined and equal strings";
   }

   if($i === $j) {
      say "i and j are both undef, or both defined and equal numbers";
   }

Or, on a standard perl via L:

   use v5.14;
   use Syntax::Keyword::Match;
   use Syntax::Operator::Equ;

   match($str : equ) {
      case(undef) { say "The variable is not defined" }
      case("")    { say "The variable is defined but is empty" }
      default     { say "The string is non-empty" }
   }

=head1 DESCRIPTION

This module provides infix operators that implement equality tests of strings
or numbers similar to perl's C and C<==> operators, except that they
consider C to be a distinct value, separate from the empty string or
the number zero.

These operators do not warn when either or both operands are C. They
yield true if both operands are C, false if exactly one operand is, or
otherwise behave the same as the regular string or number equality tests if
both operands are defined.

Current stable versions of perl do not directly support custom infix
operators, but the ability was added in the 5.37.x development cycle and is
available from perl v5.37.7 onwards. The documentation of L
describes the situation in more detail. This module is therefore I
entirely useless on stable perl builds. While the regular parser does not
support custom infix operators, they are supported via C and
hence L, and so custom keywords which attempt to parse
operator syntax may be able to use it. One such module is
L; see the SYNOPSIS example given above.

=cut

sub import
{
   my $class = shift;
   my $caller = caller;

   $class->import_into( $caller, @_ );
}

sub import_into
{
   my $class = shift;
   my ( $caller, @syms ) = @_;

   @syms or @syms = qw( equ );

   my %syms = map { $_ => 1 } @syms;
   $^H{"Syntax::Operator::Equ/equ"}++ if delete $syms{equ};

   foreach (qw( is_strequ is_numequ )) {
      no strict 'refs';
      *{"${caller}::$_"} = \&{$_} if delete $syms{$_};
   }

   croak "Unrecognised import symbols @{[ keys %syms ]}" if keys %syms;
}

=head1 OPERATORS

=head2 equ

   my $equal = $lhs equ $rhs;

Yields true if both operands are C, or if both are defined and contain
equal string values. Yields false if given exactly one C, or two
unequal strings.

=head2 ===

   my $equal = $lhs === $rhs;

Yields true if both operands are C, or if both are defined and contain
equal numerical values. Yields false if given exactly one C, or two
unequal numbers.

Note that while this operator will not cause warnings about uninitialized
values, it can still warn if given defined stringy values that are not valid
as numbers.

=cut

=head1 FUNCTIONS

As a convenience, the following functions may be imported which implement the
same behaviour as the infix operators, though are accessed via regular
function call syntax.

These wrapper functions are implemented using L, and thus
have an optimising call-checker attached to them. In most cases, code which
calls them should not in fact have the full runtime overhead of a function
call because the underlying test operator will get inlined into the calling
code at compiletime. In effect, code calling these functions should run with
the same performance as code using the infix operators directly.

=head2 is_strequ

   my $equal = is_strequ( $lhs, $rhs );

A function version of the L stringy operator.

=head2 is_numequ

   my $equal = is_numequ( $lhs, $rgh );

A function version of the L numerical operator.

=cut

=head1 AUTHOR

Paul Evans

=cut

0x55AA;