fj.Void Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of functionaljava Show documentation
Show all versions of functionaljava Show documentation
Functional Java is an open source library that supports closures for the Java programming language
package fj;
/**
* A logically uninhabited data type.
*/
public abstract class Void {
private Void() {
throw new IllegalStateException("Void cannot be instantiated");
}
/**
* Since Void values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".
*/
public abstract X absurd();
}