Package hydra.lib.lists

Class Elem

java.lang.Object

hydra.tools.PrimitiveFunction

hydra.lib.lists.Elem

public class Elem
extends PrimitiveFunction

Checks if an element is in a list.

Constructor Summary

Constructors

Constructor	Description
Elem()

Method Summary

Modifier and Type	Method	Description
static <X> Function<List<X>,Boolean>	apply(X elem)	Checks if the element is present.
static <X> Boolean	apply(X elem, List<X> lst)	Checks if the element is present.
protected Function<List<Term>,Flow<Graph,Term>>	implementation()	A dynamic/interpreted implementation of the function.
Name	name()	The unique name of the primitive function.
TypeScheme	type()	The datatype of the primitive 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 Details

Elem

public Elem()

Method Details

name

public Name name()

Description copied from class: PrimitiveFunction

The unique name of the primitive function.

Specified by:

name in class PrimitiveFunction

Returns:

the name of this primitive function

type

public TypeScheme type()

Description copied from class: PrimitiveFunction

The datatype of the primitive function.

Specified by:

type in class PrimitiveFunction

Returns:

the type scheme of this primitive function

implementation

protected Function<List<Term>,Flow<Graph,Term>> implementation()

Description copied from class: PrimitiveFunction

A dynamic/interpreted implementation of the function.

Specified by:

implementation in class PrimitiveFunction

Returns:

the function implementation

apply

public static <X> Function<List<X>,Boolean> apply(X elem)

Checks if the element is present.

Type Parameters:

X - the element type

Parameters:

elem - the element to search for

Returns:

a function that checks if the element is present in a list

apply

public static <X> Boolean apply(X elem,
 List<X> lst)

Checks if the element is present.

Type Parameters:

X - the element type

Parameters:

elem - the element to search for

lst - the list to search in

Returns:

true if present, false otherwise