add.java

package vitry.prelude;

import static vitry.runtime.VitryRuntime.FALSE;
import static vitry.runtime.VitryRuntime.TRUE;

import java.math.BigInteger;

import vitry.runtime.BigRational;
import vitry.runtime.Symbol;


public class add extends MathPrimitive
{
    final Symbol withBool(Symbol x, Symbol y)
    {
        return x != y ? TRUE : FALSE;
    }

    final BigInteger withInt(BigInteger x, BigInteger y)
    {
        return x.add(y);
    }

    final BigRational withRat(BigRational x, BigRational y)
    {
        return x.add(y);
    }

    final Float withFloat(float x, float y)
    {
        return x + y;
    }

    final Double withDouble(double x, double y)
    {
        return x + y;
    }
}