Package hydra.dsl.lib

Interface Pairs

public interface Pairs

DSL functions for hydra.lib.pairs

Method Summary

Static Methods

Modifier and Type	Method	Description
static <A,B,C,D> TypedTerm<Pair<C,D>>	bimap(TypedTerm<java.util.function.Function<A,C>> f, TypedTerm<java.util.function.Function<B,D>> g, TypedTerm<Pair<A,B>> p)	DSL reference to hydra.lib.pairs.bimap
static <A,B> TypedTerm<A>	first(TypedTerm<Pair<A,B>> p)	DSL reference to hydra.lib.pairs.first
static <A,B> TypedTerm<Pair<A,B>>	pair(TypedTerm<A> x, TypedTerm<B> y)	DSL reference to hydra.lib.pairs.pair
static <A,B> TypedTerm<B>	second(TypedTerm<Pair<A,B>> p)	DSL reference to hydra.lib.pairs.second

Method Detail

bimap

static <A,B,C,D> TypedTerm<Pair<C,D>> bimap(TypedTerm<java.util.function.Function<A,C>> f,
                                                                    TypedTerm<java.util.function.Function<B,D>> g,
                                                                    TypedTerm<Pair<A,B>> p)

DSL reference to hydra.lib.pairs.bimap

first

static <A,B> TypedTerm<A> first(TypedTerm<Pair<A,B>> p)

DSL reference to hydra.lib.pairs.first

pair

static <A,B> TypedTerm<Pair<A,B>> pair(TypedTerm<A> x,
                                                   TypedTerm<B> y)

DSL reference to hydra.lib.pairs.pair

second

static <A,B> TypedTerm<B> second(TypedTerm<Pair<A,B>> p)

DSL reference to hydra.lib.pairs.second