Package hydra.lib.sets

Class Union

java.lang.Object

hydra.tools.PrimitiveFunction

hydra.lib.sets.Union

public class Union
extends PrimitiveFunction

Computes the union of two sets.

Constructor Summary

Constructors

Constructor	Description
Union()

Method Summary

Modifier and Type	Method	Description
static <X> java.util.function.Function<PersistentSet<X>,PersistentSet<X>>	apply(PersistentSet<X> s1)	Computes the union of two sets.
static <X> PersistentSet<X>	apply(PersistentSet<X> s1, PersistentSet<X> s2)	Computes the union of two sets.
protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<Context,java.util.function.Function<Graph,Either<InContext<Error_>,Term>>>>	implementation()	Provides the implementation of this primitive function.
Name	name()	Returns the name of this primitive function.
TypeScheme	type()	Returns the type scheme of this function.

Methods inherited from class hydra.tools.PrimitiveFunction

term, toNative

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Union

public Union()

Method Detail

name

public Name name()

Returns the name of this primitive function.

Specified by:

name in class PrimitiveFunction

Returns:

the name "hydra.lib.sets.union"

type

public TypeScheme type()

Returns the type scheme of this function.

Specified by:

type in class PrimitiveFunction

Returns:

the type scheme for a function that computes set union

implementation

protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<Context,java.util.function.Function<Graph,Either<InContext<Error_>,Term>>>> implementation()

Provides the implementation of this primitive function.

Specified by:

implementation in class PrimitiveFunction

Returns:

a function that transforms terms to a flow of graph and term

apply

public static <X> java.util.function.Function<PersistentSet<X>,PersistentSet<X>> apply(PersistentSet<X> s1)

Computes the union of two sets.

Type Parameters:

X - the type of elements in the sets

Parameters:

s1 - the first set

Returns:

a function that takes the second set and returns the union

apply

public static <X> PersistentSet<X> apply(PersistentSet<X> s1,
                                         PersistentSet<X> s2)

Computes the union of two sets.

Type Parameters:

X - the type of elements in the sets

Parameters:

s1 - the first set

s2 - the second set

Returns:

a new set containing all elements from both sets