OrdInt.java

package scotch.data.ord;

import static java.util.Arrays.asList;
import static scotch.runtime.RuntimeSupport.callable;

import java.util.List;
import scotch.data.eq.Eq;
import scotch.data.int_.Int;
import scotch.runtime.Callable;
import scotch.symbol.InstanceGetter;
import scotch.symbol.TypeInstance;
import scotch.symbol.TypeParameters;
import scotch.symbol.type.TypeDescriptor;

@SuppressWarnings("unused")
@TypeInstance(typeClass = "scotch.data.ord.Ord")
public class OrdInt implements Ord<Integer> {

    private static final Callable<OrdInt> INSTANCE = callable(OrdInt::new);

    @InstanceGetter
    public static Callable<OrdInt> instance() {
        return INSTANCE;
    }

    @TypeParameters
    public static List<TypeDescriptor> parameters() {
        return asList(Int.TYPE);
    }

    private OrdInt() {
        // intentionally empty
    }

    @Override
    public Callable<Boolean> lessThanEquals(Callable<Eq<Integer>> eq, Callable<Integer> left, Callable<Integer> right) {
        return callable(() -> eq.call().eq(left, right).call() || left.call() < right.call());
    }
}