Package fj
Class Void
java.lang.Object
fj.Void
A logically uninhabited data type.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionabstract <X> X
absurd()
Since Void values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".
-
Constructor Details
-
Void
private Void()
-
-
Method Details
-
absurd
public abstract <X> X absurd()Since Void values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".
-