hydra.lib.literals.BigintToUint16 Maven / Gradle / Ivy

Go to download
package hydra.lib.literals;

import hydra.Flows;
import hydra.compute.Flow;
import hydra.core.Name;
import hydra.core.Term;
import hydra.core.Type;
import hydra.dsl.Expect;
import hydra.dsl.Terms;
import hydra.dsl.Types;
import hydra.graph.Graph;
import hydra.tools.PrimitiveFunction;

import java.math.BigInteger;
import java.util.List;
import java.util.function.Function;

import static hydra.dsl.Types.function;

public class BigintToUint16 extends PrimitiveFunction {
    public Name name() {
        return new Name("hydra/lib/literals.bigintToUint16");
    }

    @Override
    public Type type() {
        return function(Types.bigint(), Types.uint16());
    }

    @Override
    protected Function>, Flow, Term>> implementation() {
        return args -> Flows.map(Expect.bigint(args.get(0)), s -> Terms.uint16(apply(s)));
    }

    public static Character apply(BigInteger value) {
        return Character.valueOf((char) value.intValue());
    }
}