Package fj

Class Void


public abstract class Void extends Object
A logically uninhabited data type.
  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    private
     
  • Method Summary

    Modifier and Type
    Method
    Description
    abstract <X> X
    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
  • 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".