Package hydra.lib.math

Class Succ

java.lang.Object

hydra.tools.PrimitiveFunction

hydra.lib.math.Succ

public class Succ
extends PrimitiveFunction

Returns the successor of an integer.

Constructor Summary

Constructors

Constructor	Description
Succ()

Method Summary

Modifier and Type	Method	Description
static java.lang.Integer	apply(java.lang.Integer num)	Returns the value plus one.
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 function.
Name	name()	Gets the name of this primitive function.
TypeScheme	type()	Gets the type scheme for 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

Succ

public Succ()

Method Detail

name

public Name name()

Gets the name of this primitive function.

Specified by:

name in class PrimitiveFunction

Returns:

the function name

type

public TypeScheme type()

Gets the type scheme for this function.

Specified by:

type in class PrimitiveFunction

Returns:

the type scheme

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 function.

Specified by:

implementation in class PrimitiveFunction

Returns:

a function that maps terms to a flow of terms

apply

public static java.lang.Integer apply(java.lang.Integer num)

Returns the value plus one.

Parameters:

num - the value

Returns:

the successor