fj

Class Void

java.lang.Object

fj.Void

public abstract class Void
extends java.lang.Object

A logically uninhabited data type.

Method Summary

Modifier and Type	Method and 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 java.lang.Object

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

Method Detail

absurd

public abstract <X> X absurd()

Since Void values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".