File Coverage

blib/lib/Test/RandomCheck/Generator.pm

Criterion	Covered	Total	%
statement	15	15	100.0
branch			n/a
condition			n/a
subroutine	5	5	100.0
pod			n/a
total	20	20	100.0

package Test::RandomCheck::Generator;
use strict;
use warnings;
use Exporter qw(import);
use Test::RandomCheck::ProbMonad;
use Test::RandomCheck::Types;

our @EXPORT = qw(
    enum list integer char string concat hash_ref array_ref function
);

sub enum (@) {
    Test::RandomCheck::Types::Enum->new(
        items => [@_]
    );
}

sub list {
    goto &Test::RandomCheck::Types::List::list;
}

sub _all_integer () {
    Test::RandomCheck::Types::AllInteger->new;
}

sub integer (;$$) {
    goto &_all_integer if @_ == 0;

    my ($min, $max) = @_ >= 2 ? @_ : (0, @_);
    ($min, $max) = ($max, $min) if $min > $max;
    Test::RandomCheck::Types::Integer->new(
        min => $min, max => $max
    );
}

sub char {
    goto &Test::RandomCheck::Types::Char::char;
}

sub string (;$$) {
    my ($min, $max) = @_;
    Test::RandomCheck::Types::String->new(
        min => $min, max => $max
    );
}

sub concat (@) {
    goto &Test::RandomCheck::Types::Product::product;
}

sub hash_ref ($$;$$) {
    my ($key_type, $value_type, $min, $max) = @_;
    Test::RandomCheck::Types::HashRef->new(
        key_type => $key_type, value_type => $value_type,
        min => $min, max => $max,
    );
}

sub array_ref ($;$$) {
    my ($type, $min, $max) = @_;
    Test::RandomCheck::Types::ArrayRef->new(
        min => $min, max => $max, type => $type
    );
}

sub function ($$) {
    my ($dom, $cod) = @_;
    Test::RandomCheck::Types::Function->new(
        dom => $dom, cod => $cod
    );
}

1;
__END__