NAME

       Type::Tiny::Union - union type constraints

SYNOPSIS

       Using via the "|" operator overload:

         package Local::Stash {
           use Moo;
           use Types::Common qw( ArrayRef HashRef );

           has data => (
             is   => 'ro',
             isa  => HashRef | ArrayRef,
           );
         }

         my $x = Local::Stash->new( data => {} );  # ok
         my $y = Local::Stash->new( data => [] );  # ok

       Using Type::Tiny::Union's object-oriented interface:

         package Local::Stash {
           use Moo;
           use Types::Common qw( ArrayRef HashRef );
           use Type::Tiny::Union;

           my $AnyData = Type::Tiny::Union->new(
             name             => 'AnyData',
             type_constraints => [ HashRef, ArrayRef ],
           );

           has data => (
             is   => 'ro',
             isa  => $AnyData,
           );
         }

       Using Type::Utils's functional interface:

         package Local::Stash {
           use Moo;
           use Types::Common qw( ArrayRef HashRef );
           use Type::Utils;

           my $AnyData = union AnyData => [ HashRef, ArrayRef ];

           has data => (
             is   => 'ro',
             isa  => $AnyData,
           );
         }

STATUS

       This module is covered by the Type-Tiny stability policy.

DESCRIPTION

       Union type constraints.

       This package inherits from Type::Tiny; see that for most documentation.  Major differences are listed
       below:

   Constructor
       The "new" constructor from Type::Tiny still works, of course. But there is also:

       "new_by_overload(%attributes)"
           Like  the  "new" constructor, but will sometimes return another type constraint which is not strictly
           an instance of Type::Tiny::Union, but still encapsulates the same meaning. This constructor  is  used
           by Type::Tiny's overloading of the "|" operator.

   Attributes
       "type_constraints"
           Arrayref of type constraints.

           When  passed  to  the constructor, if any of the type constraints in the union is itself a union type
           constraint, this is "exploded" into the new union.

       "constraint"
           Unlike Type::Tiny, you cannot pass a constraint coderef to the  constructor.   Instead  rely  on  the
           default.

       "inlined"
           Unlike  Type::Tiny,  you  cannot  pass  an  inlining coderef to the constructor.  Instead rely on the
           default.

       "parent"
           Unlike Type::Tiny, you cannot pass an inlining coderef to the constructor.  A parent will instead  be
           automatically calculated.

       "coercion"
           You  probably  do not pass this to the constructor. (It's not currently disallowed, as there may be a
           use for it that I haven't thought of.)

           The auto-generated default will be a Type::Coercion::Union object.

   Methods
       "find_type_for($value)"
           Returns the first individual type constraint in the union which $value passes.

       "stringifies_to($constraint)"
           See Type::Tiny::ConstrainedObject.

       "numifies_to($constraint)"
           See Type::Tiny::ConstrainedObject.

       "with_attribute_values($attr1 => $constraint1, ...)"
           See Type::Tiny::ConstrainedObject.

   Overloading
       •   Arrayrefification calls "type_constraints".

BUGS

       Please report any bugs to <https://github.com/tobyink/p5-type-tiny/issues>.

SEE ALSO

       Type::Tiny::Manual.

       Type::Tiny.

AUTHOR

       Toby Inkster <tobyink@cpan.org>.

COPYRIGHT AND LICENCE

       This software is copyright (c) 2013-2014, 2017-2023 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.

perl v5.36.0                                       2023-07-21                             Type::Tiny::Union(3pm)