Derive4J Stream experiment

ExistsSStreamF.java

/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package gmail.clinuxrulz.derive4j.test.stream;

/**
 *
 * @author clintonselke
 */
public abstract class ExistsSStreamF<A> {
    public abstract <R> R apply(ForallSStreamF<A,R> f);
}

ForallSStreamF.java

/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package gmail.clinuxrulz.derive4j.test.stream;

/**
 *
 * @author clintonselke
 */
public abstract class ForallSStreamF<A,R> {
    public abstract <S> R apply(StreamF<A,S> s);
}

Step.java

/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package gmail.clinuxrulz.derive4j.test.stream;

import org.derive4j.Data;

/**
 *
 * @author clintonselke
 */
@Data
public abstract class Step<A,S> {
    
    public interface Cases<R,A,S> {
        R Step(A a, S s);
    }
    
    public abstract <R> R match(Cases<R, A, S> cases);
}

Stream.java

/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package gmail.clinuxrulz.derive4j.test.stream;

import org.derive4j.Data;

/**
 *
 * @author clintonselke
 */
@Data
public abstract class Stream<A> {
    
    public interface Cases<R,A> {
        R Stream(ExistsSStreamF<A> c);
    }
    
    public abstract <R> R match(Cases<R, A> cases);
}

StreamF.java

/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package gmail.clinuxrulz.derive4j.test.stream;

import java.util.function.Function;
import org.derive4j.Data;

/**
 *
 * @author clintonselke
 */
@Data
public abstract class StreamF<A,S> {
    
    public interface Cases<R,A,S> {
        R StreamF(Function<S, Step<A, S>> stepper, S init);
    }
    
    public abstract <R> R match(Cases<R, A, S> cases);
}