Skip to content

Add Void: a logically uninhabited data type. Fix #193 #208

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mperry merged 4 commits into from
Dec 28, 2015
Merged

Add Void: a logically uninhabited data type. Fix #193 #208

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b46c4d1
Merge pull request #1 from functionaljava/master
jbgi Oct 16, 2015
8be6e33
Merge branch 'master' of https://github.com/functionaljava/functional…
jbgi Nov 19, 2015
ab9672b
Merge branch 'master' of https://github.com/functionaljava/functional…
jbgi Dec 10, 2015
71c637b
Add Void: a logically uninhabited data type. Fix #193
jbgi Dec 10, 2015
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 16 additions & 0 deletions core/src/main/java/fj/Void.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
package fj;

/**
* A logically uninhabited data type.
*/
public abstract class Void {

private Void() {
throw new IllegalStateException("Void cannot be instantiated");
}

/**
* Since Void values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".
*/
public abstract <X> X absurd();
}