eu.bandm.tools.ramus.runtime2

Class Unit

java.lang.Object

eu.bandm.tools.ramus.runtime2.Unit

public final class Unit
extends Object

A class with no information content. To be used as replacement for Void in contexts that do not allow null values.

See Also:

Optional

Field Summary

Fields

Modifier and Type	Field and Description
static Unit	unit The unique instance.

Method Summary

Modifier and Type	Method and Description
static <A> Function<A,Unit>	forget()
static <A> Function<Unit,A>	point(A value)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

unit

public static final Unit unit

The unique instance.

Method Detail

toString

public String toString()

Overrides:

toString in class Object

forget

public static <A> Function<A,Unit> forget()

point

public static <A> Function<Unit,A> point(A value)