Class Void

java.lang.Object

fj.Void

public abstract class Void
extends Object

A logically uninhabited data type.

Method Summary

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".

Methods inherited from class Object

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

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".