CheckedRunnable is an IO

jnape · jnape · commit 14cb27f24828 · 2018-12-02T17:04:34.000-06:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -20,6 +20,7 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/).
 - `Either#diverge` returns a `Choice3`
 - `Maybe` is now a `CoProduct2` of `Unit` and `A`    
 - `Fn0` now additionally implements `Callable`
+- `CheckedRunnable` is an `IO<Unit>`
 
 ### Added
 - `Predicate#predicate` static factory method
diff --git a/src/main/java/com/jnape/palatable/lambda/functions/specialized/checked/CheckedRunnable.java b/src/main/java/com/jnape/palatable/lambda/functions/specialized/checked/CheckedRunnable.java
@@ -1,6 +1,7 @@
 package com.jnape.palatable.lambda.functions.specialized.checked;
 
 import com.jnape.palatable.lambda.adt.Unit;
+import com.jnape.palatable.lambda.functions.IO;
 
 import static com.jnape.palatable.lambda.adt.Unit.UNIT;
 import static com.jnape.palatable.lambda.functions.specialized.checked.Runtime.throwChecked;
@@ -13,7 +14,14 @@
  * @see CheckedFn1
  */
 @FunctionalInterface
-public interface CheckedRunnable<T extends Throwable> extends Runnable {
+public interface CheckedRunnable<T extends Throwable> extends Runnable, IO<Unit> {
+
+    /**
+     * A version of {@link Runnable#run()} that can throw checked exceptions.
+     *
+     * @throws T any exception that can be thrown by this method
+     */
+    void checkedRun() throws T;
 
     @Override
     default void run() {
@@ -24,12 +32,11 @@ default void run() {
         }
     }
 
-    /**
-     * A version of {@link Runnable#run()} that can throw checked exceptions.
-     *
-     * @throws T any exception that can be thrown by this method
-     */
-    void checkedRun() throws T;
+    @Override
+    default Unit unsafePerformIO() {
+        run();
+        return UNIT;
+    }
 
     /**
      * Convert this {@link CheckedRunnable} to a {@link CheckedSupplier} that returns {@link Unit}.
