File Coverage

blib/lib/Test/RandomCheck/Types/Function.pm

Criterion	Covered	Total	%
statement	25	25	100.0
branch			n/a
condition	3	3	100.0
subroutine	8	8	100.0
pod	0	2	0.0
total	36	38	94.7

package Test::RandomCheck::Types::Function;
use strict;
use warnings;
use parent "Test::RandomCheck::Types";
use Class::Accessor::Lite (ro => [qw(dom cod)]);
use Test::RandomCheck::ProbMonad;

sub arbitrary {
    my $self = shift;
    my $generator = $self->cod->arbitrary;
    gen {
        my ($rand, $size) = @_;

        my %results;
        sub {
            my $key = $self->dom->memoize_key(@_);
            $results{$key} //= $generator->pick($rand, $size);
        };
    };
}

sub memoize_key {
    my ($self, $f) = @_;
    int $f;
}

1;