File Coverage

blib/lib/Test/RandomCheck/ProbMonad.pm

Criterion	Covered	Total	%
statement	29	29	100.0
branch			n/a
condition			n/a
subroutine	15	15	100.0
pod	3	7	42.8
total	47	51	92.1

package Test::RandomCheck::ProbMonad;
use strict;
use warnings;
use Exporter qw(import);
our @EXPORT = qw(
    gen const range elements variant
);

sub gen (&) {
    my $code = shift;
    bless $code => __PACKAGE__;
}

sub const (@) { my @args = @_; gen { @args } }

sub range ($$) {
    my ($min, $max) = @_;
    gen { $_[0]->next_int($min, $max) };
}

sub elements (@) {
    my $ref_elems = \@_;
    (range 0, $#$ref_elems)->map(sub { $ref_elems->[shift] });
}

sub pick {
    my ($self, $rand, $size) = @_;
    $self->($rand, $size);
}

sub map {
    my ($self, $f) = @_;
    gen { $f->($self->pick(@_)) };
}

sub flat_map {
    my ($self, $f) = @_;
    gen {
        my ($rand, $size) = @_;
        $f->($self->pick($rand, $size))->pick($rand, $size);
    };
}

1;
__END__