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