use A;
use B;

$A_obj = A->new(16);
$B_obj = B->new(6);

my $n1 = $A_obj - $B_obj; # $n1 is an A object with value 10
my $n2 = $B_obj - $A_obj; # Fatal error
[download]

I have the following Type defined.

package Types;

use v5.34;
use warnings;

use Type::Utils   qw( as coerce declare from via );
use Types::Common qw( Enum Str );
use Type::Library -base, -declare => qw(
    CreditType
    InvoiceType
);

declare InvoiceType, as Enum [qw/
    ACCPAY
    ACCREC
/];

coerce InvoiceType,
    from Str,
    via {
        #warn "Trying to coerce $_\n";
        my %types = (
            Invoice         => 'ACCREC',
            SupplierInvoice => 'ACCPAY',
        );
        #my $ret = $types{$_};
        #warn "Returning $ret\n";
        return $types{$_};
     }
;

declare CreditType, as Enum [qw/
    ACCPAYCREDIT
    ACCRECCREDIT
/];

coerce CreditType,
    from Str,
    via {
        warn "Trying to coerce $_\n";
        my %types = (
            Credit         => 'ACCRECCREDIT',
            SupplierCredit => 'ACCPAYCREDIT',
        );
        my $ret = $types{$_};
        warn "Returning $ret\n";
        return $types{$_};
     }
;

1;
[download]

I have a class that uses the types as a union, this or that

package MyApp;

use v5.34;
use warnings;

use Moo;
use Types qw/ InvoiceType CreditType /;

has 'type' => (
    is       => 'ro',
    isa      => InvoiceType | CreditType,
    required => 1,
    coerce   => 1,
);


sub run {
    my ($self) = @_;

    say "Running with ".$self->type;
}

1;
[download]

I have a test to make sure it's doing what I expect `t/type.t`

#!/opt/perl5/bin/perl

use v5.34;
use warnings;

use Test::More;

use Types qw( InvoiceType CreditType );

{
    subtest 'Type coercion' => sub {
        is InvoiceType->coerce('Invoice'), 'ACCREC',
            'Can coerce a sales invoice';
        is InvoiceType->coerce('SupplierInvoice'), 'ACCPAY',
            'Can coerce a supplier invoice';

        is CreditType->coerce('Credit'), 'ACCRECCREDIT',
            'Can coerce a credit type';
        is CreditType->coerce('SupplierCredit'), 'ACCPAYCREDIT',
            'Can coerce a supplier credit type';
    };
}

{
    my $class = 'MyApp';
    use_ok($class);

    subtest 'Class coercion' => sub {
        for my $t ( qw/Invoice SupplierInvoice Credit SupplierCredit /
+ ) {
            note "Type=$t";
            my $x = new_ok($class => [ type => $t ]);
            note "Now Type=".$x->type;
        }
    };

}

done_testing;
[download]

t/type.t ..
# Subtest: Type coercion
    ok 1 - Can coerce a sales invoice
    ok 2 - Can coerce a supplier invoice
    ok 3 - Can coerce a credit type
    ok 4 - Can coerce a supplier credit type
    1..4
ok 1 - Type coercion
ok 2 - use MyApp;
# Subtest: Class coercion
    # Type=Invoice
    ok 1 - An object of class 'MyApp' isa 'MyApp'
    # Type=SupplierInvoice
    ok 2 - An object of class 'MyApp' isa 'MyApp'
    # Type=Credit
    not ok 3 - MyApp->new() died

    #   Failed test 'MyApp->new() died'
    #   at t/type.t line 31.
    #     Error was:  Undef did not pass type constraint "InvoiceType|
+CreditType" (in $args->{"type"}) at /home/dpaikkos/spl/local/lib/perl
+5/Test/More.pm line 741
    #     "InvoiceType|CreditType" requires that the value pass "Credi
+tType" or "InvoiceType"
    #     Undef did not pass type constraint "InvoiceType"
    #         "InvoiceType" is a subtype of "Enum["ACCPAY","ACCREC"]"
    #         "Enum["ACCPAY","ACCREC"]" requires that the value is def
+ined
    #     Undef did not pass type constraint "CreditType"
[download]

I excel at leaving typos in my code but I am pretty sure there are none in the code so far. The coercions appear to work in a stand alone fashion but when used as a union, the 2nd Type does not appear to apply the coercion. If I swap the "CreditType" to be the first item, I find that the InvoiceType fails.

I suspect I could use some kind of named parameterized coercion and `plus_coercions` but I hit this snag and haven't been able to move forward.

Does anyone have any insights into what I'm doing wrong?

Is it possible to run WebPerl inside a PWA?

Hence effectively running Perl inside an app which can be installed on Android, Win, Linux?

Has it been attempted yet?

What are the results?

Does it reduce the startup time of Perl because it's running hot in the background?

When the program below reaches the start function, it fails with the seemingly nonsensical error "Can't locate auto/Tk/ROText/FILENO.al". Tieing only STDOUT to the same widget is no problem.

Does anyone have any insight as to what is happening here?

use warnings;
use strict;

use IPC::Run qw(start pump finish timeout);
use Tk;
require Tk::ROText;

my $mw = MainWindow->new(-title => "   NON BLOCKING");
my $outw = $mw->Scrolled('ROText',  
            -font => "{Courier New} 10 bold", 
                -background => 'DarkBlue', 
            -foreground => 'OldLace',
            -scrollbars => 'se',
            -wrap => 'none',
            -width => 100,
            -height => 10,
            )->pack(-fill => "both", -expand => 1);
                                                                      
+                                          
# tie *STDOUT, 'Tk::Text', $outw;
tie *STDERR, 'Tk::Text', $outw;

my ($in, $out, $err) = ('', '', '');    
my $h;

if (! defined(eval { $h = start ['cmd.exe', '/c', 'dir'], \$in, \$out,
+ \$err; })) 
{
  print "\nStart failed: $@\n";
}

while($h->pumpable) 
{
  $h->pump;
  print $out;
  $out = '';
}

$h->finish;

MainLoop;
[download]