public interface Effect0
Modifier and Type | Method and Description |
---|---|
void |
f() |
default F0<Unit> |
toF0() |
default P1<Unit> |
toP1() |
default <E extends java.lang.Exception> |
toTry0() |
default <E extends java.lang.Exception> |
toTryEffect0() |