use v5.14;
use strict;
use warnings;
package Example1 {
        use Moo;
        use Sub::Quote 'quote_sub';
        use Types::Standard -types;
         
        has my_string => (
                is    => 'ro',
                isa   => Str->where( 'length($_) > 0' ),
        );
         
        has my_array => (
                is    => 'ro',
                isa   => ArrayRef->where( '@$_ > 0' ),
        );
         
        has my_hash => (
                is    => 'ro',
                isa   => HashRef->where( 'keys(%$_) > 0' ),
        );
}
use Test::More;
use Test::Fatal;
is(
        exception { Example1::->new( my_string => 'u' ) },
        undef,
        'non-empty string, okay',
);
isa_ok(
        exception { Example1::->new( my_string => '' ) },
        'Error::TypeTiny',
        'result of empty string',
);
is(
        exception { Example1::->new( my_array => [undef] ) },
        undef,
        'non-empty arrayref, okay',
);
isa_ok(
        exception { Example1::->new( my_array => [] ) },
        'Error::TypeTiny',
        'result of empty arrayref',
);
is(
        exception { Example1::->new( my_hash => { '' => undef } ) },
        undef,
        'non-empty hashref, okay',
);
isa_ok(
        exception { Example1::->new( my_hash => +{} ) },
        'Error::TypeTiny',
        'result of empty hashref',
);
done_testing;