Package 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	Description
static final Unit	unit	The unique instance.

Method Summary

Modifier and Type	Method	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 Details

unit

public static final Unit unit

The unique instance.

Method Details

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)