Package fj

Class 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".
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Void

        private Void()
    • 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".