flip-flop factorization

gistfile1.pl

my sub FF($pos, Bool $a, Bool $b,
    :$x-left as Bool = False, :$x-right as Bool = False, :$sed-like as Bool = False) {
    state %ffv;

    my sub flop-check {
        if $b {
            %ffv{$pos} = False;
            $:x-right ?? False !! True;
        } else {
            True;
        }
    }

    if %ffv{$pos} {
        flop-check;
    }
    elsif $a {
        %ffv{$pos} = $a;
        if $:x-left { False }
        flop-check unless $:sed-like;
    }
    else {
        False
    }
}

sub infix:<ff>($a as Bool, $b as Bool) {
    my $pos := nqp::p6box_s(nqp::callerid());
    FF($pos, $a,$b);
}

sub infix:<ff^>($a as Bool, $b as Bool) {
    my $pos := nqp::p6box_s(nqp::callerid());
    FF($pos, $a,$b,  :x-right);
}

sub infix:<^ff>($a as Bool, $b as Bool) {
    my $pos := nqp::p6box_s(nqp::callerid());
    FF($pos, $a,$b, :x-left);
}

sub infix:<^ff^>($a as Bool, $b as Bool) {
    my $pos := nqp::p6box_s(nqp::callerid());
    FF($pos, $a,$b, :x-left, :x-right);
}

sub infix:<fff>($a as Bool, $b as Bool) {
    my $pos := nqp::p6box_s(nqp::callerid());
    FF($pos, $a,$b, :sed-like);
}

sub infix:<fff^>($a as Bool, $b as Bool) {
    my $pos := nqp::p6box_s(nqp::callerid());
    FF($pos, $a,$b, :sed-like, :x-right);
}

sub infix:<^fff>($a as Bool, $b as Bool) {
    my $pos := nqp::p6box_s(nqp::callerid());
    FF($pos, $a,$b, :sed-like, :x-left);
}

sub infix:<^fff^>($a as Bool, $b as Bool) {
    my $pos := nqp::p6box_s(nqp::callerid());
    FF($pos, $a,$b, :sed-like, :x-left, :x-right);
}