Package hydra.lib.lists

Class Cons

java.lang.Object

hydra.tools.PrimitiveFunction

hydra.lib.lists.Cons

public class Cons
extends PrimitiveFunction

Prepends an element to a list.

Field Summary

Fields

Modifier and Type	Field	Description
static Name	NAME

Constructor Summary

Constructors

Constructor	Description
Cons()

Method Summary

Modifier and Type	Method	Description
static <X> java.util.List<X>	apply(X el, java.util.List<X> l)	Apply the function to both arguments.
protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<InferenceContext,java.util.function.Function<Graph,Either<Error_,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

lazyParams, term, toNative

Methods inherited from class java.lang.Object

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

Field Detail

NAME

public static final Name NAME

Constructor Detail

Cons

public Cons()

Method Detail

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 java.util.function.Function<java.util.List<Term>,java.util.function.Function<InferenceContext,java.util.function.Function<Graph,Either<Error_,Term>>>> implementation()

Description copied from class: PrimitiveFunction

A dynamic/interpreted implementation of the function. Subclasses implement this with Either-based logic.

Specified by:

implementation in class PrimitiveFunction

Returns:

the function implementation

apply

public static <X> java.util.List<X> apply(X el,
                                          java.util.List<X> l)

Apply the function to both arguments.

Type Parameters:

X - the element type

Parameters:

el - the element to prepend

l - the list to prepend to

Returns:

the list with the element prepended